! | 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 |