1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
|
docs:
Just module header:
Just text:
{-| `elem`, 'print',
`Unknown',
'<>', ':=:', 'Bool'
-}
identifiers:
{DocsInHiFile.hs:2:3-6}
Data.Foldable.elem
{DocsInHiFile.hs:2:3-6}
elem
{DocsInHiFile.hs:2:11-15}
System.IO.print
{DocsInHiFile.hs:4:2-3}
GHC.Base.<>
{DocsInHiFile.hs:4:15-18}
GHC.Types.Bool
declaration docs:
[elem -> [text:
-- | '()', 'elem'.
identifiers:
{DocsInHiFile.hs:14:13-16}
Data.Foldable.elem
{DocsInHiFile.hs:14:13-16}
elem],
D -> [text:
-- | A datatype.
identifiers:],
D0 -> [text:
-- ^ A constructor for 'D'. '
identifiers:
{DocsInHiFile.hs:20:32}
D],
D1 -> [text:
-- ^ Another constructor
identifiers:],
P -> [text:
-- | A class
identifiers:],
p -> [text:
-- | A class method
identifiers:],
$fShowD -> [text:
-- ^ 'Show' instance
identifiers:
{DocsInHiFile.hs:22:25-28}
GHC.Show.Show],
D' -> [text:
-- | Another datatype...
identifiers:,
text:
-- ^ ...with two docstrings.
identifiers:],
D:R:FInt -> [text:
-- | A type family instance
identifiers:],
F -> [text:
-- | A type family
identifiers:]]
arg docs:
[add -> 0:
text:
-- ^ First summand for 'add'
identifiers:
{DocsInHiFile.hs:25:36-38}
add
1:
text:
-- ^ Second summand
identifiers:
2:
text:
-- ^ Sum
identifiers:,
p -> 0:
text:
-- ^ An argument
identifiers:]
documentation structure:
avails:
[elem]
avails:
[D{D, D0, D1}]
avails:
[add]
avails:
[P{P, p}]
avails:
[GHC.Show.Show{GHC.Show.Show, GHC.Show.show, GHC.Show.showList,
GHC.Show.showsPrec}]
named chunks:
haddock options:
language:
Nothing
language extensions:
MonomorphismRestriction
MonoLocalBinds
RelaxedPolyRec
ForeignFunctionInterface
ImplicitPrelude
ScopedTypeVariables
BangPatterns
TypeFamilies
NamedFieldPuns
GADTSyntax
DoAndIfThenElse
ConstraintKinds
PolyKinds
InstanceSigs
StandaloneDeriving
DeriveDataTypeable
DeriveFunctor
DeriveTraversable
DeriveFoldable
DeriveGeneric
DeriveLift
TypeSynonymInstances
FlexibleContexts
FlexibleInstances
ConstrainedClassMethods
MultiParamTypeClasses
ExistentialQuantification
EmptyDataDecls
KindSignatures
GeneralizedNewtypeDeriving
PostfixOperators
TupleSections
PatternGuards
RankNTypes
TypeOperators
ExplicitNamespaces
ExplicitForAll
TraditionalRecordSyntax
BinaryLiterals
HexFloatLiterals
EmptyCase
NamedWildCards
TypeApplications
EmptyDataDeriving
NumericUnderscores
StarIsType
ImportQualifiedPost
StandaloneKindSignatures
FieldSelectors
extensible fields:
|