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