DDC.Core.Tetra.Compounds

Documentation

module DDC.Core.Compounds.Annot

Types

tBool :: Type Name

Primitive Bool type.

tNat :: Type Name

Primitive Nat type.

tInt :: Type Name

Primitive Int type.

tWord :: Int -> Type Name

Primitive WordN type of the given width.

tBoxed :: Type Name -> Type Name

Construct a boxed representation type.

tUnboxed :: Type Name -> Type Name

Construct an unboxed representation type.

Expressions

xCastConvert :: a -> Type Name -> Type Name -> Exp a Name -> Exp a Name