Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Metadata annotations for core functional representation
- data Meta
- type Arity = Int
- data ConstructorType
Documentation
Metadata annotations
IsConstructor ConstructorType Arity | The contained value is a data constructor |
IsNewtype | The contained value is a newtype |
IsTypeClassConstructor | The contained value is a typeclass dictionary constructor |
data ConstructorType Source
Data constructor metadata
ProductType | The constructor is for a type with a single construcor |
SumType | The constructor is for a type with multiple construcors |