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

Safe HaskellNone

DDC.Core.Tetra.Compounds

Contents

Synopsis

Documentation

Types

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.

tBoxed :: Type Name -> Type NameSource

Construct a boxed representation type.

tUnboxed :: Type Name -> Type NameSource

Construct an unboxed representation type.

Expressions