DDC.Core.Salt.Compounds

Documentation

tVoid :: Type Name

tBool :: Type Name

xBool :: a -> Bool -> Exp a Name

tNat :: Type Name

xNat :: a -> Integer -> Exp a Name

tInt :: Type Name

xInt :: a -> Integer -> Exp a Name

tWord :: Int -> Type Name

xWord :: a -> Integer -> Int -> Exp a Name

tTag :: Type Name

xTag :: a -> Integer -> Exp a Name

tObj :: Type Name

tAddr :: Type Name

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

takeTPtr :: Type Name -> Maybe (Region Name, Type Name)

tString :: Type Name