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 |