Safe Haskell | None |
---|---|
Language | Haskell98 |
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
.