R | Michelson.Typed.Haskell.Instr.Helpers, Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
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 |
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 |
renderAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
RenderContext | Michelson.Printer.Util |
RenderDoc | Michelson.Printer.Util, Michelson.Printer |
renderDoc | Michelson.Printer.Util, Michelson.Printer |
renderLorentzDoc | Lorentz.Doc, Lorentz |
renderOps | Michelson.Printer.Util |
renderOpsList | Michelson.Printer.Util |
renderWEAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
replicateNE | Util.Positive |
RequireAllUnique | Util.Type |
RequireAllUniqueEntryPoints | Lorentz.EntryPoints.Core |
RequireEmptyDiff | Lorentz.UStore.Migration.Diff |
RequireLongerOrSameLength | Util.Peano |
RequireLongerThan | Util.Peano |
RequireNoArgError | Lorentz.Errors, Lorentz |
RequireSumType | Lorentz.EntryPoints.Helpers |
RequireUniqueEntryPoints | Lorentz.UParam, Lorentz |
return | Lorentz.Rebinded, Lorentz |
rewindTime | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
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 |
Right | Lorentz.Prelude, Lorentz |
right | Lorentz.Instr, Lorentz |
RNil | Lorentz.ADT, Lorentz |
RSplit | Util.Type |
rsplit | Util.Type |
rsub | Lorentz.Instr, Lorentz |
Rule | Michelson.Optimizer |
ruleset | Michelson.Optimizer |
runContract | Michelson.Runtime |
runDocTests | Michelson.Doc.Test, Lorentz.Test.Doc, Michelson.Test, Lorentz.Test |
runGen | Util.Test.Arbitrary |
runInstr | Michelson.Interpret |
runInstrNoGas | Michelson.Interpret |
RuntimeFailure | Michelson.Interpret |
runTypeCheck | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
runTypeCheckIsolated | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
runUnpack | Michelson.Interpret |