From 0158692153c342eb84879338aeb99a6bb0221889 Mon Sep 17 00:00:00 2001 From: Łukasz Hanuszczak Date: Fri, 31 Jul 2015 17:05:48 +0200 Subject: Accept tests affected by adding instance details section. --- html-test/ref/Bug26.html | 22 +- html-test/ref/Bug7.html | 40 ++-- html-test/ref/Hash.html | 88 ++++++-- html-test/ref/HiddenInstances.html | 130 ++++++++++-- html-test/ref/HiddenInstancesB.html | 32 ++- html-test/ref/QuasiExpr.html | 92 +++++++- html-test/ref/SpuriousSuperclassConstraints.html | 100 +++++++-- html-test/ref/Test.html | 72 ++++++- html-test/ref/TypeFamilies.html | 256 ++++++++++++++++++----- html-test/ref/ocean.css | 14 +- 10 files changed, 712 insertions(+), 134 deletions(-) (limited to 'html-test') diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index 8b9e5a7b..e56d3821 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -147,9 +147,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug26.html");}; >C ()
C ()

Methods

c_f :: ()

Bar Foo Foo
Bar Foo Foo
Just one instance

Bar Foo Foo
Bar Foo Foo
Just one instance

Hash Float
Hash Float
 

Methods

hash :: Float -> Int

Hash Int
Hash Int
 

Methods

hash :: Int -> Int

(Hash a, Hash b) => Hash (a, b)
(Hash a, Hash b) => Hash (a, b)
 

Methods

hash :: (a, b) -> Int

VisibleClass Int
VisibleClass Int
VisibleClass VisibleData
VisibleClass VisibleData
Should be visible

Num VisibleData

Methods

(+) :: VisibleData -> VisibleData -> VisibleData

(-) :: VisibleData -> VisibleData -> VisibleData

(*) :: VisibleData -> VisibleData -> VisibleData

negate :: VisibleData -> VisibleData

abs :: VisibleData -> VisibleData

signum :: VisibleData -> VisibleData

fromInteger :: Integer -> VisibleData

VisibleClass VisibleData
VisibleClass VisibleData
Should be visible

Foo Bar
Foo Bar
Should be visible

Foo Bar
Foo Bar
Should be visible

Show Expr 

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Show BinOp 

Methods

showsPrec :: Int -> BinOp -> ShowS

show :: BinOp -> String

showList :: [BinOp] -> ShowS

Functor (SomeType f)
Functor (SomeType f)
 

Methods

fmap :: (a -> b) -> SomeType f a -> SomeType f b

(<$) :: a -> SomeType f b -> SomeType f a

Applicative f => Applicative (SomeType f)
Applicative f => Applicative (SomeType f)
 

Methods

pure :: a -> SomeType f a

(<*>) :: SomeType f (a -> b) -> SomeType f a -> SomeType f b

(*>) :: SomeType f a -> SomeType f b -> SomeType f b

(<*) :: SomeType f a -> SomeType f b -> SomeType f a

D Float
D Float
 

Methods

d :: T Float b

e :: (Float, Float)

D Int
D Int
 

Methods

d :: T Int b

e :: (Int, Int)

Assoc * X
Assoc * X

Associated Types

data AssocD (X :: k)

type AssocT (X :: k) :: *

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

Associated Types

data AssocD (Y :: k)

type AssocT (Y :: k) :: *

Test * Y
Test * Y
Test * Y
Test * Y
Test * X
Test * X
Doc for: instance Test X

Assoc * Y
Assoc * Y

Associated Types

data AssocD (Y :: k)

type AssocT (Y :: k) :: *

Assoc * X
Assoc * X
Doc for: instance Assoc X

Associated Types

data AssocD (X :: k)

type AssocT (X :: k) :: *

(><) X XX XXX
(><) X XX XXX