ddc-core-salt-0.4.1.1: Disciplined Disciple Compiler C code generator.
DDC.Core.Salt.Compounds
tVoid :: Type NameSource
tBool :: Type NameSource
xBool :: a -> Bool -> Exp a NameSource
tNat :: Type NameSource
xNat :: a -> Integer -> Exp a NameSource
tInt :: Type NameSource
xInt :: a -> Integer -> Exp a NameSource
tWord :: Int -> Type NameSource
xWord :: a -> Integer -> Int -> Exp a NameSource
tTag :: Type NameSource
xTag :: a -> Integer -> Exp a NameSource
tObj :: Type NameSource
tAddr :: Type NameSource
tPtr :: Region Name -> Type Name -> Type NameSource
takeTPtr :: Type Name -> Maybe (Region Name, Type Name)Source
tString :: Type NameSource