From 4ebde6b0846d29ccab283e9211162dd9c09ccf9a Mon Sep 17 00:00:00 2001 From: Niklas Haas Date: Thu, 13 Mar 2014 13:52:40 +0100 Subject: Strip links from recently added html tests These were accidentally left there when the tests were originally added --- html-test/ref/ImplicitParams.html | 20 ++-- html-test/ref/Operators.html | 72 ++++++------ html-test/ref/PatternSyns.html | 58 +++++----- html-test/ref/TypeFamilies.html | 230 +++++++++++++++++++------------------- html-test/ref/TypeFamilies2.html | 38 +++---- html-test/ref/TypeOperators.html | 16 +-- 6 files changed, 217 insertions(+), 217 deletions(-) (limited to 'html-test/ref') diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index 48ec7c5f..9bd826d6 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -17,11 +17,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_ImplicitParams.html"); >

c :: (?x :: :: (?x :: X) => ) => X

d :: (?x :: :: (?x :: X, ?y :: , ?y :: X) => () => (X, , X)

f :: ((?x :: :: ((?x :: X) => a) -> a

Synopsis

  • type (>-<) a b = a a b = a <-> b
    • Foo `Bar` Foo infixl 3
    Foo :- Foo infixr 5(:<->) :: a -> b -> a :: a -> b -> a <-> b infixr 6type (>-<) a b = a a b = a <-> b infixl 6
  • data FooType x = x = FooCtor x
  • pattern pattern Foo t :: t :: FooType t
  • pattern pattern Bar t :: t :: FooType ( (FooType t)
  • pattern t pattern t :<-> t :: ( t :: (FooType t, t, FooType ( (FooType t))
  • data a a >< b = b = Empty
  • pattern pattern E :: :: (><) k t t

    • pattern Foo t :: t :: FooType t

    Pattern synonym for Foo x

    pattern Bar t :: t :: FooType ( (FooType t)

    Pattern synonym for Bar x

    pattern t :<-> t :: ( t :: (FooType t, t, FooType ( (FooType t))

    Pattern synonym for (:<->)

    pattern E :: :: (><) k t t

    Pattern for Empty

  • data X
  • data Y
  • class Test a
  • type family Foo a :: k
  • data family Bat a :: *
  • class Assoc a where
  • data AssocD a :: *
  • type AssocT a :: *
  • type family Bar b
  • type family a a <> b :: k
  • class a a >< b
    • Assoc * * X
    Test * * X
    (><) X XX XXXtype Foo X = = Ydata Bat X data AssocD * * X = AssocXtype AssocT * * X = = Foo * * Xtype Foo * * X = = Ytype (<>) * * X a = a = Xtype (<>) X XXX XX = = X
    Assoc * * Y
    Test * * Ydata Bar Ydata Bat Y data AssocD * * Y = AssocYtype AssocT * * Y = = Bat Ytype Foo * * Y = = Xtype (<>) * * Y a = a
    Test * * Y
    Test * * Xtype Foo * * Y = = Xtype Foo * * X = = Ydata Bat Y data Bat X
    Assoc * * Y
    Assoc * * X
    Bar X = = X
    Bar y = y = Ytype (<>) * * Y a = atype (<>) * * X a = a = Xtype (<>) X XXX XX = = X
    (><) X XX XXX
  • data W
  • type family Foo a
  • data family Bar a
    		• data Bar W = BarXtype Foo Wtype Foo Wtype Foo X = = Ydata Bar W = BarXdata Bar Y

    biO :: (g :: (g `O` f) a

    x :: (a :: (a :-: a) a) <=> (a (a `Op` a) => a

    y :: (a :: (a <=> a, (a a, (a `Op` a) a) <=> a) => a