| R | Michelson.Typed.Haskell.Instr.Helpers |
| readAndParseContract | Michelson.Runtime |
| readContract | Michelson.Test.Import |
| readFileUtf8 | Util.IO |
| readGState | Michelson.Runtime.GState |
| Rec | Lorentz.ADT, Lorentz |
| RecFromTuple | Util.TypeTuple.Class, Util.TypeTuple |
| recFromTuple | Util.TypeTuple.Class, Util.TypeTuple |
| RemainingSteps | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| RENAME | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| RenderAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| renderAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| RenderDoc | Michelson.Printer.Util, Michelson.Printer |
| renderDoc | Michelson.Printer.Util, Michelson.Printer |
| renderOps | Michelson.Printer.Util |
| renderOpsList | Michelson.Printer.Util |
| requiredLongerThan | Util.Peano |
| RequireLongerThan | Util.Peano |
| return | Lorentz.Rebinded, Lorentz |
| RIGHT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| right | Lorentz.Instr, Lorentz |
| RNil | Lorentz.ADT, Lorentz |
| RSplit | Michelson.Typed.Haskell.Instr.Helpers |
| rsplit | Michelson.Typed.Haskell.Instr.Helpers |
| rsub | Lorentz.Instr, Lorentz |
| runContract | Michelson.Runtime |
| runGen | Util.Test.Arbitrary |
| runInstr | Michelson.Interpret |
| runInstrNoGas | Michelson.Interpret |
| RuntimeFailure | Michelson.Interpret |
| runTypeCheck | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| runTypeCheckTest | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| runUnpack | Michelson.Interpret |