| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Source.Tetra.Env
Description
Source Tetra primitive type and kind environments.
- primKindEnv :: Env Name
- kindOfPrimName :: Name -> Maybe (Kind Name)
- primTypeEnv :: Env Name
- typeOfPrimName :: Name -> Maybe (Type Name)
- typeOfPrimVal :: PrimVal -> Type Name
- typeOfPrimLit :: PrimLit -> Type Name
- dataDefBool :: DataDef Name
Primitive kind environment.
primKindEnv :: Env Name Source
Kind environment containing kinds of primitive data types.
kindOfPrimName :: Name -> Maybe (Kind Name) Source
Take the kind of a primitive name.
Returns Nothing if the name isn't primitive.
Primitive type environment.
primTypeEnv :: Env Name Source
Type environment containing types of primitive operators.
typeOfPrimName :: Name -> Maybe (Type Name) Source
Take the type of a name,
or Nothing if this is not a value name.
typeOfPrimVal :: PrimVal -> Type Name Source
Take the type of a primitive name.
typeOfPrimLit :: PrimLit -> Type Name Source
Take the type of a primitive literal.
dataDefBool :: DataDef Name Source
Data type definition for Bool.