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`

.