DDC.Core.Tetra.Compounds

Documentation

module DDC.Core.Exp.Annot

Primitive

tVoid :: Type Name

Primitive Void type.

tBool :: Type Name

Primitive Bool type.

tNat :: Type Name

Primitive Nat type.

tInt :: Type Name

Primitive Int type.

tSize :: Type Name

Primitive Size type.

tWord :: Int -> Type Name

Primitive WordN type of the given width.

tFloat :: Int -> Type Name

Primitive FloatN type of the given width.

tPtr :: Type Name -> Type Name -> Type Name

Primitive Ptr type with given region and data type

Tetra types.

tTupleN :: [Type Name] -> Type Name

Construct a tuple type.

tUnboxed :: Type Name -> Type Name

Construct an unboxed representation type.

tFunValue :: Type Name -> Type Name

Construct a reified function type.

tCloValue :: Type Name -> Type Name

Construct a reified closure type.

tTextLit :: Type Name

The text literal type.

Expressions

xFunCReify

Arguments

:: a

-> Type Name

Parameter type.

-> Type Name

Result type.

-> Exp a Name

Input closure.

-> Exp a Name

Resulting closure.

Reify a super or foreign function into a closure.

xFunCCurry

Arguments

:: a

-> [Type Name]

Parameter types.

-> Type Name

Result type.

-> Exp a Name

Input closure.

-> Exp a Name

Resulting closure.

Construct a closure consisting of a top-level super and some arguments.

xFunApply

Arguments

:: a

-> [Type Name]

Argument types.

-> Type Name

Result type.

-> Exp a Name

Functional expression.

-> [Exp a Name]

Argument expressions.

-> Exp a Name

Apply a closure to more arguments.

xFunCurry

Arguments

:: a

-> [Type Name]

Parameter types.

-> Type Name

Result type.

-> Exp a Name

Input closure.

-> Exp a Name

Resulting closure.

Construct a closure consisting of a top-level super and some arguments.

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