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

Safe Haskell	None

DDC.Core.Tetra.Compounds

Contents

Types
Expressions

Synopsis

Documentation

module DDC.Core.Compounds.Annot

Types

tBool :: Type Name Source

Primitive Bool type.

tNat :: Type Name Source

Primitive Nat type.

tInt :: Type Name Source

Primitive Int type.

tWord :: Int -> Type Name Source

Primitive WordN type of the given width.

tBoxed :: Type Name -> Type Name Source

Construct a boxed representation type.

tUnboxed :: Type Name -> Type Name Source

Construct an unboxed representation type.

Expressions

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