Ivory.Language
data Area k
data Proc k
class IvoryType t
class IvoryArea a
class IvoryVar t
class IvoryExpr t
data OpaqueType
class IvoryRef ref
data ConstRef s a
class IvoryStore a
data Ref s a
class IvoryInit e
data Init area
class IvoryZeroVal a
class IvoryZero area
data InitStruct sym
class IvorySizeOf t
data Ptr s a
data IBool
data IChar
data IString
class IvoryString a
data Sint8
data Sint16
data Sint32
data Sint64
data Uint8
data Uint16
data Uint32
data Uint64
data IFloat
data IDouble
data Effects
data BreakEff
type family AllowBreak effs :: Effects
type family ClearBreak effs :: Effects
data ReturnEff
type family ClearReturn effs :: Effects
data AllocEff
type family ClearAlloc effs :: Effects
type AllocEffects s
type ProcEffects s t
type NoEffects
data Ivory eff a
data RefScope
Num class are also provided).class IvoryIntegral a
class IvoryEq a
class IvoryOrd a
class IvoryBits a
class BitSplit a b
class BitCast a b
class TwosComplementCast unsigned signed
data Bits n
type Bit
data BitArray n a
type family BitRep n :: *
class BitData a
data BitDataField a b
type BitDataRep a
data BitDataM d a
data MemArea area
data ConstMemArea area
class IvoryAddrOf mem ref
data Def proc
data ProcPtr sig
data Body r
class IvoryStruct sym
data StructDef sym
data Label sym field
type ASymbol s
data Ix n
type ANat n
class SafeCast from to
class RuntimeCast from to
class Default a
class SignCast from to
data Module
type ModuleDef
data Proxy a