Combined Plutus 1.38.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.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.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
intersectionPlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1
Interval 
1 (Type/Class)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
intervalPlutusLedgerApi.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
isEmptyPlutusLedgerApi.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
ivFromPlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ivToPlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.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