Combined Plutus 1.39.0.0 Documentation

Index - I

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
IdPlutusCore.Examples.Builtins
idPlutusTx.Base, PlutusTx.Prelude
IdAssumeBoolPlutusCore.Examples.Builtins
IdAssumeCheckBoolPlutusCore.Examples.Builtins
IDataPlutusCore.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
identifiersPlutusCore.Parser.ParserCommon, PlutusCore.Parser
identityMlResultPlutusCore.Crypto.BLS12_381.Pairing
IdFIntegerPlutusCore.Examples.Builtins
idFunPlutusCore.StdLib.Data.Function
idFun0UntypedPlutusCore.Test.DeBruijn.Good
IdIntegerAsBoolPlutusCore.Examples.Builtins
IdListPlutusCore.Examples.Builtins
IdNamesPlutusCore.Executable.Types, PlutusCore.Executable.Common
IdRank2PlutusCore.Examples.Builtins
IdSomeConstantBoolPlutusCore.Examples.Builtins
ifAstSizeZeroPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
ifixTypePlutusCore.Parser.Type, PlutusCore.Parser
iforCounter_UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
IfStuckRepPlutusTx.Blueprint.Definition.TF
IfStuckUnrollPlutusTx.Blueprint.Definition.TF
IfThenElsePlutusCore.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
IgnoredAnnotationPlutusTx.Coverage
ignoredAnnotationsPlutusTx.Coverage
IgnoreNameMismatchesPlutusCore.TypeCheck.Internal
IgnorePrettyConfig 
1 (Type/Class)PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty
iiBuiltinsInfoPlutusIR.Transform.Inline.Utils
iiHintsPlutusIR.Transform.Inline.Utils
iiInlineConstantsPlutusIR.Transform.Inline.Utils
iiUsagesPlutusIR.Transform.Inline.Utils
iiVarInfoPlutusIR.Transform.Inline.Utils
illAddUntypedPlutusCore.Test.DeBruijn.Bad
illITELazyUntypedPlutusCore.Test.DeBruijn.Bad
illITEStrictUntypedPlutusCore.Test.DeBruijn.Bad
illOverAppBuiltinUntypedPlutusCore.Test.DeBruijn.Bad
illOverAppFunUntypedPlutusCore.Test.DeBruijn.Bad
illPartialBuiltinUntypedPlutusCore.Test.DeBruijn.Bad
ImaginaryPlutusTx.Sqrt
Implication 
1 (Type/Class)PlutusTx.Options
2 (Data Constructor)PlutusTx.Options
impliesHedgehog.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
inBracketsPlutusCore.Parser.ParserCommon, PlutusCore.Parser
IncludesUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
IncoherentUsagePlutusCore.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
inContextMPlutusCore.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
indexPlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
indexBuiltinListPlutusTx.List, PlutusTx.Prelude
IndexByteStringPlutusCore.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
indexOneData.RandomAccessList.Class
indexTooLargeErrorPlutusTx.ErrorCodes
indexZeroData.RandomAccessList.Class
InfMAlonzo.RTE
inferKind 
1 (Function)PlutusCore.TypeCheck, PlutusCore
2 (Function)PlutusCore.Generators.QuickCheck.Common, PlutusCore.Generators.QuickCheck
inferKindAgdaMAlonzo.Code.Evaluator.Term
inferKindMPlutusCore.TypeCheck.Internal
inferType 
1 (Function)PlutusCore.TypeCheck, PlutusCore
2 (Function)PlutusIR.TypeCheck
inferTypeAgdaMAlonzo.Code.Evaluator.Term
inferTypeInContextPlutusIR.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
InfinityMAlonzo.RTE
infixDocMPlutusCore.Pretty.Readable, PlutusCore.Pretty
InfoAction 
1 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
inhabitTypePlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck
initialPlutusCore.Parser.ParserCommon, PlutusCore.Parser
initialScopePlutusTx.Compiler.Types
initialSrcSpanPlutusCore.Test, PlutusIR.Test
initSimplifierTraceUntypedPlutusCore.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
InlineMPlutusIR.Transform.Inline.Utils
inlinePassPlutusIR.Transform.Inline.Inline
inlinePassSCPlutusIR.Transform.Inline.Inline
InlinerState 
1 (Type/Class)PlutusIR.Transform.Inline.Utils
2 (Data Constructor)PlutusIR.Transform.Inline.Utils
InlineTermPlutusIR.Transform.Inline.Utils
InlineVarInfoPlutusIR.Transform.Inline.Utils
InliningConstraintsPlutusIR.Transform.Inline.Utils
inParensPlutusCore.Parser.ParserCommon, PlutusCore.Parser
InputPlutusCore.Executable.Types, PlutusCore.Executable.Common
inputPlutusCore.Executable.Parsers
InputFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
inputformatPlutusCore.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
insertBuiltinPlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog
insertByName 
1 (Function)PlutusCore.Name.UniqueSet
2 (Function)PlutusCore.Name.UniqueMap
insertByNameIndexPlutusCore.Name.UniqueMap
insertByUnique 
1 (Function)PlutusCore.Name.UniqueSet
2 (Function)PlutusCore.Name.UniqueMap
insertManyPreferEndsPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
insertManyPreferLeftPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
insertManyPreferRightPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
insertNamedPlutusCore.Name.UniqueMap
insertVariablePlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog
InstAppPlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck
InstArgPlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck
IntegerPlutusTx.Integer, PlutusTx.Builtins, PlutusTx.Prelude
integerPlutusCore.StdLib.Data.Integer
IntegerCostedLiterally 
1 (Type/Class)PlutusCore.Evaluation.Machine.ExMemoryUsage
2 (Data Constructor)PlutusCore.Evaluation.Machine.ExMemoryUsage
IntegerSchemaPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
IntegerToByteStringPlutusCore.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
IntegerToByteStringErrorPlutusCore.Bitwise
integerToByteStringFunctionPlutusLedgerApi.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
interConsPlutusCore.Examples.Data.InterList
interListDataPlutusCore.Examples.Data.InterList
interNilPlutusCore.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
IntNoIntegerNoWordPlutusCore.Examples.Builtins
introduceBoundPlutusCore.Check.Scoping
intToDoubleMAlonzo.RTE.Float
invPlutusTx.Monoid, PlutusTx.Prelude
InvalidBuiltinConstantPlutusCore.Error, PlutusCore.Parser, PlutusCore
InvalidMarkerErrorPlutusTx.Compiler.Error
InvalidResultPlutusLedgerApi.Test.EvaluationEvent
InvalidReturnValuePlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
IsBuiltinPlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin
IsConstantPlutusCore.Examples.Builtins
isEmpty 
1 (Function)PlutusLedgerApi.V1.Data.Interval
2 (Function)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1
isEvaluationFailurePlutusCore.Evaluation.Result
isEvaluationSuccessPlutusCore.Evaluation.Result
isFirstVarBeforeEffectsPlutusIR.Transform.Inline.Utils
isIdentifierCharPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
isIdentifierStartingCharPlutusCore.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
isNegInfMAlonzo.RTE.Float
isNegZeroMAlonzo.RTE.Float
isNewtypePlutusTx.Lift.THUtils
isNormalTypePlutusCore.Check.Normal
isNothing 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Maybe, PlutusTx.Prelude
IsParamNamePlutusLedgerApi.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
isPosInfMAlonzo.RTE.Float
isPosZeroMAlonzo.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
isqrtPlutusTx.Sqrt
isQuotedIdentifierCharPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
isRight 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Either, PlutusTx.Prelude
isSafeIntegerMAlonzo.RTE.Float
isSameScopePlutusCore.Check.Scoping
isSaturatedPlutusIR.Purity
isSerialisablePlutusCore.Test
isTermBindingPurePlutusIR.Transform.Inline.Utils
isTermValuePlutusCore.Check.Value
isTypeSubstEmptyPlutusIR.Transform.Inline.Utils
isValidUnquotedNamePlutusCore.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_codePlutusIR.Certifier
is_uniquePlutusIR.Certifier
ite10UntypedPlutusCore.Test.DeBruijn.Bad
iteLazy0UntypedPlutusCore.Test.DeBruijn.Bad
IterApp 
1 (Type/Class)PlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog
2 (Data Constructor)PlutusCore.Generators.Hedgehog.Entity, PlutusCore.Generators.Hedgehog
iterAppDocMPlutusCore.Pretty.Readable, PlutusCore.Pretty
iterAppPrettyMPlutusCore.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
iterArrowPrettyMPlutusCore.Pretty.Readable, PlutusCore.Pretty
iterBinderPrettyMPlutusCore.Pretty.Readable
iterInterAppPrettyMPlutusCore.Pretty.Readable, PlutusCore.Pretty
iterLamAbsPrettyMPlutusCore.Pretty.Readable, PlutusCore.Pretty
iterMUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
iterTMUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
iterTyAbsPrettyMPlutusCore.Pretty.Readable, PlutusCore.Pretty
iterTyForallPrettyMPlutusCore.Pretty.Readable, PlutusCore.Pretty
iteStrict0UntypedPlutusCore.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
iWrapPlutusCore.MkPlc, PlutusIR.MkPir