Safe Haskell	None

Safe Haskell	Safe

ConstructorArgs

Synopsis

data Foo
- = Rec {
  - x :: String
  - y :: String
  }
- | Baz Int String
- | Boa !Int !String
- | Int :| String
- | Int :* String
data Boo where
- Foo :: Int -> String -> Boo
- Foa :: Int -> Boo
- pattern Fo :: Int -> String -> Boo
- pattern Fo' :: Boo
pattern Bo :: Int -> String -> Boo
pattern Bo' :: Int -> String -> Boo

Documentation

data Foo infixr 1 #

Constructors

Rec	doc on a record
Fields x :: String doc on the `String` field of `Rec` y :: String doc on the `String` field of `Rec`
Baz Int String	old prefix doc style
Boa infixr 2	doc on the `Boa` constrictor
Fields !Int doc on the `Int` field of `Boa` !String doc on the `String` field of `Boa`
Int :\| String	old infix doc style
(:*) infixr 3	doc on the `:*` constructor
Fields Int doc on the `Int` field of the `:` constructor String doc on the `String` field of the `:` constructor

data Boo where infixr 4 #

Constructors

Foo infixr 1	Info about a `Foo`
Fields :: Int `Int` field of `Foo` -> String `String` field of `Foo` -> Boo Make a `Boo`
Foa :: Int -> Boo	no argument docs GADT

Bundled Patterns

pattern Fo infixr 5	Info about bundled `Fo`
Fields :: Int an `Int` -> String a `String` -> Boo a `Boo`
pattern Fo' :: Boo	Bundled and no argument docs

pattern Bo infixr 6 #

Arguments

Info about not-bundled Bo

pattern Bo' :: Int -> String -> Boo #

Not bunded and no argument docs

Safe Haskell	Safe

GadtConstructorArgs

data Boo where #

Constructors

Fot
Fields :: { x :: Int an `x` , y :: Int a `y` } -> Boo
Fob	Record GADT with docs
Fields :: { w :: Int a `w` , z :: Int a `z` } -> Boo a `Boo`