Date: Wed, 27 May 2015 22:46:13 +0200 Subject: Add simple test case for arbitrary-depth list nesting. --- html-test/ref/Nesting.html | 49 ++++++++++++++++++++++++++++++++++++---------- html-test/src/Nesting.hs | 15 ++++++++++++++ 2 files changed, 54 insertions(+), 10 deletions(-) (limited to 'html-test/ref/Nesting.html') diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index 37ee7af3..542d6db7 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -73,6 +73,10 @@ window.onload = function () {pageLoad();setSynopsis("mini_Nesting.html");}; >j :: t

other :: Int

test2 :: Bool

data X

reExport :: Int

Produced by Haddock version 2.15.0

version 2.16.2

data Pattern :: [*] -> * where
Nil :: Pattern
Cons :: Maybe
Produced by Haddock version 2.15.0
version 2.16.2
test :: Int
reExport :: Int
data X
X
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: t
Produced by Haddock version 2.15.0
version 2.16.2
data T
T
Produced by Haddock version 2.15.0
version 2.16.2
data T
Produced by Haddock version 2.16.0
version 2.16.2
Documentation
x :: A
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: ()
g :: ()
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: ()
Produced by Haddock version 2.16.0
version 2.16.2
Documentation
f :: ()
g :: ()
class C a where
Methods
c_f :: a
Produced by Haddock version 2.16.1
version 2.16.2
data A
DP A = = ProblemCtor' Adata TP A = = ProblemCtor A
problemField :: TO A
problemField' :: DO A
gadtField :: GADT A
data family DP t :: *
DP A = = ProblemCtor' A
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
(<^>) :: (a -> a) -> a -> a
(<^) :: a -> a -> a
(^>) :: a -> a -> a
(⋆^) :: a -> a -> a
f :: ()
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: ()
g :: ()
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
h :: ()
Produced by Haddock version 2.15.0
version 2.16.2
type family a a + b :: Nat
Produced by Haddock version 2.16.0
version 2.16.2
Documentation
a :: a
b :: a
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: ()
g :: ()
Produced by Haddock version 2.16.1
version 2.16.2
test1 :: Int
test2 :: Int
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
data A
A
Fields
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
B
Fields
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
C
Fields
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
someField :: ()
Doc for someField of A
someOtherField :: ()
Doc for someOtherField of A
A Int
data B
data C
B
Fields
b :: Int

b :: Int

data D
C
Fields
c1 :: Int

c2 :: Int

c1 :: Int

c2 :: Int

D Int
newtype E
E Int
Produced by Haddock version 2.15.0
version 2.16.2
data Foo
Foo
class Bar x y
Produced by Haddock version 2.16.1
version 2.16.2
data Typ
Type (Typ
TFree (Typ
(-->) :: t -> t1 -> Typ
(--->) :: Foldable
s :: t
t :: t
main :: t
Produced by Haddock version 2.16.0
version 2.16.2
data Foo :: (* -> *) -> * -> * where
Bar :: f x -> Foo
data Baz :: * where
Baz' :: Baz
data Qux where
Quux :: Qux
Produced by Haddock version 2.16.0
version 2.16.2
Documentation
foo :: Int
bar :: Int
baz :: Int
one :: Int
two :: Int
three :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Foo
foo :: IntBar
bar :: IntBaz
baz :: IntOne
one :: IntTwo
two :: IntThree
three :: Int
Produced by Haddock version 2.15.0
version 2.16.2
data A a
A a (a -> Int
Produced by Haddock version 2.15.0
version 2.16.2
class SomeClass a where
Methods
foo :: a -> a
class SomeOtherClass a where
Methods
bar :: a -> a
Produced by Haddock version 2.15.0
version 2.16.2
data Foo
Foo
Bar
data One
One
Two
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
bar :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
newtype SomeNewType
SomeNewTypeConst String
newtype SomeOtherNewType
SomeOtherNewTypeConst String
Produced by Haddock version 2.15.0
version 2.16.2
Re-exported from an other module
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
data Foo
Produced by Haddock version 2.15.0
version 2.16.2
data family SomeTypeFamily k :: * -> *
data family SomeOtherTypeFamily k :: * -> *
Produced by Haddock version 2.16.0
version 2.16.2
type TypeSyn = String
type OtherTypeSyn = String
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
fib :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foobar :: t
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f
g
h
i
j
Produced by Haddock version 2.15.0
version 2.16.2
data H1 a b where
Foo
Fields
fooName :: String
some name
fooValue :: Int
fooName :: String
Deprecated: do not use this
some name
some value
fooValue :: Int
Deprecated: do not use this
some value
Produced by Haddock version 2.15.0
version 2.16.2
data HashTable key val
s
new :: (Eq
insert :: (Eq
lookup :: Hash
class Hash a where
Methods
hash :: a -> Int
Produced by Haddock version 2.16.1
version 2.16.2
class VisibleClass a
data VisibleData
Produced by Haddock version 2.16.1
version 2.16.2
class Foo a
data Bar
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
bar :: Int
Produced by Haddock version 2.15.0
version 2.16.2
data X
C1 :: H1
C2 :: Ord
C3 :: Int
Fields
field :: Int
hello docs
field :: Int
hello docs
C4 :: a -> H1
Fields
field2 :: a
hello2 docs
field2 :: a
hello2 docs
X
c :: (?x :: X
d :: (?x :: X
f :: ((?x :: X
Produced by Haddock version 2.15.0
version 2.16.2
class Foo a where
Methods
foo :: a
Any two of these are required...
bar :: a
bat :: a
fooBarBat :: (a, a, a)
class Weird a where
Methods
a :: a
b :: a
c :: a
d :: a
e :: a
f :: a
g :: a
class NoMins a where
Methods
x :: a
y :: a
z :: a
class FullMin a where
Methods
aaa :: a
bbb :: a
class PartialMin a where
Methods
ccc :: a
class EmptyMin a where
Methods
eee :: a
fff :: a
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
d :: t
e :: t
f :: t
g :: t
h :: t
i :: t
j :: t
k :: t
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
g :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: a
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
(+-) :: a -> a -> a
(*/) :: a -> a -> a infixr 7
foo :: a -> a -> a infixl 3
data Foo
Foo `Bar` Foo Foo :- Foo
pattern (:+) :: t -> t -> [t] infixr 3
data a a <-> b where
(:<->) :: a -> b -> a <->
type family a a ++ b infix 3
data family a a ** b infix 9
class a a ><> b where
type a a <>< b :: * infixl 2
data a a ><< b infixl 3
Methods
(>><), , (<<>) :: a -> b -> () infixl 5 <<>
(**>), , (**<), , (>**), , (<**) :: a -> a -> () infixr 8 **>, >**
type (>-<) a b = a <->
Produced by Haddock version 2.16.0
version 2.16.2
data FooType x
FooCtor x
pattern Foo :: t -> FooType
pattern Bar :: t -> FooType
pattern (:<->) :: t -> t -> (FooType
data a a >< b
Doc for (><><)
Empty
pattern E :: (><)
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
fib :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
Produced by Haddock version 2.15.0
version 2.16.2
data Expr
IntExpr Integer
AntiIntExpr String
BinopExpr BinOp
AntiExpr String
data BinOp
AddOp
SubOp
MulOp
DivOp
eval :: Expr
expr :: QuasiQuoter
parseExprExp :: String
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
val :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
data SomeType f a
Produced by Haddock version 2.16.1
version 2.16.2
Documentation
decl :: Q [Dec]
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
f :: t -> t
Produced by Haddock version 2.15.0
version 2.16.2
data T a b
A Int
B (T
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
newtype N3 a b
N2
Fields
n :: a b

n :: a b

data N4 a b
newtype N5 a b
N3
Fields
n3 :: a b
this is the n3 field
n3 :: a b
this is the n3 field
newtype N6 a b
N5
Fields
n5 :: a b
no docs on the datatype or the constructor
n5 :: a b
no docs on the datatype or the constructor
newtype N7 a b
N6
Fields
n6 :: a b

n6 :: a b

data R
N7
Fields
n7 :: a b

n7 :: a b

data R1
C1
Fields
p :: Int
This comment applies to the p field
q :: forall a. a -> a
This comment applies to the q field
r, s :: Int
This comment applies to both r and s
p :: Int
This comment applies to the p field
q :: forall a. a -> a
This comment applies to the q field
r, s :: Int
This comment applies to both r and s
C2
Fields
t :: T1 -> T2 Int Int -> T3 Bool Bool -> T4 Float Float -> T5 () ()

u, v :: Int

t :: T1 -> T2 Int Int -> T3 Bool Bool -> T4 Float Float -> T5 () ()

u, v :: Int

classD a => a => C a where
Methods
a :: IO method
b :: [a]
class D a where
Methods
d :: T a b
e :: (a, a)
class E a
class F a where
Methods
ff :: a
Function types
f :: C
g :: IntA hidden module
hidden :: Int
data Ex a
forall b . C b => b => Ex1 b
C3
Fields
s1 :: Int
The s1 record selector
s2 :: Int
The s2 record selector
s3 :: Int
The s3 record selector
s1 :: Int
The s1 record selector
s2 :: Int
The s2 record selector
s3 :: Int
The s3 record selector

forall b . b . Ex2 b forall b . C a => a => Ex3 b
Ex4 (forallType signatures with argument docs
k
l
m
o
f' :: Int
withType :: Int
withoutType :: t
Produced by Haddock version 2.16.1
version 2.16.2
Contents
Index
Synopsis
f :: :: Integer
Documentation
f :: :: Integer
Produced by Produced by Haddock version 2.16.0
version 2.16.2
Documentation
f :: a
Produced by Haddock version 2.15.0
version 2.16.2
class C a where
Methods
f :: a
Produced by Haddock version 2.15.0
version 2.16.2
data a a :- b
Q
f :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
foo :: Integer
bar :: Integer
Produced by Haddock version 2.15.0
version 2.16.2
data X
X
= = BatX X
| | BatXX {
aaa :: X
bbb :: Y
data Y
AssocD * Y = = AssocYBat * Y = = BatY Y
data Z
X
XX
XXX AssocD * X = = AssocX
type family Foo a
data family Bar a
Bar W = = BarX Z
Produced by Haddock version 2.16.1
version 2.16.2
data a a :-: b
data (a (a :+: b) c
data Op a b
newtype O g f a
ZA
ZB where
BatZ1 :: ZZA
BatZ2 :: {
batx :: X
baty :: Y
class Test a
type family Foo a :: k
data family Bat a :: *
where
BatZ1 :: ZZA
BatZ2 :: {
batx :: X
baty :: YBat * Y = = BatY YX
= = BatX X
| | BatXX {
aaa :: X
bbb :: Y
class Assoc a
data AssocD a :: *
type AssocT a :: *
type family Bar b
type family a a <> b :: k
class a a >< b
Produced by Haddock version 2.16.1
version 2.16.2
data W
Bar W = = BarX Z
class a a <=> b
biO :: (g `O`
f :: (a ~ b) => a -> b
g :: (a ~ b, b ~ c) => a -> c
x :: (a :-:
y :: (a <=>
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
x :: Int
Produced by Haddock version 2.15.0
version 2.16.2
Documentation
visible :: Int
Produced by Haddock version 2.15.0
version 2.16.2
g
h
i
j
.doc { + display: table-cell; padding-left: 0.5em; margin-bottom: 0.5em; } -.subs dd.empty { - display: none; -} - -.subs dd p { +.subs ul li > .doc p { margin: 0; } -- cgit v1.2.3
O
Fields
unO :: g (f a)

unO :: g (f a)

Level 3 header

Level 3 header