DDC.Core.Lite.Compounds

Documentation

tBoolU :: Type Name

Unboxed `Bool#` type constructor.

tBool :: Region Name -> Type Name

Application of the Bool type constructor.

tNatU :: Type Name

The Nat# type constructor.

tNat :: Region Name -> Type Name

Application of the Nat type constructor.

dcNatU :: Integer -> DaCon Name

A Literal Nat# data constructor.

xNatU :: a -> Integer -> Exp a Name

A literal Nat#

tIntU :: Type Name

Unboxed `Int#` type constructor.

tInt :: Region Name -> Type Name

Application of the Int type constructor.

tWordU :: Int -> Type Name

Unboxed `WordN#` type constructor of the given width.

tPair :: Region Name -> Type Name -> Type Name -> Type Name

Application of the Pair type constructor.

tList :: Region Name -> Type Name -> Type Name

Application of the List type constructor.