Safe Haskell | Safe-Inferred |
---|
- data DaCon n = DaCon {}
- data DaConName n
- = DaConUnit
- | DaConNamed n
- dcUnit :: DaCon n
- mkDaConAlg :: n -> Type n -> DaCon n
- mkDaConSolid :: n -> Type n -> DaCon n
- takeNameOfDaCon :: DaCon n -> Maybe n
- typeOfDaCon :: DaCon n -> Type n
Documentation
Data constructors.
DaCon | |
|
Data constructor names.
DaConUnit | The unit data constructor is builtin. |
DaConNamed n | Data constructor name defined by the client. |
mkDaConAlg :: n -> Type n -> DaCon nSource
Make an algebraic data constructor.
mkDaConSolid :: n -> Type n -> DaCon nSource
Make a non-algebraic (solid) constructor. These are used for location values in the interpreter, and for floating point literals in the main compiler.
takeNameOfDaCon :: DaCon n -> Maybe nSource
Take the name of data constructor.
typeOfDaCon :: DaCon n -> Type nSource
Take the type annotation of a data constructor.