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

Safe HaskellNone

DDC.Source.Tetra.Env

Synopsis

Documentation

primKindEnv :: Env NameSource

Kind environment containing kinds of primitive data types.

primTypeEnv :: Env NameSource

Type environment containing types of primitive operators.