Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- primDataDefs :: DataDefs Name
- primSortEnv :: Env Name
- primKindEnv :: Env Name
- primTypeEnv :: Env Name
- dataDefBool :: DataDef Name
Documentation
primDataDefs :: DataDefs Name Source #
Data type definitions
Type Constructors ---- ------------------------------ Bool True False Nat 0 1 2 ... Int ... -2i -1i 0i 1i 2i ... Word{8,16,32,64}# 42w8 123w64 ...
primSortEnv :: Env Name Source #
Sort environment containing sorts of primitive kinds.
primKindEnv :: Env Name Source #
Kind environment containing kinds of primitive data types.
primTypeEnv :: Env Name Source #
Type environment containing types of primitive operators.