| R | Michelson.Typed.Haskell.Instr.Helpers, Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| readAndParseContract | Michelson.Runtime |
| readerError | Util.CLI |
| readGState | Michelson.Runtime.GState |
| RecFromTuple | Util.TypeTuple.Class, Util.TypeTuple |
| recFromTuple | Util.TypeTuple.Class, Util.TypeTuple |
| recordToSomeList | Util.Type |
| Refl | Util.Typeable |
| ReifyList | Util.Type |
| reifyList | Util.Type |
| reifyTypeEquality | Util.Type |
| RemainingSteps | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| RemFail | Michelson.Typed.Value, Michelson.Typed |
| RENAME | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| RenderContext | Michelson.Printer.Util |
| RenderDoc | Michelson.Printer.Util, Michelson.Printer |
| renderDoc | Michelson.Printer.Util, Michelson.Printer |
| renderOps | Michelson.Printer.Util |
| renderOpsList | Michelson.Printer.Util |
| renderType | Michelson.Untyped.Type, Michelson.Untyped |
| replicateNE | Util.Positive |
| RequireAllUnique | Util.Type |
| RequireLongerOrSameLength | Util.Peano |
| requireLongerOrSameLength | Util.Peano |
| RequireLongerThan | Util.Peano |
| requireLongerThan | Util.Peano |
| RfAlwaysFails | Michelson.Typed.Value, Michelson.Typed |
| rfAnyInstr | Michelson.Typed.Value, Michelson.Typed |
| rfMapAnyInstr | Michelson.Typed.Value, Michelson.Typed |
| rfMerge | Michelson.Typed.Value, Michelson.Typed |
| RfNormal | Michelson.Typed.Value, Michelson.Typed |
| RIGHT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| rightBalanced | Util.CustomGeneric |
| rightComb | Util.CustomGeneric |
| rnfCurve | Tezos.Crypto.Util |
| RootAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| RSplit | Util.Type |
| rsplit | Util.Type |
| Rule | Michelson.Optimizer |
| ruleset | Michelson.Optimizer |
| runContract | Michelson.Runtime |
| runExecutorM | Michelson.Runtime |
| runExecutorMWithDB | Michelson.Runtime |
| runGen | Util.Test.Arbitrary |
| runInstr | Michelson.Interpret |
| runInstrImpl | Michelson.Interpret |
| runInstrNoGas | Michelson.Interpret |
| runTypeCheck | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| runTypeCheckInstrIsolated | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| runTypeCheckIsolated | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| runUnpack | Michelson.Interpret |