| ! | Ivory.Language.Array, Ivory.Language |
| .% | Ivory.Language.IIntegral, Ivory.Language |
| .& | Ivory.Language.Bits, Ivory.Language |
| .&& | Ivory.Language.IBool, Ivory.Language |
| .= | Ivory.Language.Init, Ivory.Language |
| .^ | Ivory.Language.Bits, Ivory.Language |
| .| | Ivory.Language.Bits, Ivory.Language |
| .|| | Ivory.Language.IBool, Ivory.Language |
| /=? | Ivory.Language.IBool, Ivory.Language |
| :-> | Ivory.Language.Proc, Ivory.Language |
| <=? | Ivory.Language.IBool, Ivory.Language |
| <? | Ivory.Language.IBool, Ivory.Language |
| ==? | Ivory.Language.IBool, Ivory.Language |
| >=? | Ivory.Language.IBool, Ivory.Language |
| >? | Ivory.Language.IBool, Ivory.Language |
| ? | Ivory.Language.IBool, Ivory.Language |
| Abstract | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| addrOf | Ivory.Language.MemArea, Ivory.Language |
| aiConst | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| aiFile | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| aiSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| AllocEff | Ivory.Language.Effects, Ivory.Language |
| AllocEffects | Ivory.Language.Effects, Ivory.Language |
| AllocRef | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| AllowBreak | Ivory.Language.Effects, Ivory.Language |
| AProxy | Ivory.Language.Area |
| Area | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 3 (Type/Class) | Ivory.Language.Area, Ivory.Language |
| area | Ivory.Language.MemArea, Ivory.Language |
| areaConst | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| AreaImport | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| areaInit | |
| 1 (Function) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Function) | Ivory.Language.MemArea |
| AreaInitM | |
| 1 (Type/Class) | Ivory.Language.MemArea |
| 2 (Data Constructor) | Ivory.Language.MemArea |
| areaInit_iso | Ivory.Language.MemArea |
| areaSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| areaType | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Array | Ivory.Language.Area, Ivory.Language |
| arrayLen | Ivory.Language.Array, Ivory.Language |
| arrayMap | Ivory.Language.Loop, Ivory.Language |
| Assert | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| assert | Ivory.Language.Assert, Ivory.Language |
| Assign | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| assign | Ivory.Language.Monad, Ivory.Language |
| Assume | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| assume | Ivory.Language.Assert, Ivory.Language |
| Binding | |
| 1 (Type/Class) | Ivory.Language.Init |
| 2 (Data Constructor) | Ivory.Language.Init |
| bindingArea | Ivory.Language.MemArea |
| bindingInit | Ivory.Language.Init |
| bindingSym | Ivory.Language.Init |
| bindingType | Ivory.Language.Init |
| bindingVar | Ivory.Language.Init |
| BitCast | Ivory.Language.Bits, Ivory.Language |
| bitCast | Ivory.Language.Bits, Ivory.Language |
| bitOp | Ivory.Language.Bits |
| BitSplit | Ivory.Language.Bits, Ivory.Language |
| Block | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| blockEnsures | Ivory.Language.Monad |
| blockRequires | Ivory.Language.Monad |
| blockStmts | Ivory.Language.Monad |
| Body | |
| 1 (Type/Class) | Ivory.Language.Proc, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Proc |
| body | Ivory.Language.Proc, Ivory.Language |
| boolOp | Ivory.Language.IBool |
| boundedFromInteger | Ivory.Language.BoundedInteger |
| Break | |
| 1 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Effects, Ivory.Language |
| BreakEff | Ivory.Language.Effects, Ivory.Language |
| breakOut | Ivory.Language.Loop, Ivory.Language |
| Call | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| call | Ivory.Language.Proc, Ivory.Language |
| callAux | Ivory.Language.Proc |
| callAux_ | Ivory.Language.Proc |
| call_ | Ivory.Language.Proc, Ivory.Language |
| Capacity | Ivory.Language.String, Ivory.Language |
| CArray | Ivory.Language.Area, Ivory.Language |
| castDefault | Ivory.Language.Cast, Ivory.Language |
| castWith | Ivory.Language.Cast, Ivory.Language |
| ceilF | Ivory.Language.Float, Ivory.Language |
| char | Ivory.Language.IChar, Ivory.Language |
| check | Ivory.Language.Cond |
| checkStored | Ivory.Language.Cond, Ivory.Language |
| ClearAlloc | Ivory.Language.Effects, Ivory.Language |
| ClearBreak | Ivory.Language.Effects, Ivory.Language |
| ClearReturn | Ivory.Language.Effects, Ivory.Language |
| closEnv | Ivory.Language.Proc |
| closSupply | Ivory.Language.Proc |
| Closure | |
| 1 (Type/Class) | Ivory.Language.Proc |
| 2 (Data Constructor) | Ivory.Language.Proc |
| CodeBlock | |
| 1 (Type/Class) | Ivory.Language.Monad |
| 2 (Data Constructor) | Ivory.Language.Monad |
| collect | Ivory.Language.Monad |
| CompilerAssert | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| compilerAssert | Ivory.Language.Assert |
| Cond | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Type/Class) | Ivory.Language.Cond |
| 3 (Data Constructor) | Ivory.Language.Cond |
| CondBool | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| CondDeref | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| constArea | Ivory.Language.MemArea, Ivory.Language |
| ConstMemArea | |
| 1 (Type/Class) | Ivory.Language.MemArea, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.MemArea |
| ConstRef | |
| 1 (Type/Class) | Ivory.Language.Ref, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Ref |
| constRef | Ivory.Language.Ref, Ivory.Language |
| DecrTo | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Def | Ivory.Language.Proc, Ivory.Language |
| Default | Ivory.Language.Cast, Ivory.Language |
| defConstMemArea | Ivory.Language.Module, Ivory.Language |
| DefExtern | Ivory.Language.Proc |
| DefImport | Ivory.Language.Proc |
| defMemArea | Ivory.Language.Module, Ivory.Language |
| DefProc | Ivory.Language.Proc |
| defStringType | Ivory.Language.Module, Ivory.Language |
| defStruct | Ivory.Language.Module, Ivory.Language |
| defSymbol | Ivory.Language.Proc |
| depend | Ivory.Language.Module, Ivory.Language |
| Deref | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| deref | Ivory.Language.Ref, Ivory.Language |
| downTo | Ivory.Language.Loop |
| Effects | |
| 1 (Type/Class) | Ivory.Language.Effects, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Effects, Ivory.Language |
| emit | Ivory.Language.Monad |
| emitPostCond | Ivory.Language.Cond |
| emitPreCond | Ivory.Language.Cond |
| emits | Ivory.Language.Monad |
| Ensure | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Ensures | Ivory.Language.Cond |
| ensures | Ivory.Language.Cond, Ivory.Language |
| ensures' | Ivory.Language.Cond |
| ExpAbs | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpAdd | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpAddrOfGlobal | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpAnd | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpBitAnd | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpBitComplement | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpBitOr | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpBitShiftL | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpBitShiftR | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpBitXor | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpCeilF | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpCond | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpDiv | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpEq | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFAcos | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFAcosh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFAsin | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFAsinh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFAtan | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFAtanh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFCos | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFCosh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFExp | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFLog | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFLogBase | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFloorF | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFPow | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFromFloat | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFSin | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFSinh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFSqrt | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFTan | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpFTanh | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpGt | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpIndex | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpIsInf | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpIsNan | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpLabel | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpLit | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpLt | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpMaxMin | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpMod | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpMul | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpNegate | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpNeq | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpNot | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpOp | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpOr | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Expr | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| exprBinop | Ivory.Language.Type |
| ExpRecip | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpRoundF | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| exprUnary | Ivory.Language.Type |
| ExpSafeCast | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpSignum | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpSub | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpToFloat | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpToIx | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ExpVar | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Extern | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| extern | Ivory.Language.Const, Ivory.Language |
| externArgs | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| externProc | Ivory.Language.Proc, Ivory.Language |
| externRetType | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| externSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| extractByte | Ivory.Language.Bits, Ivory.Language |
| false | Ivory.Language.IBool, Ivory.Language |
| floorF | Ivory.Language.Float, Ivory.Language |
| for | Ivory.Language.Loop, Ivory.Language |
| Forever | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| forever | Ivory.Language.Loop, Ivory.Language |
| FreshName | Ivory.Language.Init |
| freshName | Ivory.Language.Init |
| freshVar | Ivory.Language.Monad |
| fromIx | Ivory.Language.Array, Ivory.Language |
| fromTypeNat | Ivory.Language.Proxy |
| fromTypeSym | Ivory.Language.Proxy |
| genVar | Ivory.Language.Proc |
| GetAlloc | Ivory.Language.Effects, Ivory.Language |
| GetBreaks | Ivory.Language.Effects, Ivory.Language |
| getConstRef | Ivory.Language.Ref |
| getEnsure | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| getEnv | Ivory.Language.Proc |
| getIBool | Ivory.Language.IBool |
| getIChar | Ivory.Language.IChar |
| getIDouble | Ivory.Language.Float |
| getIFloat | Ivory.Language.Float |
| getInit | Ivory.Language.Init |
| getInitStruct | Ivory.Language.Init |
| getIString | Ivory.Language.IString |
| getIx | Ivory.Language.Array |
| getLabel | Ivory.Language.Struct |
| getProcPtr | Ivory.Language.Proc |
| getPtr | Ivory.Language.Ptr |
| getRef | Ivory.Language.Ref |
| getRequire | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| GetReturn | Ivory.Language.Effects, Ivory.Language |
| getSint16 | Ivory.Language.Sint |
| getSint32 | Ivory.Language.Sint |
| getSint64 | Ivory.Language.Sint |
| getSint8 | Ivory.Language.Sint |
| getStructDef | Ivory.Language.Struct |
| getUint16 | Ivory.Language.Uint |
| getUint32 | Ivory.Language.Uint |
| getUint64 | Ivory.Language.Uint |
| getUint8 | Ivory.Language.Uint |
| Global | Ivory.Language.Scope, Ivory.Language |
| IArray | Ivory.Language.Init |
| iarray | Ivory.Language.Init, Ivory.Language |
| IBool | |
| 1 (Type/Class) | Ivory.Language.IBool, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.IBool |
| IChar | |
| 1 (Type/Class) | Ivory.Language.IChar, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.IChar |
| iComplement | Ivory.Language.Bits, Ivory.Language |
| iDiv | Ivory.Language.IIntegral, Ivory.Language |
| iDivE | Ivory.Language.IIntegral |
| IDouble | |
| 1 (Type/Class) | Ivory.Language.Float, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Float |
| idouble | Ivory.Language.Float, Ivory.Language |
| IFloat | |
| 1 (Type/Class) | Ivory.Language.Float, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Float |
| ifloat | Ivory.Language.Float, Ivory.Language |
| IFresh | Ivory.Language.Init |
| IfTE | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ifte_ | Ivory.Language.IBool, Ivory.Language |
| iModE | Ivory.Language.IIntegral |
| Import | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| importArea | Ivory.Language.MemArea, Ivory.Language |
| importConstArea | Ivory.Language.MemArea, Ivory.Language |
| importFile | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| importProc | Ivory.Language.Proc, Ivory.Language |
| importSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| incl | Ivory.Language.Module, Ivory.Language |
| inclHeader | Ivory.Language.Module, Ivory.Language |
| IncrTo | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| indirect | Ivory.Language.Proc, Ivory.Language |
| indirect_ | Ivory.Language.Proc, Ivory.Language |
| Init | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Type/Class) | Ivory.Language.Init, Ivory.Language |
| 3 (Data Constructor) | Ivory.Language.Init |
| InitArray | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| InitExpr | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| initialClosure | Ivory.Language.Proc |
| InitStruct | |
| 1 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Type/Class) | Ivory.Language.Init, Ivory.Language |
| 3 (Data Constructor) | Ivory.Language.Init |
| initType | Ivory.Language.Init |
| InitZero | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| iNot | Ivory.Language.IBool, Ivory.Language |
| Int16 | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| Int32 | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| Int64 | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| Int8 | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| IntSize | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| iShiftL | Ivory.Language.Bits, Ivory.Language |
| iShiftR | Ivory.Language.Bits, Ivory.Language |
| isinf | Ivory.Language.Float, Ivory.Language |
| isnan | Ivory.Language.Float, Ivory.Language |
| IString | |
| 1 (Type/Class) | Ivory.Language.IString, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.IString |
| IStruct | Ivory.Language.Init |
| istruct | Ivory.Language.Init, Ivory.Language |
| IVal | Ivory.Language.Init |
| ival | Ivory.Language.Init, Ivory.Language |
| Ivory | Ivory.Language.Monad, Ivory.Language |
| ivory | Ivory.Language |
| IvoryAddrOf | Ivory.Language.MemArea, Ivory.Language |
| IvoryArea | Ivory.Language.Area, Ivory.Language |
| ivoryArea | Ivory.Language.Area |
| IvoryBits | Ivory.Language.Bits, Ivory.Language |
| IvoryCall | Ivory.Language.Proc |
| IvoryCall_ | Ivory.Language.Proc |
| ivoryCast | Ivory.Language.Cast |
| IvoryEq | Ivory.Language.IBool, Ivory.Language |
| IvoryExpr | Ivory.Language.Type, Ivory.Language |
| IvoryFloat | Ivory.Language.Float |
| IvoryInit | Ivory.Language.Init, Ivory.Language |
| IvoryIntegral | Ivory.Language.IIntegral, Ivory.Language |
| IvoryOrd | Ivory.Language.IBool, Ivory.Language |
| IvoryProcDef | Ivory.Language.Proc |
| IvoryRef | Ivory.Language.Ref, Ivory.Language |
| IvorySizeOf | Ivory.Language.SizeOf, Ivory.Language |
| IvoryStore | Ivory.Language.Ref, Ivory.Language |
| IvoryString | Ivory.Language.String, Ivory.Language |
| IvoryStruct | Ivory.Language.Struct, Ivory.Language |
| IvoryType | Ivory.Language.Type, Ivory.Language |
| ivoryType | Ivory.Language.Type |
| IvoryVar | Ivory.Language.Type, Ivory.Language |
| IvoryZero | Ivory.Language.Init, Ivory.Language |
| Ix | |
| 1 (Type/Class) | Ivory.Language.Array, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Array |
| ixBinop | Ivory.Language.Array |
| IxRep | Ivory.Language.Array |
| ixSize | Ivory.Language.Array, Ivory.Language |
| ixUnary | Ivory.Language.Array |
| izero | Ivory.Language.Init, Ivory.Language |
| Label | |
| 1 (Type/Class) | Ivory.Language.Struct, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Struct |
| lbits | Ivory.Language.Bits, Ivory.Language |
| LitBool | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| LitChar | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| LitDouble | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Literal | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| LitFloat | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| LitInteger | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| LitNull | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| LitString | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Local | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| local | Ivory.Language.Init, Ivory.Language |
| Loop | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| loop | Ivory.Language.Loop |
| LoopIncr | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| makeArea | Ivory.Language.MemArea |
| MemArea | |
| 1 (Type/Class) | Ivory.Language.MemArea, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.MemArea |
| MemImport | Ivory.Language.MemArea |
| memSym | Ivory.Language.MemArea |
| mkIx | Ivory.Language.Array |
| modAreaImports | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| modAreas | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| modDepends | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| modExterns | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| modHeaders | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| modImports | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| modName | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| modProcs | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| modSourceDeps | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| modStructs | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Module | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 3 (Data Constructor) | Ivory.Language.Module |
| ModuleDef | Ivory.Language.Module, Ivory.Language |
| ModuleM | Ivory.Language.Module |
| ModuleName | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| moduleName | Ivory.Language.Module, Ivory.Language |
| ModulePath | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Name | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| NameSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| NameVar | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| NoAlloc | Ivory.Language.Effects, Ivory.Language |
| noAlloc | Ivory.Language.Monad, Ivory.Language |
| NoBreak | Ivory.Language.Effects, Ivory.Language |
| noBreak | Ivory.Language.Monad, Ivory.Language |
| NoEffects | Ivory.Language.Effects, Ivory.Language |
| NoReturn | Ivory.Language.Effects, Ivory.Language |
| noReturn | Ivory.Language.Monad, Ivory.Language |
| nullPtr | Ivory.Language.Ptr, Ivory.Language |
| OpaqueType | |
| 1 (Type/Class) | Ivory.Language.Type, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Type |
| package | Ivory.Language.Module, Ivory.Language |
| primAddrOf | Ivory.Language.MemArea |
| primRound | Ivory.Language.Float |
| primRunIvory | Ivory.Language.Monad |
| Private | Ivory.Language.Module |
| private | |
| 1 (Function) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Function) | Ivory.Language.Module, Ivory.Language |
| Proc | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 3 (Type/Class) | Ivory.Language.Proc, Ivory.Language |
| proc | Ivory.Language.Proc, Ivory.Language |
| procArgs | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| procBody | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| procDef | Ivory.Language.Proc |
| ProcEffects | Ivory.Language.Effects, Ivory.Language |
| procEnsures | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ProcPtr | |
| 1 (Type/Class) | Ivory.Language.Proc, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Proc |
| procPtr | Ivory.Language.Proc, Ivory.Language |
| procRequires | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| procRetTy | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| procSym | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ProcType | Ivory.Language.Proc |
| procType | Ivory.Language.Proc |
| Proxy | |
| 1 (Type/Class) | Ivory.Language.Proxy, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Proxy, Ivory.Language |
| Ptr | |
| 1 (Type/Class) | Ivory.Language.Ptr, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Ptr |
| ptrToRef | Ivory.Language.Ptr |
| Public | Ivory.Language.Module |
| public | |
| 1 (Function) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Function) | Ivory.Language.Module, Ivory.Language |
| rawIxVal | Ivory.Language.Array |
| Ref | |
| 1 (Type/Class) | Ivory.Language.Ref, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Ref |
| RefCopy | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| refCopy | Ivory.Language.Ref, Ivory.Language |
| RefScope | Ivory.Language.Scope, Ivory.Language |
| refToPtr | Ivory.Language.Ptr, Ivory.Language |
| Require | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Requires | Ivory.Language.Cond |
| requires | Ivory.Language.Cond, Ivory.Language |
| requires' | Ivory.Language.Cond |
| result | Ivory.Language.Monad |
| ret | Ivory.Language |
| retProxy | Ivory.Language.Monad |
| Return | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ReturnEff | Ivory.Language.Effects, Ivory.Language |
| Returns | Ivory.Language.Effects, Ivory.Language |
| ReturnVoid | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| retval | Ivory.Language.Syntax.Names, Ivory.Language.Syntax |
| retVoid | Ivory.Language |
| roundF | Ivory.Language.Float, Ivory.Language |
| runAreaInitM | Ivory.Language.MemArea |
| runBody | Ivory.Language.Proc |
| runCond | Ivory.Language.Cond |
| runInit | Ivory.Language.Init |
| runIvory | Ivory.Language.Monad |
| RuntimeCast | Ivory.Language.Cast, Ivory.Language |
| SafeCast | Ivory.Language.Cast, Ivory.Language |
| safeCast | Ivory.Language.Cast, Ivory.Language |
| Scope | Ivory.Language.Effects, Ivory.Language |
| SignCast | Ivory.Language.Cast, Ivory.Language |
| signCast | Ivory.Language.Cast, Ivory.Language |
| SingI | Ivory.Language |
| Sint16 | |
| 1 (Type/Class) | Ivory.Language.Sint, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Sint |
| Sint32 | |
| 1 (Type/Class) | Ivory.Language.Sint, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Sint |
| Sint64 | |
| 1 (Type/Class) | Ivory.Language.Sint, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Sint |
| Sint8 | |
| 1 (Type/Class) | Ivory.Language.Sint, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Sint |
| sizeOf | Ivory.Language.SizeOf, Ivory.Language |
| sizeOfBytes | Ivory.Language.SizeOf, Ivory.Language |
| sourceDep | Ivory.Language.Module, Ivory.Language |
| SProxy | Ivory.Language.Proxy |
| Stack | Ivory.Language.Scope, Ivory.Language |
| Stmt | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Store | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| store | Ivory.Language.Ref, Ivory.Language |
| Stored | Ivory.Language.Area, Ivory.Language |
| stringDataL | Ivory.Language.String, Ivory.Language |
| stringLengthL | Ivory.Language.String, Ivory.Language |
| Struct | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 3 (Data Constructor) | Ivory.Language.Area, Ivory.Language |
| StructDef | |
| 1 (Type/Class) | Ivory.Language.Struct, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Struct |
| structDef | Ivory.Language.Struct, Ivory.Language |
| StructName | Ivory.Language.Struct, Ivory.Language |
| structName | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| Sym | Ivory.Language.Syntax.Names, Ivory.Language.Syntax |
| times | Ivory.Language.Loop, Ivory.Language |
| ToCArray | Ivory.Language.CArray |
| toCArray | Ivory.Language.CArray, Ivory.Language |
| toIx | Ivory.Language.Array, Ivory.Language |
| toMaxSize | Ivory.Language.Cast |
| toMinSize | Ivory.Language.Cast |
| true | Ivory.Language.IBool, Ivory.Language |
| tType | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| tValue | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyArr | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyBool | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyCArray | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyChar | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyConstRef | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyDouble | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyFloat | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyInt | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyOpaque | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| Type | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| Typed | |
| 1 (Type/Class) | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| typedExpr | Ivory.Language.Type |
| TyProc | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyPtr | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyRef | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyStruct | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyVoid | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| TyWord | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| ubits | Ivory.Language.Bits, Ivory.Language |
| Uint16 | |
| 1 (Type/Class) | Ivory.Language.Uint, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Uint |
| Uint32 | |
| 1 (Type/Class) | Ivory.Language.Uint, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Uint |
| Uint64 | |
| 1 (Type/Class) | Ivory.Language.Uint, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Uint |
| Uint8 | |
| 1 (Type/Class) | Ivory.Language.Uint, Ivory.Language |
| 2 (Data Constructor) | Ivory.Language.Uint |
| unAreaInitM | Ivory.Language.MemArea |
| unModule | Ivory.Language.Module |
| unwrapExpr | Ivory.Language.Type |
| unwrapRef | Ivory.Language.Ref |
| upTo | Ivory.Language.Loop |
| Var | Ivory.Language.Syntax.Names, Ivory.Language.Syntax |
| VarInternal | Ivory.Language.Syntax.Names, Ivory.Language.Syntax |
| VarLitName | Ivory.Language.Syntax.Names, Ivory.Language.Syntax |
| VarName | Ivory.Language.Syntax.Names, Ivory.Language.Syntax |
| visAcc | Ivory.Language.Module |
| Visible | |
| 1 (Type/Class) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 2 (Data Constructor) | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| 3 (Type/Class) | Ivory.Language.Module |
| withRef | Ivory.Language |
| Word16 | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| Word32 | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| Word64 | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| Word8 | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| WordSize | Ivory.Language.Syntax.Type, Ivory.Language.Syntax |
| wrapExpr | Ivory.Language.Type |
| wrapVar | Ivory.Language.Type |
| wrapVarExpr | Ivory.Language.Type |
| XInit | Ivory.Language.Init |
| zeroInit | Ivory.Language.Syntax.AST, Ivory.Language.Syntax |
| ~> | Ivory.Language.Struct, Ivory.Language |