ddc-core-tetra-0.3.2.1: Disciplined Disciple Compiler intermediate language.

Safe HaskellNone

DDC.Core.Tetra.Compounds

Synopsis

Documentation

module DDC.Core.Compounds.Annot

tBool :: Type NameSource

Primitive Bool type.

tNat :: Type NameSource

Primitive Nat type.

tInt :: Type NameSource

Primitive Int type.

tWord :: Int -> Type NameSource

Primitive WordN type of the given width.