From 8410dd341a1730f708af3f0d96d13f2b5f7b9df5 Mon Sep 17 00:00:00 2001 From: Phil Ruffwind Date: Wed, 30 Sep 2015 03:22:14 -0400 Subject: Update tests for previous commit --- html-test/ref/Instances.html | 434 +++++++++++++++++++++++++++++++++---------- 1 file changed, 332 insertions(+), 102 deletions(-) (limited to 'html-test/ref/Instances.html') diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index c2904e42..e3a2cb78 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -49,16 +49,18 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >

newtype a a <~~ b

b #

Constructors

Int) -> a -> a <~~ a

a #

foo'<~~ Int)

) #

class Foo f where #

Methods

foo :: f Int -> a -> f a

-> a -> f a #

foo' :: f (f a) -> Int -> f (f Int)

) #

Foo [] #

foo :: [Int] -> a -> [a]

] -> a -> [a] #

foo'Int -> [[Int]]

]] #

Maybe#Int -> a -> Maybe a

a #

foo'Maybe Int)

) #

Foo ((->) a)#foo :: (a -> Int) -> a -> a -> a

) -> a -> a -> a #

foo'Int -> a -> a -> Int #

(Either a)#Int -> a -> Either a a

a a #

foo'Either a Int)

) #

((,) (f a))#foo :: (f a, Int) -> a -> (f a, a)

) -> a -> (f a, a) #

foo'Int -> (f a, (f a, Int))

)) #

((<~~) a)#Int) -> a -> a <~~ a

a #

foo'<~~ Int)

) #

((,,) a a)#foo :: (a, a, Int) -> a -> (a, a, a)

) -> a -> (a, a, a) #

foo'Int -> (a, a, (a, a, Int))

)) #

(Quux a b)#Int -> a -> Quux a b a

a b a #

foo'Quux a b Int)

) #

classFoo f => f => Bar f a where#

Methods

bar :: f a -> f Bool -> a

-> a #

bar' :: f (f a) -> f (f (f b))

:: f (f a) -> f (f (f b)) #

bar0, , bar1 :: (f a, f a) -> (f b, f c)

:: (f a, f a) -> (f b, f c) #

Bool #

Bool -> Bool#

Maybe (Maybe b))

b)) #

bar0Maybe b, Maybe c)

c) #

bar1Maybe b, Maybe c)

c) #

Maybe [a]#MaybeBool -> [a]

-> [a] #

bar'Maybe (Maybe b))

b)) #

bar0Maybe b, Maybe c)

c) #

bar1Maybe b, Maybe c)

c) #

Bar [] (a, a)#bar :: [(a, a)] -> [Bool] -> (a, a)

] -> (a, a) #

bar' :: [[(a, a)]] -> [[[b]]]

:: [[(a, a)]] -> [[[b]]] #

bar0 :: ([(a, a)], [(a, a)]) -> ([b], [c])

:: ([(a, a)], [(a, a)]) -> ([b], [c]) #

bar1 :: ([(a, a)], [(a, a)]) -> ([b], [c])

:: ([(a, a)], [(a, a)]) -> ([b], [c]) #

(Either a) (f a)#Either a Bool -> f a

-> f a #

bar'Either a (Either a b))

a b)) #

bar0Either a b, Either a c)

a c) #

bar1Either a b, Either a c)

a c) #

((,,) a b) (a, b, a)#bar :: (a, b, (a, b, a)) -> (a, b, Bool) -> (a, b, a)

) -> (a, b, a) #

bar' :: (a, b, (a, b, (a, b, a))) -> (a, b, (a, b, (a, b, b)))

:: (a, b, (a, b, (a, b, a))) -> (a, b, (a, b, (a, b, b))) #

bar0 :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c))

:: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c)) #

bar1 :: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c))

:: ((a, b, (a, b, a)), (a, b, (a, b, a))) -> ((a, b, b), (a, b, c)) #

a c) (Quux a b c)#Bool -> Quux a b c

a b c #

bar'Quux a c (Quux a c b))

a c b)) #

bar0Quux a c b, Quux a c c)

a c c) #

bar1Quux a c b, Quux a c c)

a c c) #

class Baz a where #

Methods

baz :: a -> (forall a. a -> a) -> (b, forall c. c -> a) -> (b, c)

c. c -> a) -> (b, c) #

baz' :: b -> (forall b. b -> a) -> (forall b. b -> a) -> [(b, a)]

b. b -> a) -> [(b, a)] #

baz'' :: b -> (forallforall b. b -> a) -> c) -> forall c. c -> b

c. c -> b #

Baz [c] #

forall a. a -> a) -> (b, forall a. a -> [c]) -> (b, c)

a. a -> [c]) -> (b, c) #

baz'forall b. b -> [c]) -> (forall b. b -> [c]) -> [(b, [c])]

b. b -> [c]) -> [(b, [c])] #

baz''forall a. a -> [c]) -> c) -> forall a. a -> b

a. a -> b #

Baz (a -> b)#forall c. c -> c) -> (b, forall c. c -> a -> b) -> (b, c)

c. c -> a -> b) -> (b, c) #

baz'forall c. c -> a -> b) -> (forall c. c -> a -> b) -> [(b, a -> b)]

c. c -> a -> b) -> [(b, a -> b)] #

baz''forall d. d -> a -> b) -> c) -> forall c. c -> b

c. c -> b #

Baz (a, b, c)#forall d. d -> d) -> (b, forall d. d -> (a, b, c)) -> (b, c)

d. d -> (a, b, c)) -> (b, c) #

baz'forall d. d -> (a, b, c)) -> (forall d. d -> (a, b, c)) -> [(b, (a, b, c))]

d. d -> (a, b, c)) -> [(b, (a, b, c))] #

baz''forall e. e -> (a, b, c)) -> c) -> forall d. d -> b

d. d -> b #

(Quux a b c)#forall d. d -> Quux a b c) -> (b, c)

a b c) -> (b, c) #

baz'Quux a b c) -> [(b, Quux a b c)]

a b c)] #

baz''Quux a b c) -> c) -> forall d. d -> b

d. d -> b #

Baz (a, [b], b, a)#forall c. c -> c) -> (b, forall c. c -> (a, [b], b, a)) -> (b, c)

c. c -> (a, [b], b, a)) -> (b, c) #

baz'forall c. c -> (a, [b], b, a)) -> (forall c. c -> (a, [b], b, a)) -> [(b, (a, [b], b, a))]

c. c -> (a, [b], b, a)) -> [(b, (a, [b], b, a))] #

baz''forall d. d -> (a, [b], b, a)) -> c) -> forall c. c -> b

c. c -> b #

data Quux a b c

a b c #

Constructors

Xyzzy (b -> (a, a)) ((<~~) a) #
Int -> a -> Quux a b a

a b a #

foo'Quux a b Int)

) #

a c) (Quux a b c)#Bool -> Quux a b c

a b c #

bar'Quux a c (Quux a c b))

a c b)) #

bar0Quux a c b, Quux a c c)

a c c) #

bar1Quux a c b, Quux a c c)

a c c) #

(Quux a b c)#forall d. d -> Quux a b c) -> (b, c)

a b c) -> (b, c) #

baz'Quux a b c) -> [(b, Quux a b c)]

a b c)] #

baz''Quux a b c) -> c) -> forall d. d -> b

d. d -> b #

Quux a [a] c) #

class Norf a b where #

type Plugh a c b

a c b #

data Thud a c

a c #

Methods

norf :: Plugh a c b -> a -> (a -> c) -> b

a c b -> a -> (a -> c) -> b #

Bool #

Bool :: *#

Int c :: * #

Int -> c) -> Bool #

Norf [a] [b]#Plugh [a] c [b] :: *#

Thud [a] c :: * #

norf :: Plugh [a] c [b] -> [a] -> ([a] -> c) -> [b]

[a] c [b] -> [a] -> ([a] -> c) -> [b] #

Qx a
Qux a b
Quux a b c (Quux a b) #