I | |
1 (Data Constructor) | PlutusCore.Data, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx |
2 (Data Constructor) | PlutusIR.Transform.RewriteRules.Common |
Id | PlutusCore.Examples.Builtins |
id | PlutusTx.Base, PlutusTx.Prelude |
IdAssumeBool | PlutusCore.Examples.Builtins |
IdAssumeCheckBool | PlutusCore.Examples.Builtins |
IData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
IData'cpu'arguments | |
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 |
IData'memory'arguments | |
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 |
identifiers | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
identityMlResult | PlutusCore.Crypto.BLS12_381.Pairing |
IdFInteger | PlutusCore.Examples.Builtins |
idFun | PlutusCore.StdLib.Data.Function |
idFun0 | UntypedPlutusCore.Test.DeBruijn.Good |
IdIntegerAsBool | PlutusCore.Examples.Builtins |
IdList | PlutusCore.Examples.Builtins |
IdNames | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
IdRank2 | PlutusCore.Examples.Builtins |
IdSomeConstantBool | PlutusCore.Examples.Builtins |
ifAstSizeZero | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
ifixType | PlutusCore.Parser.Type, PlutusCore.Parser |
iforCounter_ | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
IfStuckRep | PlutusTx.Blueprint.Definition.TF |
IfStuckUnroll | PlutusTx.Blueprint.Definition.TF |
IfThenElse | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
ifThenElse | |
1 (Function) | PlutusCore.StdLib.Data.Bool |
2 (Function) | PlutusTx.Builtins.Internal |
IfThenElse'cpu'arguments | |
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 |
IfThenElse'memory'arguments | |
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 |
IgnoredAnnotation | PlutusTx.Coverage |
ignoredAnnotations | PlutusTx.Coverage |
IgnoreNameMismatches | PlutusCore.TypeCheck.Internal |
IgnorePrettyConfig | |
1 (Type/Class) | PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty |
iiBuiltinsInfo | PlutusIR.Transform.Inline.Utils |
iiHints | PlutusIR.Transform.Inline.Utils |
iiInlineConstants | PlutusIR.Transform.Inline.Utils |
iiUsages | PlutusIR.Transform.Inline.Utils |
iiVarInfo | PlutusIR.Transform.Inline.Utils |
illAdd | UntypedPlutusCore.Test.DeBruijn.Bad |
illITELazy | UntypedPlutusCore.Test.DeBruijn.Bad |
illITEStrict | UntypedPlutusCore.Test.DeBruijn.Bad |
illOverAppBuiltin | UntypedPlutusCore.Test.DeBruijn.Bad |
illOverAppFun | UntypedPlutusCore.Test.DeBruijn.Bad |
illPartialBuiltin | UntypedPlutusCore.Test.DeBruijn.Bad |
Imaginary | PlutusTx.Sqrt |
Implication | |
1 (Type/Class) | PlutusTx.Options |
2 (Data Constructor) | PlutusTx.Options |
implies | Hedgehog.Laws.Common |
ImpossibleDeserialisationFailure | |
1 (Type/Class) | PlutusTx.Code |
2 (Data Constructor) | PlutusTx.Code |
inBraces | |
1 (Function) | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
2 (Function) | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
inBrackets | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
Includes | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
IncoherentUsage | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques, PlutusIR.Check.Uniques |
InContextM | |
1 (Type/Class) | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
inContextM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
Index | |
1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
index | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
indexBuiltinList | PlutusTx.List, PlutusTx.Prelude |
IndexByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
indexByteString | |
1 (Function) | PlutusTx.Builtins.Internal |
2 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
IndexByteString'cpu'arguments | |
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 |
IndexByteString'memory'arguments | |
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 |
indexOne | Data.RandomAccessList.Class |
indexTooLargeError | PlutusTx.ErrorCodes |
indexZero | Data.RandomAccessList.Class |
Inf | MAlonzo.RTE |
inferKind | |
1 (Function) | PlutusCore.TypeCheck, PlutusCore |
2 (Function) | PlutusCore.Generators.QuickCheck.Common, PlutusCore.Generators.QuickCheck |
inferKindAgda | MAlonzo.Code.Evaluator.Term |
inferKindM | PlutusCore.TypeCheck.Internal |
inferType | |
1 (Function) | PlutusCore.TypeCheck, PlutusCore |
2 (Function) | PlutusIR.TypeCheck |
inferTypeAgda | MAlonzo.Code.Evaluator.Term |
inferTypeInContext | PlutusIR.Generators.QuickCheck.Common, PlutusIR.Generators.QuickCheck |
inferTypeM | |
1 (Function) | PlutusCore.TypeCheck.Internal |
2 (Function) | PlutusIR.TypeCheck.Internal |
inferTypeOfProgram | |
1 (Function) | PlutusCore.TypeCheck, PlutusCore |
2 (Function) | PlutusIR.TypeCheck |
Infinity | MAlonzo.RTE |
infixDocM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
InfoAction | |
1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
inhabitType | PlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck |
initial | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
initialScope | PlutusTx.Compiler.Types |
initialSrcSpan | PlutusCore.Test, PlutusIR.Test |
initSimplifierTrace | UntypedPlutusCore.Transform.Simplifier |
Inline | |
1 (Type/Class) | PlutusCore.Annotation, PlutusTx.Compiler.Types |
2 (Data Constructor) | UntypedPlutusCore.Transform.Simplifier |
inline | |
1 (Function) | UntypedPlutusCore.Transform.Inline |
2 (Function) | PlutusIR.Transform.Inline.Inline |
InlineHints | |
1 (Type/Class) | PlutusCore.Annotation, UntypedPlutusCore.Transform.Inline, UntypedPlutusCore.Simplify, UntypedPlutusCore, PlutusIR.Transform.Inline.Inline, PlutusTx.Compiler.Types |
2 (Data Constructor) | PlutusCore.Annotation, UntypedPlutusCore.Transform.Inline, UntypedPlutusCore.Simplify, UntypedPlutusCore, PlutusIR.Transform.Inline.Inline, PlutusTx.Compiler.Types |
InlineInfo | |
1 (Type/Class) | PlutusIR.Transform.Inline.Utils |
2 (Data Constructor) | PlutusIR.Transform.Inline.Utils |
InlineM | PlutusIR.Transform.Inline.Utils |
inlinePass | PlutusIR.Transform.Inline.Inline |
inlinePassSC | PlutusIR.Transform.Inline.Inline |
InlinerState | |
1 (Type/Class) | PlutusIR.Transform.Inline.Utils |
2 (Data Constructor) | PlutusIR.Transform.Inline.Utils |
InlineTerm | PlutusIR.Transform.Inline.Utils |
InlineVarInfo | PlutusIR.Transform.Inline.Utils |
InliningConstraints | PlutusIR.Transform.Inline.Utils |
inParens | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
Input | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
input | PlutusCore.Executable.Parsers |
InputF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
inputformat | PlutusCore.Executable.Parsers |
Insert | |
1 (Type/Class) | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin |
2 (Type/Class) | PlutusTx.Blueprint.Definition.TF |
insert | |
1 (Function) | PlutusTx.Data.AssocMap |
2 (Function) | PlutusTx.AssocMap |
insertBuiltin | PlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog |
insertByName | |
1 (Function) | PlutusCore.Name.UniqueSet |
2 (Function) | PlutusCore.Name.UniqueMap |
insertByNameIndex | PlutusCore.Name.UniqueMap |
insertByUnique | |
1 (Function) | PlutusCore.Name.UniqueSet |
2 (Function) | PlutusCore.Name.UniqueMap |
insertManyPreferEnds | PlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
insertManyPreferLeft | PlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
insertManyPreferRight | PlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
insertNamed | PlutusCore.Name.UniqueMap |
insertVariable | PlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog |
InstApp | PlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck |
InstArg | PlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck |
Integer | PlutusTx.Integer, PlutusTx.Builtins, PlutusTx.Prelude |
integer | PlutusCore.StdLib.Data.Integer |
IntegerCostedLiterally | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
IntegerSchema | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
IntegerToByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
integerToByteString | |
1 (Function) | PlutusCore.Bitwise |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
IntegerToByteString'cpu'arguments'c0 | |
1 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
IntegerToByteString'cpu'arguments'c1 | |
1 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
IntegerToByteString'cpu'arguments'c2 | |
1 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
IntegerToByteString'memory'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
IntegerToByteString'memory'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
IntegerToByteStringError | PlutusCore.Bitwise |
integerToByteStringFunction | PlutusLedgerApi.Test.Examples |
Intercept | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
intercept'_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
intercept_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
interCons | PlutusCore.Examples.Data.InterList |
interListData | PlutusCore.Examples.Data.InterList |
interNil | PlutusCore.Examples.Data.InterList |
intersection | |
1 (Function) | PlutusLedgerApi.V1.Data.Interval |
2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1 |
Interval | |
1 (Type/Class) | PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
3 (Type/Class) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
4 (Data Constructor) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
interval | |
1 (Function) | PlutusLedgerApi.V1.Data.Interval |
2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1 |
IntNoIntegerNoWord | PlutusCore.Examples.Builtins |
introduceBound | PlutusCore.Check.Scoping |
intToDouble | MAlonzo.RTE.Float |
inv | PlutusTx.Monoid, PlutusTx.Prelude |
InvalidBuiltinConstant | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
InvalidMarkerError | PlutusTx.Compiler.Error |
InvalidResult | PlutusLedgerApi.Test.EvaluationEvent |
InvalidReturnValue | PlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
IsBuiltin | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin |
IsConstant | PlutusCore.Examples.Builtins |
isEmpty | |
1 (Function) | PlutusLedgerApi.V1.Data.Interval |
2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1 |
isEvaluationFailure | PlutusCore.Evaluation.Result |
isEvaluationSuccess | PlutusCore.Evaluation.Result |
isFirstVarBeforeEffects | PlutusIR.Transform.Inline.Utils |
isIdentifierChar | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
isIdentifierStartingChar | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
isJust | |
1 (Function) | PlutusPrelude |
2 (Function) | PlutusTx.Maybe, PlutusTx.Prelude |
isLeft | |
1 (Function) | PlutusPrelude |
2 (Function) | PlutusTx.Either, PlutusTx.Prelude |
isNegInf | MAlonzo.RTE.Float |
isNegZero | MAlonzo.RTE.Float |
isNewtype | PlutusTx.Lift.THUtils |
isNormalType | PlutusCore.Check.Normal |
isNothing | |
1 (Function) | PlutusPrelude |
2 (Function) | PlutusTx.Maybe, PlutusTx.Prelude |
IsParamName | PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
isPayToScriptOut | |
1 (Function) | PlutusLedgerApi.V1.Tx |
2 (Function) | PlutusLedgerApi.V2.Tx |
3 (Function) | PlutusLedgerApi.V1.Data.Tx |
4 (Function) | PlutusLedgerApi.V2.Data.Tx |
isPosInf | MAlonzo.RTE.Float |
isPosZero | MAlonzo.RTE.Float |
isPubKeyOut | |
1 (Function) | PlutusLedgerApi.V1.Tx |
2 (Function) | PlutusLedgerApi.V2.Tx |
3 (Function) | PlutusLedgerApi.V1.Data.Tx |
4 (Function) | PlutusLedgerApi.V2.Data.Tx |
isPure | |
1 (Function) | UntypedPlutusCore.Purity |
2 (Function) | PlutusIR.Purity |
isqrt | PlutusTx.Sqrt |
isQuotedIdentifierChar | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
isRight | |
1 (Function) | PlutusPrelude |
2 (Function) | PlutusTx.Either, PlutusTx.Prelude |
isSafeInteger | MAlonzo.RTE.Float |
isSameScope | PlutusCore.Check.Scoping |
isSaturated | PlutusIR.Purity |
isSerialisable | PlutusCore.Test |
isTermBindingPure | PlutusIR.Transform.Inline.Utils |
isTermValue | PlutusCore.Check.Value |
isTypeSubstEmpty | PlutusIR.Transform.Inline.Utils |
isValidUnquotedName | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
isWorkFree | |
1 (Function) | UntypedPlutusCore.Purity |
2 (Function) | PlutusIR.Purity |
isZero | |
1 (Function) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V1.Data.Value |
is_dead_code | PlutusIR.Certifier |
is_unique | PlutusIR.Certifier |
ite10 | UntypedPlutusCore.Test.DeBruijn.Bad |
iteLazy0 | UntypedPlutusCore.Test.DeBruijn.Bad |
IterApp | |
1 (Type/Class) | PlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog |
2 (Data Constructor) | PlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog |
iterAppDocM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
iterAppPrettyM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
IterAppValue | |
1 (Type/Class) | PlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog |
2 (Data Constructor) | PlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog |
iterArrowPrettyM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
iterBinderPrettyM | PlutusCore.Pretty.Readable |
iterInterAppPrettyM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
iterLamAbsPrettyM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
iterM | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
iterTM | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
iterTyAbsPrettyM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
iterTyForallPrettyM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
iteStrict0 | UntypedPlutusCore.Test.DeBruijn.Bad |
itraverseCounter_ | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
ivFrom | |
1 (Function) | PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
ivTo | |
1 (Function) | PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
IWrap | |
1 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
iWrap | PlutusCore.MkPlc, PlutusIR.MkPir |