| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
DDC.Core.Tetra.Env
- 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.