RAList | |
1 (Type/Class) | Data.RandomAccessList.SkewBinary |
2 (Type/Class) | Data.RandomAccessList.SkewBinarySlab |
RandomAccessList | Data.RandomAccessList.Class |
rangle | Text.Pretty |
RApp | Raw |
ratio | PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3, PlutusTx.Ratio, PlutusTx.Prelude |
ratioHasZeroDenominatorError | PlutusTx.ErrorCodes |
Rational | PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3, PlutusTx.Ratio, PlutusTx.Prelude |
ratioToDouble | MAlonzo.RTE.Float |
rbrace | Text.Pretty |
rbracket | Text.Pretty |
RBuiltin | Raw |
RCase | Raw |
RCon | Raw |
RConstr | Raw |
Readable | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
ReadableSimple | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
ReadableToDoc | PlutusCore.Pretty.Readable |
ReadBit | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
readBit | |
1 (Function) | PlutusCore.Bitwise |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
ReadBit'cpu'arguments | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ReadBit'memory'arguments | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
readCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
readDeserialiseFailureInfo | Codec.Extras.SerialiseViaFlat |
readJSONFromFile | Data.Aeson.THReader |
ReadKnown | PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
readKnown | PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
readKnownCek | |
1 (Function) | UntypedPlutusCore.Evaluation.Machine.CommonAPI |
2 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
3 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
readKnownCk | PlutusCore.Evaluation.Machine.Ck |
readKnownConstant | PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
ReadKnownIn | PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
ReadKnownM | PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
readKnownSelf | PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
readOption | PlutusTx.Options |
readParamName | PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
readProgram | PlutusCore.Executable.Common |
reAnnotate | Text.Pretty |
reAnnotateS | Text.Pretty |
Rec | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
recip | PlutusTx.Ratio |
reciprocalOfZeroError | PlutusTx.ErrorCodes |
reconsCost | PlutusCore.Evaluation.Machine.CostStream |
reconstructCaseError | PlutusTx.ErrorCodes |
reconstructNormalDatatypeMatch | PlutusIR.Contexts |
recordAlias | PlutusIR.Compiler.Definitions |
recSplit | PlutusIR.Transform.RecSplit |
recSplitPass | PlutusIR.Transform.RecSplit |
RecTerms | PlutusIR.Compiler.Let |
recUnit | PlutusCore.Examples.Data.Shad |
RecursiveLet | PlutusIR.Compiler.Provenance |
RecursiveType | |
1 (Type/Class) | PlutusCore.StdLib.Type |
2 (Data Constructor) | PlutusCore.StdLib.Type |
3 (Data Constructor) | PlutusIR.Compiler.Types |
Recursivity | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
Redeemer | |
1 (Type/Class) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
RedeemerHash | |
1 (Type/Class) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
RedeemerPtr | |
1 (Type/Class) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx |
2 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx |
3 (Type/Class) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx |
4 (Data Constructor) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx |
Redeemers | |
1 (Type/Class) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx |
2 (Type/Class) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx |
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.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
registerBound | PlutusCore.Check.Scoping |
registerByRecursivity | PlutusIR.Core.Instance.Scoping |
registerFree | PlutusCore.Check.Scoping |
registerOutOfScope | PlutusCore.Check.Scoping |
registerTyName | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
Related | MAlonzo.RTE |
RelativizedMap | |
1 (Type/Class) | Data.RandomAccessList.RelativizedMap |
2 (Data Constructor) | Data.RandomAccessList.RelativizedMap |
rem64 | MAlonzo.RTE |
remainder | PlutusTx.Prelude |
RemainderError | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
RemainderInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
remainderInteger | |
1 (Function) | PlutusTx.Builtins.Internal |
2 (Function) | PlutusTx.Builtins |
RemainderInteger'cpu'arguments'constant | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RemainderInteger'cpu'arguments'model'arguments'c00 | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RemainderInteger'cpu'arguments'model'arguments'c01 | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RemainderInteger'cpu'arguments'model'arguments'c02 | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RemainderInteger'cpu'arguments'model'arguments'c10 | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RemainderInteger'cpu'arguments'model'arguments'c11 | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RemainderInteger'cpu'arguments'model'arguments'c20 | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RemainderInteger'cpu'arguments'model'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
RemainderInteger'cpu'arguments'model'arguments'minimum | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RemainderInteger'cpu'arguments'model'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
RemainderInteger'memory'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RemainderInteger'memory'arguments'minimum | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
RemainderInteger'memory'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
remInt | MAlonzo.RTE |
removeDeadBindings | PlutusIR.Transform.DeadCode |
removeDeadBindingsPass | PlutusIR.Transform.DeadCode |
removeDeadBindingsPassSC | PlutusIR.Transform.DeadCode |
removeTrailingWhitespace | Text.Pretty |
ren | PlutusCore.Generators.NEAT.Type |
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, UntypedPlutusCore.Rename.Internal |
renamePass | PlutusIR.Pass |
renameProgramM | |
1 (Function) | PlutusCore.Rename.Internal |
2 (Function) | UntypedPlutusCore.Rename.Internal |
3 (Function) | PlutusIR.Transform.Rename |
RenameT | |
1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
renameTerm | PlutusIR.Transform.Inline.Utils |
renameTermM | |
1 (Function) | PlutusCore.Rename.Internal |
2 (Function) | UntypedPlutusCore.Rename.Internal |
3 (Function) | PlutusIR.Transform.Rename |
renameTypeM | PlutusCore.Rename.Internal |
renameVar | PlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck |
Renaming | |
1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
renaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
Render | PlutusPrelude, PlutusCore.Pretty, Text.PrettyBy.Default, Text.PrettyBy |
render | PlutusPrelude, PlutusCore.Pretty, Text.PrettyBy.Default, Text.PrettyBy |
RenderContext | |
1 (Data Constructor) | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity.Internal, Text.Fixity, Text.PrettyBy.Fixity |
2 (Type/Class) | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity, Text.PrettyBy.Fixity |
renderContext | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.PrettyBy.Fixity |
RenderContextOver | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity.Internal, Text.Fixity, Text.PrettyBy.Fixity |
renderParseError | PlutusTx.Options |
renderTestFailure | PlutusLedgerApi.Test.EvaluationEvent |
renderTestFailures | PlutusLedgerApi.Test.EvaluationEvent |
reoption | PlutusPrelude |
RepHole | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin |
RepIsStuckError | PlutusTx.Blueprint.Definition.Unroll, PlutusTx.Blueprint.Definition, PlutusTx.Blueprint |
replicate | PlutusTx.List, PlutusTx.Prelude |
ReplicateByte | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
replicateByte | |
1 (Function) | PlutusCore.Bitwise |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins |
ReplicateByte'cpu'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ReplicateByte'cpu'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ReplicateByte'memory'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ReplicateByte'memory'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
requiredField | Data.Aeson.Extra |
requireExtension | PlutusTx.Lift.THUtils |
RError | Raw |
resetCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
resize | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
resolutionFailure | PlutusCore.Generators.QuickCheck.Unification, PlutusCore.Generators.QuickCheck |
restricting | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
restrictingEnormous | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
RestrictingSt | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
restrictKeys | PlutusCore.Name.UniqueMap |
resultTypeName | PlutusIR.Compiler.Datatype |
RetainedSize | PlutusIR.Analysis.RetainedSize |
Retains | PlutusIR.Analysis.RetainedSize |
rethrow | PlutusCore.Test, PlutusIR.Test |
return | PlutusTx.Prelude |
returnCek | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Returning | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
revAppend | PlutusTx.List, PlutusTx.Prelude |
Reverse | PlutusTx.Blueprint.Definition.TF |
reverse | |
1 (Function) | PlutusCore.StdLib.Data.ScottList |
2 (Function) | PlutusTx.List, PlutusTx.Prelude |
Reward | |
1 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx |
2 (Data Constructor) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx |
Rewarding | |
1 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
3 (Data Constructor) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
4 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
RewardingScript | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
rewritePass | PlutusIR.Transform.RewriteRules |
rewritePassSC | PlutusIR.Transform.RewriteRules |
rewriteRuleRemoveTrace | PlutusIR.Transform.RewriteRules.RemoveTrace |
RewriteRules | |
1 (Type/Class) | PlutusIR.Transform.RewriteRules.Internal, PlutusIR.Transform.RewriteRules |
2 (Data Constructor) | PlutusIR.Transform.RewriteRules.Internal |
rewriteWith | PlutusIR.Transform.RewriteRules |
Right | PlutusTx.Either, PlutusTx.Prelude |
right | PlutusCore.StdLib.Data.Sum |
RightAssoc | MAlonzo.RTE |
RightAssociative | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity.Internal, Text.Fixity, Text.PrettyBy.Fixity |
Ring | PlutusTx.Numeric, PlutusTx.Prelude |
Ripemd_160 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
ripemd_160 | |
1 (Function) | PlutusCore.Crypto.Hash |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
Ripemd_160'cpu'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
Ripemd_160'cpu'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
Ripemd_160'memory'arguments | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RL | |
1 (Type/Class) | PlutusCore.Eq |
2 (Data Constructor) | PlutusCore.Eq |
RLambda | Raw |
rmap | PlutusCore.Pretty.Readable |
rModelFile | PlutusCore.DataFilePaths |
Root | PlutusIR.Analysis.Dependencies |
RotateByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
rotateByteString | |
1 (Function) | PlutusCore.Bitwise |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
RotateByteString'cpu'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RotateByteString'cpu'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RotateByteString'memory'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
RotateByteString'memory'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
round | PlutusTx.Ratio, PlutusTx.Prelude |
rparen | Text.Pretty |
rsqrt | PlutusTx.Sqrt |
RTApp | Raw |
RTCompile | PlutusTx.Lift.Class |
RTerm | Raw |
RTLambda | Raw |
RTyApp | Raw |
RTyCon | |
1 (Type/Class) | Raw |
2 (Data Constructor) | Raw |
RTyConAtom | Raw |
RTyConList | Raw |
RTyConPair | Raw |
RTyFun | Raw |
RTyLambda | Raw |
RTyMu | Raw |
RType | Raw |
RTyPi | Raw |
RTySOP | Raw |
RTyVar | Raw |
runAstGen | PlutusCore.Generators.Hedgehog.AST, PlutusIR.Generators.AST |
runBrokenRenameT | PlutusCore.Test |
runCek | |
1 (Function) | UntypedPlutusCore.Evaluation.Machine.CommonAPI |
2 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
3 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
runCekDeBruijn | |
1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, 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.CommonAPI |
2 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
3 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
runCertifier | MAlonzo.Code.VerifiedCompilation |
runCk | PlutusCore.Evaluation.Machine.Ck |
runCompile | PlutusCore.Compiler |
runCompilerPass | PlutusIR.Compiler |
runConvert | PlutusCore.Executable.Common |
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 |
runDefT | PlutusIR.Compiler.Definitions |
runDriverT | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
runDumpModel | PlutusCore.Executable.Common |
runEqRename | PlutusCore.Eq |
runGenT | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
runGenTm | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
runGenTmCustom | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
runIf | PlutusIR.Compiler.Types |
runIfOpts | PlutusIR.Compiler.Types |
runInContextM | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.PrettyBy.Fixity |
runNormalizeTypeT | PlutusCore.Normalize.Internal |
runPass | PlutusIR.Pass |
runPlcT | PlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog |
runPrint | PlutusCore.Executable.Common |
runPrintBuiltinSignatures | PlutusCore.Executable.Common |
runPrintExample | PlutusCore.Executable.Common |
runQuote | PlutusCore.Quote, PlutusCore |
runQuoteT | PlutusCore.Quote, PlutusCore |
runRecUnit | PlutusCore.Examples.Data.Shad |
runRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
runTCEKAgda | MAlonzo.Code.Evaluator.Term |
runTCKAgda | MAlonzo.Code.Evaluator.Term |
runTermCek | PlutusTx.Test.Util.Compiled |
runTermDefs | |
1 (Function) | PlutusCore.Analysis.Definitions |
2 (Function) | UntypedPlutusCore.Analysis.Definitions |
3 (Function) | PlutusIR.Analysis.Definitions |
runTermDeps | PlutusIR.Analysis.Dependencies |
runTestNested | Test.Tasty.Extras, PlutusCore.Test |
runTestNestedM | Test.Tasty.Extras, PlutusCore.Test |
runTestPass | PlutusIR.Pass.Test |
RuntimeError | |
1 (Type/Class) | Raw |
2 (Data Constructor) | Raw |
RuntimeTypeError | Raw |
runTLAgda | MAlonzo.Code.Evaluator.Term |
runTPlc | PlutusCore.Test |
runTypeCheckM | |
1 (Function) | PlutusCore.TypeCheck.Internal |
2 (Function) | PlutusIR.TypeCheck.Internal |
runUAgda | MAlonzo.Code.Evaluator.Term |
runUCountingAgda | MAlonzo.Code.Evaluator.Term |
runUPlc | PlutusCore.Test |
runUplcEvalTests | PlutusConformance.Common |
runUPlcLogs | PlutusCore.Test |
RUnWrap | Raw |
RVar | Raw |
RWrap | Raw |