plutus-core-1.0.0.1: Language library for Plutus Core

Index - R

ReadKnownPlutusCore.Builtin
readKnownPlutusCore.Builtin
readKnownCekUntypedPlutusCore.Evaluation.Machine.Cek
readKnownCkPlutusCore.Evaluation.Machine.Ck
readKnownConstantPlutusCore.Builtin
ReadKnownInPlutusCore.Builtin
ReadKnownMPlutusCore.Builtin
readKnownSelfPlutusCore.Builtin
RecPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
recordAliasPlutusIR.Compiler.Definitions
recSplitPlutusIR.Transform.RecSplit
recUnitPlutusCore.Examples.Data.Shad
RecursiveType 
1 (Type/Class)PlutusCore.StdLib.Type
2 (Data Constructor)PlutusCore.StdLib.Type
RecursivityPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
ReferencePlutusCore.Check.Scoping
referenceBindingsBothWaysPlutusIR.Core.Instance.Scoping
referenceBoundPlutusCore.Check.Scoping
referenceOutOfScopePlutusCore.Check.Scoping
referenceViaPlutusCore.Check.Scoping
referenceViaBindingsPlutusIR.Core.Instance.Scoping
ReflUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
registerBoundPlutusCore.Check.Scoping
registerByRecursivityPlutusIR.Core.Instance.Scoping
registerFreePlutusCore.Check.Scoping
registerOutOfScopePlutusCore.Check.Scoping
RemainderIntegerPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
removeDeadBindingsPlutusIR.Transform.DeadCode
RenamePlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename
renamePlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename
renameNameMPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
renameProgramM 
1 (Function)PlutusCore.Rename.Internal
2 (Function)PlutusIR.Transform.Rename
RenameT 
1 (Type/Class)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal
2 (Data Constructor)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal
renameTermM 
1 (Function)PlutusCore.Rename.Internal
2 (Function)PlutusIR.Transform.Rename
renameTypeMPlutusCore.Rename.Internal
Renaming 
1 (Type/Class)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal
2 (Data Constructor)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal
renamingPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
RenderPlutusPrelude, PlutusCore.Pretty
renderPlutusPrelude, PlutusCore.Pretty
reoptionPlutusPrelude
RepHolePlutusCore.Builtin
restrictingUntypedPlutusCore.Evaluation.Machine.Cek
restrictingEnormousUntypedPlutusCore.Evaluation.Machine.Cek
RestrictingSt 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek
RetainedSizePlutusIR.Analysis.RetainedSize
RetainsPlutusIR.Analysis.RetainedSize
reversePlutusCore.StdLib.Data.ScottList
rightPlutusCore.StdLib.Data.Sum
runCekUntypedPlutusCore.Evaluation.Machine.Cek
runCekDeBruijnUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
runCekNoEmitUntypedPlutusCore.Evaluation.Machine.Cek
runCkPlutusCore.Evaluation.Machine.Ck
runCostingFunFiveArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunFourArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunOneArgumentPlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunSixArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunThreeArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunTwoArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel
runDefTPlutusIR.Compiler.Definitions
runEmitterPlutusCore.Builtin.Emitter, PlutusCore.Builtin
runNormalizeTypeMPlutusCore.Normalize.Internal
runQuotePlutusCore.Quote, PlutusCore
runQuoteTPlutusCore.Quote, PlutusCore
runRecUnitPlutusCore.Examples.Data.Shad
runRenameTPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
RuntimeSchemePlutusCore.Builtin
RuntimeSchemeAllPlutusCore.Builtin
RuntimeSchemeArrowPlutusCore.Builtin
RuntimeSchemeResultPlutusCore.Builtin