plutus-core-1.0.0.1: Language library for Plutus Core

Index - R

ReadKnown PlutusCore.Builtin
readKnown PlutusCore.Builtin
readKnownCek UntypedPlutusCore.Evaluation.Machine.Cek
readKnownCk PlutusCore.Evaluation.Machine.Ck
readKnownConstant PlutusCore.Builtin
ReadKnownIn PlutusCore.Builtin
ReadKnownM PlutusCore.Builtin
readKnownSelf PlutusCore.Builtin
Rec PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
recordAlias PlutusIR.Compiler.Definitions
recSplit PlutusIR.Transform.RecSplit
recUnit PlutusCore.Examples.Data.Shad
RecursiveType
1 (Type/Class) PlutusCore.StdLib.Type
2 (Data Constructor) PlutusCore.StdLib.Type
Recursivity PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
Reference PlutusCore.Check.Scoping
referenceBindingsBothWays PlutusIR.Core.Instance.Scoping
referenceBound PlutusCore.Check.Scoping
referenceOutOfScope PlutusCore.Check.Scoping
referenceVia PlutusCore.Check.Scoping
referenceViaBindings PlutusIR.Core.Instance.Scoping
Refl Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
registerBound PlutusCore.Check.Scoping
registerByRecursivity PlutusIR.Core.Instance.Scoping
registerFree PlutusCore.Check.Scoping
registerOutOfScope PlutusCore.Check.Scoping
RemainderInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
removeDeadBindings PlutusIR.Transform.DeadCode
Rename PlutusCore.Rename , PlutusCore , UntypedPlutusCore.Rename
rename PlutusCore.Rename , PlutusCore , UntypedPlutusCore.Rename
renameNameM PlutusCore.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
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
reoption PlutusPrelude
RepHole PlutusCore.Builtin
restricting UntypedPlutusCore.Evaluation.Machine.Cek
restrictingEnormous UntypedPlutusCore.Evaluation.Machine.Cek
RestrictingSt
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek
RetainedSize PlutusIR.Analysis.RetainedSize
Retains PlutusIR.Analysis.RetainedSize
reverse PlutusCore.StdLib.Data.ScottList
right PlutusCore.StdLib.Data.Sum
runCek UntypedPlutusCore.Evaluation.Machine.Cek
runCekDeBruijn UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
runCekNoEmit UntypedPlutusCore.Evaluation.Machine.Cek
runCk PlutusCore.Evaluation.Machine.Ck
runCostingFunFiveArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunFourArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunOneArgument PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunSixArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunThreeArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunTwoArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runDefT PlutusIR.Compiler.Definitions
runEmitter PlutusCore.Builtin.Emitter , PlutusCore.Builtin
runNormalizeTypeM PlutusCore.Normalize.Internal
runQuote PlutusCore.Quote , PlutusCore
runQuoteT PlutusCore.Quote , PlutusCore
runRecUnit PlutusCore.Examples.Data.Shad
runRenameT PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
RuntimeScheme PlutusCore.Builtin
RuntimeSchemeAll PlutusCore.Builtin
RuntimeSchemeArrow PlutusCore.Builtin
RuntimeSchemeResult PlutusCore.Builtin