ddc-source-tetra-0.4.2.1: Disciplined Disciple Compiler source language.

Safe HaskellNone
LanguageHaskell98

DDC.Source.Tetra.Env

Contents

Description

Source Tetra primitive type and kind environments.

Synopsis

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.