| Safe Haskell | None |
|---|---|
| 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.
dataDefBool :: DataDef Name Source
Data type definition for Bool.