plutus-core-1.36.0.0: Language library for Plutus Core

Index - R

ReadBitPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
readBitPlutusCore.Bitwise
readCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
readDeserialiseFailureInfoCodec.Extras.SerialiseViaFlat
readJSONFromFileData.Aeson.THReader
ReadKnownPlutusCore.Builtin
readKnownPlutusCore.Builtin
readKnownCek 
1 (Function)UntypedPlutusCore.Evaluation.Machine.Cek
2 (Function)UntypedPlutusCore.Evaluation.Machine.SteppableCek
readKnownCkPlutusCore.Evaluation.Machine.Ck
readKnownConstantPlutusCore.Builtin
ReadKnownInPlutusCore.Builtin
ReadKnownMPlutusCore.Builtin
readKnownSelfPlutusCore.Builtin
reconsCostPlutusCore.Evaluation.Machine.CostStream
recUnitPlutusCore.Examples.Data.Shad
RecursiveType 
1 (Type/Class)PlutusCore.StdLib.Type
2 (Data Constructor)PlutusCore.StdLib.Type
ReferencePlutusCore.Check.Scoping
referenceBoundPlutusCore.Check.Scoping
referenceOutOfScopePlutusCore.Check.Scoping
referenceViaPlutusCore.Check.Scoping
ReflUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
registerBoundPlutusCore.Check.Scoping
registerFreePlutusCore.Check.Scoping
registerOutOfScopePlutusCore.Check.Scoping
RemainderIntegerPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
RenamePlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename
renamePlutusCore.Rename, PlutusCore, UntypedPlutusCore.Rename
Renamed 
1 (Type/Class)PlutusCore.Rename.Internal, PlutusCore.Rename
2 (Data Constructor)PlutusCore.Rename.Internal
renameNameMPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
renameProgramMPlutusCore.Rename.Internal
RenameT 
1 (Type/Class)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal
2 (Data Constructor)PlutusCore.Rename.Monad, PlutusCore.Rename.Internal
renameTermMPlutusCore.Rename.Internal
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
RenderContext 
1 (Data Constructor)PlutusCore.Pretty
2 (Type/Class)PlutusCore.Pretty
renderContextPlutusCore.Pretty
RenderContextOverPlutusCore.Pretty
reoptionPlutusPrelude
RepHolePlutusCore.Builtin
ReplicateBytePlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
replicateBytePlutusCore.Bitwise
resetCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
restrictingUntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
restrictingEnormousUntypedPlutusCore.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
restrictKeysPlutusCore.Name.UniqueMap
returnCekUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ReturningUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
reversePlutusCore.StdLib.Data.ScottList
rightPlutusCore.StdLib.Data.Sum
RightAssociativePlutusCore.Pretty
Ripemd_160PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
ripemd_160PlutusCore.Crypto.Hash
rModelFilePlutusCore.DataFilePaths
RotateByteStringPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
rotateByteStringPlutusCore.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
runCekMUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
runCekNoEmit 
1 (Function)UntypedPlutusCore.Evaluation.Machine.Cek
2 (Function)UntypedPlutusCore.Evaluation.Machine.SteppableCek
runCkPlutusCore.Evaluation.Machine.Ck
runCompilePlutusCore.Compiler
runCostingFunFiveArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunFourArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunOneArgumentPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunSixArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunThreeArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunTwoArgumentsPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
runDeBruijnTPlutusCore.DeBruijn.Internal
runDriverTUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
runInContextMPlutusCore.Pretty
runNormalizeTypeTPlutusCore.Normalize.Internal
runQuotePlutusCore.Quote, PlutusCore
runQuoteTPlutusCore.Quote, PlutusCore
runRecUnitPlutusCore.Examples.Data.Shad
runRenameTPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
runTermDefsPlutusCore.Analysis.Definitions
runTypeCheckMPlutusCore.TypeCheck.Internal