Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | generics@haskell.org |
Safe Haskell | Safe-Inferred |
Summary: Representation for constructors.
- class Constructor c where
- data Fixity
- = Prefix
- | Infix Associativity Int
- data Associativity
Documentation
class Constructor c whereSource
Class for datatypes that represent data constructors.
For non-symbolic constructors, only conName
has to be defined.
The weird argument is supposed to be instantiated with C
from
base, hence the complex kind.
Datatype to represent the fixity of a constructor. An infix declaration
directly corresponds to an application of Infix
.