blob: 02dd1f902205e6af7883fbc94066c1a654aaa72c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
module ConstructorFields where
data Foo
= Bar Int String -- ^ doc on `Bar` constructor
| Baz -- ^ doc on the `Baz` constructor
Int -- ^ doc on the `Int` field of `Baz`
String -- ^ doc on the `String` field of `Baz`
| Int :+ String -- ^ doc on the `:+` constructor
| Int -- ^ doc on the `Int` field of the `:*` constructor
:* -- ^ doc on the `:*` constructor
String -- ^ doc on the `String` field of the `:*` constructor
| Boo { x :: () } -- ^ doc on the `Boo` record constructor
| Boa -- ^ doc on the `Boa` record constructor
{ y :: () }
|