DDC.Core.Tetra.Env

Documentation

primDataDefs :: DataDefs Name

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

Sort environment containing sorts of primitive kinds.

primKindEnv :: Env Name

Kind environment containing kinds of primitive data types.

primTypeEnv :: Env Name

Type environment containing types of primitive operators.