ReadBit | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
readBit | PlutusCore.Bitwise |
readCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
readDeserialiseFailureInfo | Codec.Extras.SerialiseViaFlat |
readJSONFromFile | Data.Aeson.THReader |
ReadKnown | PlutusCore.Builtin |
readKnown | PlutusCore.Builtin |
readKnownCek | |
1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
readKnownCk | PlutusCore.Evaluation.Machine.Ck |
readKnownConstant | PlutusCore.Builtin |
ReadKnownIn | PlutusCore.Builtin |
ReadKnownM | PlutusCore.Builtin |
readKnownSelf | PlutusCore.Builtin |
reconsCost | PlutusCore.Evaluation.Machine.CostStream |
recUnit | PlutusCore.Examples.Data.Shad |
RecursiveType | |
1 (Type/Class) | PlutusCore.StdLib.Type |
2 (Data Constructor) | PlutusCore.StdLib.Type |
Reference | PlutusCore.Check.Scoping |
referenceBound | PlutusCore.Check.Scoping |
referenceOutOfScope | PlutusCore.Check.Scoping |
referenceVia | PlutusCore.Check.Scoping |
Refl | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
registerBound | PlutusCore.Check.Scoping |
registerFree | PlutusCore.Check.Scoping |
registerOutOfScope | PlutusCore.Check.Scoping |
RemainderInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Rename | PlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename |
rename | PlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename |
Renamed | |
1 (Type/Class) | PlutusCore.Rename.Internal, PlutusCore.Rename |
2 (Data Constructor) | PlutusCore.Rename.Internal |
renameNameM | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
renameProgramM | PlutusCore.Rename.Internal |
RenameT | |
1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
renameTermM | PlutusCore.Rename.Internal |
renameTypeM | PlutusCore.Rename.Internal |
Renaming | |
1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
renaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
Render | PlutusPrelude, PlutusCore.Pretty |
render | PlutusPrelude, PlutusCore.Pretty |
RenderContext | |
1 (Type/Class) | PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty |
renderContext | PlutusCore.Pretty |
RenderContextOver | PlutusCore.Pretty |
reoption | PlutusPrelude |
RepHole | PlutusCore.Builtin |
ReplicateByte | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
replicateByte | PlutusCore.Bitwise |
resetCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
restricting | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
restrictingEnormous | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
RestrictingSt | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
restrictKeys | PlutusCore.Name.UniqueMap |
returnCek | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Returning | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
reverse | PlutusCore.StdLib.Data.ScottList |
right | PlutusCore.StdLib.Data.Sum |
RightAssociative | PlutusCore.Pretty |
Ripemd_160 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
ripemd_160 | PlutusCore.Crypto.Hash |
rModelFile | PlutusCore.DataFilePaths |
RotateByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
rotateByteString | PlutusCore.Bitwise |
runCek | |
1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
runCekDeBruijn | |
1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek |
2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
runCekM | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
runCekNoEmit | |
1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
runCk | PlutusCore.Evaluation.Machine.Ck |
runCompile | PlutusCore.Compiler |
runCostingFunFiveArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
runCostingFunFourArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
runCostingFunOneArgument | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
runCostingFunSixArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
runCostingFunThreeArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
runCostingFunTwoArguments | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
runDeBruijnT | PlutusCore.DeBruijn.Internal |
runDriverT | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
runInContextM | PlutusCore.Pretty |
runNormalizeTypeT | PlutusCore.Normalize.Internal |
runQuote | PlutusCore.Quote, PlutusCore |
runQuoteT | PlutusCore.Quote, PlutusCore |
runRecUnit | PlutusCore.Examples.Data.Shad |
runRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
runTermDefs | PlutusCore.Analysis.Definitions |
runTypeCheckM | PlutusCore.TypeCheck.Internal |