Safe Haskell | Safe-Inferred |
---|
- data DataDef n = DataDef {
- dataDefTypeName :: !n
- dataDefParams :: [Bind n]
- dataDefCtors :: [DataCtor n]
- typeEnvOfDataDef :: Ord n => DataDef n -> TypeEnv n
- data DataCtor n = DataCtor {
- dataCtorName :: !n
- dataCtorFieldTypes :: ![Type n]
- dataCtorResultType :: !(Type n)
- typeOfDataCtor :: DataDef n -> DataCtor n -> Type n
Data Type Definition.
Data type definitions.
DataDef | |
|
typeEnvOfDataDef :: Ord n => DataDef n -> TypeEnv nSource
Take the types of data constructors from a data type definition.
Data Constructor Definition.
A data type constructor definition.
DataCtor | |
|
typeOfDataCtor :: DataDef n -> DataCtor n -> Type nSource
Get the type of a data constructor.