plutus-core-1.0.0.1: Language library for Plutus Core

Index - I

I PlutusCore.Data
Id PlutusCore.Examples.Builtins
IdAssumeBool PlutusCore.Examples.Builtins
IdAssumeCheckBool PlutusCore.Examples.Builtins
IData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
IdFInteger PlutusCore.Examples.Builtins
idFun PlutusCore.StdLib.Data.Function
IdList PlutusCore.Examples.Builtins
IdRank2 PlutusCore.Examples.Builtins
IdSomeConstantBool PlutusCore.Examples.Builtins
IfThenElse PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
ifThenElse PlutusCore.StdLib.Data.Bool
IgnorePrettyConfig
1 (Data Constructor) PlutusCore.Pretty
2 (Type/Class) PlutusCore.Pretty
Includes Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
IncoherentUsage PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
Index
1 (Type/Class) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
2 (Data Constructor) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
index PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
IndexByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
inferKind PlutusCore
inferType
1 (Function) PlutusCore
2 (Function) PlutusIR.TypeCheck
inferTypeOfProgram
1 (Function) PlutusCore
2 (Function) PlutusIR.TypeCheck
inline PlutusIR.Transform.Inline
InlineHints
1 (Type/Class) PlutusIR.Transform.Inline , UntypedPlutusCore
2 (Data Constructor) PlutusIR.Transform.Inline , UntypedPlutusCore
insertByName PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
insertByNameIndex PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
insertByUnique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
integer PlutusCore.StdLib.Data.Integer
interCons PlutusCore.Examples.Data.InterList
interListData PlutusCore.Examples.Data.InterList
InternalEvaluationError PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
interNil PlutusCore.Examples.Data.InterList
introduceBound PlutusCore.Check.Scoping
InvalidBuiltinConstant PlutusCore.Error , PlutusCore.Parser , PlutusCore
isEmpty PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
isEvaluationFailure PlutusCore.Evaluation.Result
isEvaluationSuccess PlutusCore.Evaluation.Result
isJust PlutusPrelude
isNormalType PlutusCore.Check.Normal
isNothing PlutusPrelude
isPure PlutusIR.Purity
isRight PlutusPrelude
isSameScope PlutusCore.Check.Scoping
isTermValue PlutusCore.Check.Value
IWrap
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
iWrap PlutusCore.MkPlc , PlutusIR.MkPir
IWrapF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore