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
|