From 5731f3b94f560eb2e604871609c7ea139e932ad2 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Tue, 10 May 2016 18:09:50 +0200 Subject: html-test: Update reference output --- html-test/ref/Bug294.html | 76 +++- html-test/ref/Bug310.html | 20 +- html-test/ref/Instances.html | 50 ++- html-test/ref/PatternSyns.html | 16 +- html-test/ref/Test.html | 26 +- html-test/ref/TypeFamilies.html | 748 ++++++++++++++++++++++++++++++--------- html-test/ref/TypeFamilies2.html | 124 ++++++- 7 files changed, 820 insertions(+), 240 deletions(-) (limited to 'html-test/ref') diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index c5f62da9..1d7e0b32 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -62,16 +62,14 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug294.html" > data DP A = ProblemCtor' A # data TP A = ProblemCtor A #
data TP A = ProblemCtor A
data DP A = ProblemCtor' A #
  • type family a (a :: Nat) + b :: (b :: Nat) :: Nat where ...

    • type family a (a :: Nat) + b :: (b :: Nat) :: Nat where ... infixl 6 data ThudInt (Quux a [a] c)

    a [a] c)     #
    data Thud Int (Quux a [a] c)
    (:<->) :: forall t t. t -> t -> ( t t1. t -> t1 -> (FooType t, FooType (FooType t)) t1))
  • dataE :: forall k t t. k t t1. (><) k t t
    • k t t1
    (:<->) :: forall t t. t -> t -> ( t t1. t -> t1 -> (FooType t, FooType (FooType t)) t1)) #

    E :: forall k t t. k t t1. (><) k t t k t t1 #

    Auxiliary stuff

    This is some documentation that is attached to a name ($aux1)

    This is some documentation that is attached to a name ($aux1) + rather than a source declaration. The documentation may be + referred to in the export list using its name.

     code block in named doc

    This is some documentation that is attached to a name ($aux2)

     code block on its own in named doc
     code block on its own in named doc (after newline)

    a nested, named doc comment

    foo
    bar

    This is some inline documentation in the export list

    data family Bat a :: (a :: k) :: *
  • type family Bar b
    • b where ...
  • type family a (a :: k) <> b :: k
    • (b :: k) :: k
  • class type Foo X = Y #
    type Foo X = Y
    type (<>)XXX XX = X #
    type (<>) X XXX XX = X
    data AssocD* X = AssocX #
    data AssocD * X = AssocX
    type AssocT* X = Foo * X #
    type AssocT * X = Foo * X
    data Bat* X #
    data Bat * X
    type Foo* X = Y #
    type Foo * X = Y
    type (<>)* X a = X a #
    type (<>) * X a = X
    • data Bar
    data Bar Y
    data AssocD* Y = AssocY #
    data AssocD * Y = AssocY
    type AssocT* Y = Bat * Y #
    type AssocT * Y = Bat * Y
    data Bat* Y = BatY Y #
    data Bat * Y = BatY Y
    type Foo* Y = X #
    type Foo * Y = X
    type (<>)* Y a = a a #
    type (<>) * Y a = a
    data Bat Z where #Doc for: data instance Bat Z

    data Bat Z where
    type Foo* Y = X #
    type Foo * Y = X
    type Foo* X = Y #
    type Foo * X = Y
    data family     Bat a :: (a :: k) :: * # data Bat Z where #
    data Bat Z where
    data Bat* Y = BatY Y #
    data Bat * Y = BatY Y
    data Bat* X #Doc for: data instance Bat X

    data Bat * X
    type family     Bar b b where ... #

    type family a (a :: k) <> b :: k (b :: k) :: k #

    type (<>)XXX XX = X #
    type (<>) X XXX XX = X
    type (<>)* Y a = a a #
    type (<>) * Y a = a
    type (<>)* X a = X a #
    type (<>) * X a = X
    data Bar W = BarX Z #
    data Bar W = BarX Z
    type Foo
    type Foo W
    type Foo
    type Foo W
    type Foo X = Y #
    type Foo X = Y
    data Bar W = BarX Z #
    data Bar W = BarX Z
    data Bar
    data Bar Y