From 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 8 Feb 2016 14:32:41 +0100 Subject: html-test: Accept test output --- html-test/ref/TypeFamilies.html | 671 +++++++++++++++++++++------------------- 1 file changed, 361 insertions(+), 310 deletions(-) (limited to 'html-test/ref/TypeFamilies.html') diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 3295318f..a55a55ad 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -1,32 +1,33 @@ - TypeFamilies

 

  • data X
  • data Y
  • data Z
  • class Test a
  • type family Foo a :: k
  • data family Bat a :: *
    • a :: *
  • class Assoc a where
  • data AssocD a :: *
    • a :: *
  • type AssocT a :: *
    • a :: *
  • type family Bar b
  • type family a a <> b :: k
  • class a a >< b

    • data X

    X
    XX
    XXX
    (><) X XX XXX
    Assoc * * X

    Associated Types

    data AssocD ( X (a :: X :: k)

    ) :: *

    type AssocT ( X :: k) :: *

    (a :: X) :: *

    Test * * X
    (><) type Foo X XX XXX = Y 
    type Foo (<>) X XXX XX = X = Y

    External instance

    data AssocD * * X = = AssocX 
    type AssocT * * X = = Foo * * X 
    data Bat * * X

    Doc for: type instance Foo X = Y

    type (<>) * X a = X 
    type (<>) * X XXX XX = a = X 

    data Y

    Assoc * * Y

    data AssocD ( Y (a :: Y :: k)

    ) :: *

    type AssocT ( Y :: k) :: *

    (a :: Y) :: *

    Test * * Ydata Bar Y data AssocD * * Y = = AssocY type AssocT * * Y = = Bat * * Y data Bat * * Y = = BatY Ytype Foo * * Y = = X

    Doc for: type instance Foo Y = X

    type (<>) * * Y a = a 

    data Z

    ZA 
    ZB 
    data Bat Z where

    class Test a

    Test * * Y Test * * X

    type family Foo a :: k

    type Foo * * Y = = X

    Doc for: type instance Foo Y = X

    type Foo * * X = = Y

    Doc for: type instance Foo X = Y

    data family Bat a :: *

    a :: *

    Doc for: data family Bat a

    data Bat Z wheredata Bat * * Y = = BatY Ydata Bat * * X

    type family Bar b

    Bar X = = X 
    Bar y = y = Y 

    type family a a <> b :: k

    type (<>) * Y a = a X XXX XX = X type (<>) * X a = X * Y a = a type (<>) * X XXX XX = a = X 

    class a a >< b

    (><) X XX XXX 
    +> \ No newline at end of file -- cgit v1.2.3