[Update tests following recent changes David Waern **20101206140918 Ignore-this: 5664255b5a3d14466139ef92cb8e753a ] { hunk ./tests/golden-tests/tests/A.html.ref 4 -

Documentation

data A

Constructors

Documentation

data A

Constructors

hunk ./tests/golden-tests/tests/B.html.ref 4 -

Documentation

module A

Documentation

module A

hunk ./tests/golden-tests/tests/Bug1.html.ref 6 -

Constructors

hunk ./tests/golden-tests/tests/Bug2.html.ref 4 -

Bug2

Documentation

x :: A

Bug2

Documentation

x :: A

hunk ./tests/golden-tests/tests/Bug3.html.ref 6 -

hunk ./tests/golden-tests/tests/Bug4.html.ref 5 -

hunk ./tests/golden-tests/tests/Bug6.html.ref 12 -

Constructors

E Int

Constructors

E Int

hunk ./tests/golden-tests/tests/Bug7.html.ref 10 -

hunk ./tests/golden-tests/tests/Bug8.html.ref 4 -

Bug8

Documentation

data Typ

Constructors

Type (String, [Typ])
TFree (String, [String])

Bug8

Documentation

data Typ

Constructors

Type (String, [Typ])
TFree (String, [String])

hunk ./tests/golden-tests/tests/Bugs.html.ref 4 -

Bugs

Documentation

data A a

Constructors

A a (a -> Int)

Bugs

Documentation

data A a

Constructors

A a (a -> Int)

hunk ./tests/golden-tests/tests/CrossPackageDocs.html.ref 6 -

 map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn]
+

 map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn]
hunk ./tests/golden-tests/tests/CrossPackageDocs.html.ref 8
-class  Monad m  where
The Monad class defines the basic operations over a monad,
+

class Monad m where

The Monad class defines the basic operations over a monad, hunk ./tests/golden-tests/tests/CrossPackageDocs.html.ref 16 -

 return a >>= k  ==  k a
+

 return a >>= k  ==  k a
hunk ./tests/golden-tests/tests/CrossPackageDocs.html.ref 19
-Instances of both Monad and Functor should additionally satisfy the law:
-
 fmap f xs  ==  xs >>= return . f
-The instances of Monad for lists, Data.Maybe.Maybe and System.IO.IO
+

Instances of both Monad and Functor should additionally satisfy the law: +

 fmap f xs  ==  xs >>= return . f
+

The instances of Monad for lists, Data.Maybe.Maybe and System.IO.IO hunk ./tests/golden-tests/tests/CrossPackageDocs.html.ref 32 -

Instances

Monad []
Monad IO
Monad Q
Monad Maybe
Monad ((->) r)

runInteractiveProcess

Arguments

:: FilePath

Filename of the executable +

Instances

Monad []
Monad IO
Monad Q
Monad Maybe
Monad ((->) r)
Monad (Either e)

runInteractiveProcess

Arguments

:: FilePath

Filename of the executable hunk ./tests/golden-tests/tests/CrossPackageDocs.html.ref 39 -

   (inp,out,err,pid) <- runInteractiveProcess "..."
+

(inp,out,err,pid) <- runInteractiveProcess "..." hunk ./tests/golden-tests/tests/CrossPackageDocs.html.ref 41 -

The Handles are initially in binary mode; if you need them to be +

The Handles are initially in binary mode; if you need them to be hunk ./tests/golden-tests/tests/CrossPackageDocs.html.ref 43 -

hunk ./tests/golden-tests/tests/Examples.html.ref 22 - + hunk ./tests/golden-tests/tests/FunArgs.html.ref 13 -

hunk ./tests/golden-tests/tests/GADTRecords.html.ref 7 -

hunk ./tests/golden-tests/tests/Hash.html.ref 9 -

Synopsis

The `HashTable` type +

Synopsis

The `HashTable` type hunk ./tests/golden-tests/tests/Hash.html.ref 12 -

Operations on `HashTable`s +

Operations on `HashTable`s hunk ./tests/golden-tests/tests/Hash.html.ref 17 -

The `Hash` class +

The `Hash` class hunk ./tests/golden-tests/tests/Hash.html.ref 20 -
Instances
Hash Float
Hash Int
(Hash a, Hash b) => Hash (a, b)
Produced by Haddock version 2.8.0
+
Instances
Hash Float
Hash Int
(Hash a, Hash b) => Hash (a, b)
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/NamedDoc.html.ref 5 -
Produced by Haddock version 2.8.0
+
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/NoLayout.html.ref 5 -
Produced by Haddock version 2.8.0
+
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/QuasiExpr.html.ref 4 -
Contents
Index

QuasiExpr
Documentation
data Expr
Constructors
IntExpr Integer
AntiIntExpr String
BinopExpr BinOp Expr Expr
AntiExpr String
Instances
Data Expr
Show Expr
Typeable Expr
data BinOp
Constructors
AddOp
SubOp
MulOp
DivOp
Instances
Data BinOp
Show BinOp
Typeable BinOp
eval :: Expr -> Integer
parseExprExp :: String -> Q Exp
Produced by Haddock version 2.8.0
+
Contents
Index

QuasiExpr
Documentation
data Expr
Constructors
IntExpr Integer
AntiIntExpr String
BinopExpr BinOp Expr Expr
AntiExpr String
Instances
Show Expr
data BinOp
Constructors
AddOp
SubOp
MulOp
DivOp
Instances
Show BinOp
eval :: Expr -> Integer
parseExprExp :: String -> Q Exp
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/QuasiQuote.html.ref 4 -
Contents
Index

QuasiQuote
Documentation
val :: Integer
Produced by Haddock version 2.8.0
+
Contents
Index

QuasiQuote
Documentation
val :: Integer
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/TH.html.ref 4 -
Contents
Index

TH
Documentation
decl :: Q [Dec]
Produced by Haddock version 2.8.0
+
Contents
Index

TH
Documentation
decl :: Q [Dec]
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/TH2.html.ref 4 -
Contents
Index

TH2
Produced by Haddock version 2.8.0
+
Contents
Index

TH2
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/Test.html.ref 18 -
Synopsis
data T a b
= A Int (Maybe Float)
| B (T a b, T Int Float)
data T2 a b
data T3 a b
= A1 a
| B1 b
data T4 a b
= A2 a
| B2 b
data T5 a b
= A3 a
| B3 b
data T6
= A4
| B4
| C4
newtype N1 a = N1 a
newtype N2 a b = N2 {
n :: a b
}
newtype N3 a b = N3 {
n3 :: a b
}
data N4 a b
newtype N5 a b = N5 {
n5 :: a b
}
newtype N6 a b = N6 {
n6 :: a b
}
newtype N7 a b = N7 {
n7 :: a b
}
data R
= C1 {
p :: Int
q :: forall a. a -> a
r :: Int
s :: Int
}
| C2 {
t :: T1 -> T2 Int Int -> T3 Bool Bool -> T4 Float Float -> T5 () ()
u :: Int
v :: Int
}
data R1 = C3 {
s1 :: Int
s2 :: Int
s3 :: Int
}
class D a => C a where
a :: IO a
b :: [a]
class D a where
d :: T a b
e :: (a, a)
class E a
class F a where
ff :: a
f :: C a => a -> Int
g :: Int -> IO CInt
hidden :: Int -> Int
module Visible
data Ex a
= forall b . C b => Ex1 b
| forall b . Ex2 b
| forall b . C a => Ex3 b
| Ex4 (forall a. a -> a)
k :: T () () -> T2 Int Int -> (T3 Bool Bool -> T4 Float Float) -> T5 () () -> IO ()
l :: (Int, Int, Float) -> Int
m :: R -> N1 () -> IO Int
o :: Float -> IO Float
f' :: Int
Type declarations -
Data types +
Synopsis
data T a b
= A Int (Maybe Float)
| B (T a b, T Int Float)
data T2 a b
data T3 a b
= A1 a
| B1 b
data T4 a b
= A2 a
| B2 b
data T5 a b
= A3 a
| B3 b
data T6
= A4
| B4
| C4
newtype N1 a = N1 a
newtype N2 a b = N2 {
n :: a b
}
newtype N3 a b = N3 {
n3 :: a b
}
data N4 a b
newtype N5 a b = N5 {
n5 :: a b
}
newtype N6 a b = N6 {
n6 :: a b
}
newtype N7 a b = N7 {
n7 :: a b
}
data R
= C1 {
p :: Int
q :: forall a. a -> a
r :: Int
s :: Int
}
| C2 {
t :: T1 -> T2 Int Int -> T3 Bool Bool -> T4 Float Float -> T5 () ()
u :: Int
v :: Int
}
data R1 = C3 {
s1 :: Int
s2 :: Int
s3 :: Int
}
class D a => C a where
a :: IO a
b :: [a]
class D a where
d :: T a b
e :: (a, a)
class E a
class F a where
ff :: a
f :: C a => a -> Int
g :: Int -> IO CInt
hidden :: Int -> Int
module Visible
data Ex a
= forall b . C b => Ex1 b
| forall b . Ex2 b
| forall b . C a => Ex3 b
| Ex4 (forall a. a -> a)
k :: T () () -> T2 Int Int -> (T3 Bool Bool -> T4 Float Float) -> T5 () () -> IO ()
l :: (Int, Int, Float) -> Int
m :: R -> N1 () -> IO Int
o :: Float -> IO Float
f' :: Int
Type declarations +
Data types hunk ./tests/golden-tests/tests/Test.html.ref 42 -
Fields
n7 :: a b

Records +
Fields
n7 :: a b

Records hunk ./tests/golden-tests/tests/Test.html.ref 57 -

Class declarations +

Class declarations hunk ./tests/golden-tests/tests/Test.html.ref 64 -

Function types +

Function types hunk ./tests/golden-tests/tests/Test.html.ref 82 -

Auxiliary stuff +

Auxiliary stuff hunk ./tests/golden-tests/tests/Test.html.ref 120 -

A hidden module -

hidden :: Int -> Int

A visible module +

A hidden module +

hidden :: Int -> Int

A visible module hunk ./tests/golden-tests/tests/Test.html.ref 123 -

Existential / Universal types +

Existential / Universal types hunk ./tests/golden-tests/tests/Test.html.ref 125 -
Constructors
forall b . C b => Ex1 b
forall b . Ex2 b
forall b . C a => Ex3 b
Ex4 (forall a. a -> a)

Type signatures with argument docs +
Constructors
forall b . C b => Ex1 b
forall b . Ex2 b
forall b . C a => Ex3 b
Ex4 (forall a. a -> a)

Type signatures with argument docs hunk ./tests/golden-tests/tests/Test.html.ref 142 -

A section -

A subsection +

A section +

A subsection hunk ./tests/golden-tests/tests/Test.html.ref 148 -
Produced by Haddock version 2.8.0
+
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/Ticket112.html.ref 5 -
Produced by Haddock version 2.8.0
+
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/Ticket61.html.ref 5 -
Produced by Haddock version 2.8.0
+
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/Ticket75.html.ref 5 -
Produced by Haddock version 2.8.0
+
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/TypeFamilies.html.ref 9 -
Produced by Haddock version 2.8.0
+
Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/TypeOperators.html.ref 5 -
Synopsis
data a :-: b
data (a :+: b) c
data Op a b
newtype O g f a = O {
unO :: g (f a)
}
biO :: (g `O` f) a
newtype Flip (~>) b a = Flip {
unFlip :: a ~> b
}
stuff -
data a :-: b
data (a :+: b) c
data Op a b
newtype O g f a
Constructors
O
Fields
unO :: g (f a)

biO :: (g `O` f) a
newtype Flip (~>) b a
Constructors
Flip
Fields
unFlip :: a ~> b

Produced by Haddock version 2.8.0
+
Synopsis
data a :-: b
data (a :+: b) c
data Op a b
newtype O g f a = O {
unO :: g (f a)
}
biO :: (g `O` f) a
newtype Flip (~>) b a = Flip {
unFlip :: a ~> b
}
stuff +
data a :-: b
data (a :+: b) c
data Op a b
newtype O g f a
Constructors
O
Fields
unO :: g (f a)

biO :: (g `O` f) a
newtype Flip (~>) b a
Constructors
Flip
Fields
unFlip :: a ~> b

Produced by Haddock version 2.8.2
hunk ./tests/golden-tests/tests/Visible.html.ref 4 -
Contents
Index

Visible
Documentation
visible :: Int -> Int
Produced by Haddock version 2.8.0
+
Contents
Index

Visible
Documentation
visible :: Int -> Int
Produced by Haddock version 2.8.2
}

IntExpr Integer
AntiIntExpr String
BinopExpr BinOp Expr Expr
AntiExpr String

forall b . C b => Ex1 b
forall b . Ex2 b
forall b . C a => Ex3 b
Ex4 (forall a. a -> a)

Documentation

Documentation

Documentation

Documentation

Documentation

Documentation

Documentation

Documentation

Documentation

Documentation

The HashTable type +

The HashTable type hunk ./tests/golden-tests/tests/Hash.html.ref 12 -

Operations on HashTables +

Operations on HashTables hunk ./tests/golden-tests/tests/Hash.html.ref 17 -

The Hash class +

Documentation

Documentation

Documentation

Documentation

Documentation

Documentation

Type declarations -

Data types +

Type declarations +

Data types hunk ./tests/golden-tests/tests/Test.html.ref 42 -Fieldsn7 :: a b

Records +Fieldsn7 :: a b

Records hunk ./tests/golden-tests/tests/Test.html.ref 57 -

Class declarations +

Class declarations hunk ./tests/golden-tests/tests/Test.html.ref 64 -

Function types +

Function types hunk ./tests/golden-tests/tests/Test.html.ref 82 -

Auxiliary stuff +

Auxiliary stuff hunk ./tests/golden-tests/tests/Test.html.ref 120 -

A hidden module -

A visible module +

A hidden module +

A visible module hunk ./tests/golden-tests/tests/Test.html.ref 123 -

Existential / Universal types +

Existential / Universal types hunk ./tests/golden-tests/tests/Test.html.ref 125 -Constructorsforall b . C b => Ex1 b forall b . Ex2 b forall b . C a => Ex3 b Ex4 (forall a. a -> a)

Type signatures with argument docs +Constructorsforall b . C b => Ex1 b forall b . Ex2 b forall b . C a => Ex3 b Ex4 (forall a. a -> a)

Type signatures with argument docs hunk ./tests/golden-tests/tests/Test.html.ref 142 -

A section -

A subsection +

A section +

stuff -

stuff +

Documentation

Documentation

The `HashTable` type +

The `HashTable` type hunk ./tests/golden-tests/tests/Hash.html.ref 12 -

Operations on `HashTable`s +

Operations on `HashTable`s hunk ./tests/golden-tests/tests/Hash.html.ref 17 -

The `Hash` class +

Data types hunk ./tests/golden-tests/tests/Test.html.ref 42 -
Fields
n7 :: a b

Records +
Fields
n7 :: a b

Existential / Universal types hunk ./tests/golden-tests/tests/Test.html.ref 125 -
Constructors
forall b . C b => Ex1 b
forall b . Ex2 b
forall b . C a => Ex3 b
Ex4 (forall a. a -> a)

Type signatures with argument docs +
Constructors
forall b . C b => Ex1 b
forall b . Ex2 b
forall b . C a => Ex3 b
Ex4 (forall a. a -> a)