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
type ConstRef
class IvoryStore a
type Ref
class IvoryInit e
data Init area
class IvoryZeroVal a
class IvoryZero area
data InitStruct sym
class IvorySizeOf t
type Ptr
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) :: Effects
type family ClearBreak (effs :: Effects) :: Effects
data ReturnEff
type family ClearReturn (effs :: Effects) :: Effects
data AllocEff
type family ClearAlloc (effs :: Effects) :: 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
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 k t