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/TypeFamilies.html | 748 ++++++++++++++++++++++++++++++---------- 1 file changed, 572 insertions(+), 176 deletions(-) (limited to 'html-test/ref/TypeFamilies.html') diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index f96ad89e..6062db4f 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -113,7 +113,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html >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