Safe Haskell | None |
---|
- primDataDefs :: DataDefs Name
- primSortEnv :: Env Name
- primKindEnv :: Env Name
- primTypeEnv :: Env Name
Documentation
primDataDefs :: DataDefs NameSource
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 ...
Sort environment containing sorts of primitive kinds.
Kind environment containing kinds of primitive data types.
Type environment containing types of primitive operators.