summaryrefslogtreecommitdiff
path: root/testsuite/tests/showIface/DocsInHiFileTH.stdout
blob: 0e9c1af6d54a92557e2a184ef2a9bdf2a6a3886f (plain)
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
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
docs:
  Just module header:
         Just text:
                -- |This is the new module header
              identifiers:
       declaration docs:
         [Tup2 -> [text:
                     -- |Matches a tuple of (a, a)
                   identifiers:],
          f -> [text:
                  -- |The meaning of life
                identifiers:],
          g -> [text:
                  -- |Some documentation
                identifiers:],
          qux -> [text:
                    -- |This is qux
                  identifiers:],
          sin -> [text:
                    -- |15
                  identifiers:],
          wd1 -> [text:
                    -- |1
                  identifiers:],
          wd17 -> [text:
                     -- |17
                   identifiers:],
          wd18 -> [text:
                     -- |18
                   identifiers:],
          wd2 -> [text:
                    -- |2
                  identifiers:],
          wd20 -> [text:
                     -- |20
                   identifiers:],
          wd8 -> [text:
                    -- |8
                  identifiers:],
          C -> [text:
                  -- |A new class
                identifiers:],
          Corge -> [text:
                      -- |This is a newtype record constructor
                    identifiers:],
          runCorge -> [text:
                         -- |This is the newtype record constructor's argument
                       identifiers:],
          E -> [text:
                  -- |A type family
                identifiers:],
          Foo -> [text:
                    -- |A new data type
                  identifiers:],
          Foo -> [text:
                    -- |A new constructor
                  identifiers:],
          Pretty -> [text:
                       -- |My cool class
                     identifiers:],
          prettyPrint -> [text:
                            -- |Prettily prints the object
                          identifiers:],
          Quux -> [text:
                     -- |This is Quux
                   identifiers:],
          Quux1 -> [text:
                      -- |This is Quux1
                    identifiers:],
          Quux2 -> [text:
                      -- |This is Quux2
                    identifiers:],
          Quuz -> [text:
                     -- |This is a record constructor
                   identifiers:],
          quuz1_a -> [text:
                        -- |This is the record constructor's argument
                      identifiers:],
          WD10 -> [text:
                     -- |10
                   identifiers:],
          WD11Bool -> [text:
                         -- |This is a newtype instance constructor
                       identifiers:],
          WD11Int -> [text:
                        -- |This is a data instance constructor
                      identifiers:],
          WD12 -> [text:
                     -- |12
                   identifiers:],
          WD3 -> [text:
                    -- |3
                  identifiers:],
          WD4 -> [text:
                    -- |4
                  identifiers:],
          WD5 -> [text:
                    -- |5
                  identifiers:],
          WD6 -> [text:
                    -- |6
                  identifiers:],
          $fCTYPEFoo -> [text:
                           -- |7
                         identifiers:],
          $fCTYPEInt -> [text:
                           -- |A new instance
                         identifiers:],
          $fCTYPE[] -> [text:
                          -- |Another new instance
                        identifiers:],
          $fDka -> [text:
                      -- |Another new instance
                    identifiers:],
          $fF -> [text:
                    -- |14
                  identifiers:],
          D:R:EBool -> [text:
                          -- |A type family instance
                        identifiers:],
          D:R:WD11Bool0 -> [text:
                              -- |This is a newtype instance
                            identifiers:],
          D:R:WD11Foo0 -> [text:
                             -- |11
                           identifiers:],
          D:R:WD11Int0 -> [text:
                             -- |This is a data instance
                           identifiers:],
          D:R:WD13Foo -> [text:
                            -- |13
                          identifiers:]]
       arg docs:
         [Tup2 -> 0:
                    text:
                      -- |The thing to match twice
                    identifiers:,
          h -> 0:
                 text:
                   -- ^Your favourite number
                 identifiers:
               1:
                 text:
                   -- |Your least favourite Boolean
                 identifiers:
               2:
                 text:
                   -- ^A return value
                 identifiers:,
          qux -> 1:
                   text:
                     -- |Arg dos
                   identifiers:,
          Quux1 -> 0:
                     text:
                       -- |I am an integer
                     identifiers:,
          Quux2 -> 1:
                     text:
                       -- |I am a bool
                     identifiers:,
          WD11Bool -> 0:
                        text:
                          -- |This is a newtype instance constructor argument
                        identifiers:,
          WD11Int -> 0:
                       text:
                         -- |This is a data instance constructor argument
                       identifiers:]
       documentation structure:
         avails:
           [f]
         avails:
           [Foo{Foo, Foo}]
         avails:
           [g]
         avails:
           [h]
         avails:
           [C{C}]
         avails:
           [D{D}]
         avails:
           [E{E}]
         avails:
           [i]
         avails:
           [WD11{WD11, WD11Bool, WD11Int, WD11Foo}]
         avails:
           [WD13{WD13}]
         avails:
           [wd8]
         avails:
           [F{F}]
         avails:
           [wd1]
         avails:
           [wd2]
         avails:
           [WD3{WD3, WD3}]
         avails:
           [WD4{WD4, WD4}]
         avails:
           [WD5{WD5}]
         avails:
           [WD6{WD6}]
         avails:
           [WD10{WD10}]
         avails:
           [WD12{WD12}]
         avails:
           [sin]
         avails:
           [wd17]
         avails:
           [wd18]
         avails:
           [wd20]
         avails:
           [Pretty{Pretty, prettyPrint}]
         avails:
           [Corge{Corge, runCorge, Corge}]
         avails:
           [Quuz{Quuz, quuz1_a, Quuz}]
         avails:
           [Quux{Quux, Quux2, Quux1}]
         avails:
           [Tup2]
         avails:
           [qux]
       named chunks:
       haddock options:
       language:
         Nothing
       language extensions:
         MonomorphismRestriction
         MonoLocalBinds
         RelaxedPolyRec
         ForeignFunctionInterface
         TemplateHaskell
         TemplateHaskellQuotes
         ImplicitPrelude
         ScopedTypeVariables
         BangPatterns
         TypeFamilies
         NamedFieldPuns
         GADTSyntax
         DoAndIfThenElse
         ConstraintKinds
         PolyKinds
         DataKinds
         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
         PatternSynonyms
         NamedWildCards
         TypeApplications
         EmptyDataDeriving
         NumericUnderscores
         StarIsType
         ImportQualifiedPost
         StandaloneKindSignatures
         FieldSelectors
extensible fields: