DDC.Core.Eval.Env

Primitive types and operators for the core language evaluator.

These are only a subset of the primitives supported by the real compiler, there's just enough to experiment with the core language.

Data Type Definitions.

primDataDefs :: DataDefs Name

Data type definitions for:

  Type   Constructors
  ----   ------------
  Unit   ()
  Int    0 1 2 3 ...
  List   Nil Cons

Kind environment.

primKindEnv :: Env Name

Kind environment containing kinds of primitive data types.

kindOfPrimName :: Name -> Maybe (Kind Name)

Take the kind of a primitive name.

Returns Nothing if the name isn't primitive.

Type Environment.

primTypeEnv :: Env Name

Type environment containing types of primitive data constructors as well as the following primitive operators:

negInt, addInt, subInt, mulInt, divInt, eqInt, updateInt

It also contains types for the primitive capability constructors:

Global#, Const#, Mutable#, Lazy#, Manifest#

typeOfPrimName :: Name -> Maybe (Type Name)

Take the type of a primitive name.

Returns Nothing if the name isn't primitive.

arityOfName :: Name -> Maybe Int

Take the arity of a primitive name.