Index - T

tabulateArrayPlutusPrelude
TagLiftHelper 
1 (Type/Class)Plutarch.Repr.Tag
2 (Data Constructor)Plutarch.Repr.Tag
tagWithParamNamesPlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V3.ParamName
tail 
1 (Function)PlutusTx.Builtins.Internal, PlutusTx.Builtins
2 (Function)PlutusTx.List, PlutusTx.Prelude
tailEmptyListErrorPlutusTx.ErrorCodes
TailListPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
TailList'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
TailList'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
takePlutusTx.List, PlutusTx.Prelude
takeByteStringPlutusTx.Prelude
tallyingUntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
TallyingSt 
1 (Type/Class)UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
2 (Data Constructor)UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek
tccBuiltinTypesPlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
tccKindCheckConfigPlutusCore.TypeCheck.Internal
tceTypeCheckConfigPlutusCore.TypeCheck.Internal
tceTyVarKindsPlutusCore.TypeCheck.Internal
tceVarTypesPlutusCore.TypeCheck.Internal
tcontPlutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude
Term 
1 (Type/Class)Plutarch.Internal.Term, Plutarch.Prelude
2 (Data Constructor)Plutarch.Internal.Term
3 (Type/Class)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
4 (Type/Class)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
termUntypedPlutusCore.Parser
termAnn 
1 (Function)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
termBinds 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
termConstants 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
termConstantsDeep 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
TermCont 
1 (Type/Class)Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude
2 (Data Constructor)Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude
TermDefPlutusCore.MkPlc
termDefsPlutusCore.Analysis.Definitions
termEvaluationOrderUntypedPlutusCore.Purity
TerminatingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
termLetPlutusCore.MkPlc
TermLikePlutusCore.MkPlc
termMapNames 
1 (Function)PlutusCore.Subst, PlutusCore
2 (Function)UntypedPlutusCore
TermMonad 
1 (Type/Class)Plutarch.Internal.Term
2 (Data Constructor)Plutarch.Internal.Term
TermNamePlutusCore.Check.Scoping
TermParamPlutusCore.Arity
TermResult 
1 (Type/Class)Plutarch.Internal.Term
2 (Data Constructor)Plutarch.Internal.Term
3 (Type/Class)Plutarch.Test.Unit
TermScopePlutusCore.Analysis.Definitions
termSize 
1 (Function)PlutusCore.Size, PlutusCore
2 (Function)UntypedPlutusCore.Size, UntypedPlutusCore
termSubkindsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
termSubstClosedTermPlutusCore.Subst
termSubstClosedTypePlutusCore.Subst
termSubstNames 
1 (Function)PlutusCore.Subst
2 (Function)UntypedPlutusCore
termSubstNamesM 
1 (Function)PlutusCore.Subst
2 (Function)UntypedPlutusCore
termSubstTyNamesPlutusCore.Subst
termSubstTyNamesMPlutusCore.Subst
termSubterms 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
termSubtermsDeep 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
termSubtypesPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
termSubtypesDeepPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
termTagWidthUntypedPlutusCore.Core, UntypedPlutusCore
termTyBindsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
TermUnique 
1 (Type/Class)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
2 (Data Constructor)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
termUniques 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
termUniquesDeep 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
termVars 
1 (Function)PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
2 (Function)UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore
testCompileFailPlutarch.Test.Unit
testEvalPlutarch.Test.Unit
testEvalEqualPlutarch.Test.Unit
testEvalEqualTracesPlutarch.Test.Unit
testEvalFailPlutarch.Test.Unit
TestTypesFromTheUniverseAreAllKnownPlutusCore.Builtin
ThatPlutusTx.These
TherePlutarch.DataRepr.Internal.HList.Utils, Plutarch.DataRepr.Internal.HList
These 
1 (Type/Class)PlutusTx.These
2 (Data Constructor)PlutusTx.These
thesePlutusTx.These
theseWithDefaultPlutusTx.These
theTextPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
theUniquePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
ThisPlutusTx.These
throughPlutusPrelude
throwPlutusPrelude
ThrowableBuiltinsPlutusCore.Pretty, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
throwBuiltinErrorWithCausePlutusCore.Evaluation.ErrorWithCause, PlutusCore.Builtin
throwingPlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
throwingEitherPlutusCore.Error
throwingWithCausePlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception
throwingWithCause_PlutusCore.Evaluation.ErrorWithCause
throwing_PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
throwNotAConstantPlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin
ThrowOnBothEmptyPlutusCore.Builtin, PlutusCore.Builtin.Debug
throwUnderTypeErrorPlutusCore.Builtin
timesAPlutusPrelude
titlePlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
to 
1 (Function)PlutusCore.Check.Scoping
2 (Function)PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ToBindsPlutusCore.Builtin, PlutusCore.Builtin
ToBuiltinPlutusTx.Builtins.HasBuiltin
toBuiltinPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.Builtins.HasBuiltin, PlutusTx.Builtins, PlutusTx.Prelude
toBuiltinDataPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx
toBuiltinListPlutusTx.Data.AssocMap
ToBuiltinMeaningPlutusCore.Builtin, PlutusCore.Builtin.Debug
toBuiltinMeaningPlutusCore.Builtin, PlutusCore.Builtin.Debug
toBuiltinRuntimePlutusCore.Builtin, PlutusCore.Builtin.Debug
toBuiltinsRuntimePlutusCore.Builtin, PlutusCore.Builtin.Debug
toCostModelParamsPlutusLedgerApi.Common
ToDataPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx
toDataPlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx
toDigitsPlutusTx.Show
toEnumPlutusTx.Enum, PlutusTx.Prelude
toEnumBoolBadArgumentErrorPlutusTx.ErrorCodes
toEnumOrderingBadArgumentErrorPlutusTx.ErrorCodes
toEnumVoidBadArgumentErrorPlutusTx.ErrorCodes
toErrorBPlutusCore.Parser
toFakePlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn
toGHCPlutusLedgerApi.V3, PlutusLedgerApi.Data.V3, PlutusTx.Ratio
ToHolesPlutusCore.Builtin, PlutusCore.Builtin
TokenName 
1 (Type/Class)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
4 (Data Constructor)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
tokenName 
1 (Function)PlutusLedgerApi.V1.Value
2 (Function)PlutusLedgerApi.V1.Data.Value
ToKindPlutusCore.Builtin, PlutusCore.TypeCheck, PlutusCore
toList 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
3 (Function)PlutusTx.Data.AssocMap
4 (Function)PlutusTx.AssocMap
toMachineParametersPlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext
toMonoFPlutusCore.Builtin, PlutusCore.Builtin.Debug
toOpaquePlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.Builtins.HasOpaque, PlutusTx.Builtins, PlutusTx.Prelude
topPlutusTx.Lattice, PlutusTx.Prelude
toPatFuncKindPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
topFixityPlutusCore.Pretty
toPlutarchPlutarch.Internal.Lift, Plutarch.Prelude
toPlutarchReprPlutarch.Internal.Lift, Plutarch.Prelude
toPlutarchReprClosedPlutarch.Internal.Lift
toPlutarchUniPlutarch.Internal.Lift, Plutarch.Prelude
toPolyFPlutusCore.Builtin, PlutusCore.Builtin.Debug
topPrettyConfigReadablePlutusCore.Pretty
topRenderContextPlutusCore.Pretty
toPrettyConfigNamePlutusCore.Pretty
toPrintedNamePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
ToPTypePlutarch.Internal.TypeFamily
ToPType2Plutarch.Internal.TypeFamily
toPubKeyHashPlutusLedgerApi.V1.Address
ToScopedNamePlutusCore.Check.Scoping
toScopedNamePlutusCore.Check.Scoping
toScriptHashPlutusLedgerApi.V1.Address
toSimpleBuiltinCostModelPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
toSingKindPlutusCore.Builtin
toSrcSpanPlutusCore.Parser
toString 
1 (Function)PlutusLedgerApi.V1.Value
2 (Function)PlutusLedgerApi.V1.Data.Value
TotalCountIndexUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ToTheLeftPlutusCore.Pretty
ToTheRightPlutusCore.Pretty
toTypeAstPlutusCore.Builtin
TracePlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
trace 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Builtins.Internal
3 (Function)PlutusTx.Builtins, PlutusTx.Trace, PlutusTx.Prelude
Trace'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
Trace'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
traceAllPlutusTx.Builtins.Internal
traceBoolPlutusTx.Trace, PlutusTx.Prelude
traceErrorPlutusTx.Trace, PlutusTx.Prelude
traceIfFalsePlutusTx.Trace, PlutusTx.Prelude
traceIfTruePlutusTx.Trace, PlutusTx.Prelude
traceShowIdPlutusPrelude
TracingPlutarch.Internal.Term
TracingModePlutarch.Internal.Term
tracingModePlutarch.Internal.Term
TrackCostsPlutusCore.Examples.Builtins
trailingWhitespacePlutusCore.Parser
transferArgStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal
TraversablePlutusTx.Traversable, PlutusTx.Prelude
traversePlutusTx.Traversable, PlutusTx.Prelude
traverse_ 
1 (Function)PlutusPrelude
2 (Function)PlutusTx.Foldable, PlutusTx.Prelude
TreasuryWithdrawals 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
treeDataPlutusCore.Examples.Data.TreeForest
treeFolderContentsPlutusCore.FsTree
treeNodePlutusCore.Examples.Data.TreeForest
Triplet 
1 (Type/Class)Plutarch.Test.SpecTypes
2 (Data Constructor)Plutarch.Test.SpecTypes
TruePlutusTx.Bool, PlutusTx.Prelude
true 
1 (Function)PlutusCore.StdLib.Data.Bool
2 (Function)PlutusTx.Builtins.Internal
truncatePlutusTx.Ratio
tryErrorPlutusPrelude
tryUniApplyUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug
Tuple 
1 (Type/Class)PlutusCore.StdLib.Meta.Data.Tuple
2 (Data Constructor)PlutusCore.StdLib.Meta.Data.Tuple
tupleDefAtPlutusCore.StdLib.Meta.Data.Tuple
tupleTermAtPlutusCore.StdLib.Meta.Data.Tuple
tupleTypeTermAtPlutusCore.StdLib.Meta.Data.Tuple
tvTermPlutusCore.Subst
tvTyPlutusCore.Subst
TwoVariableLinearFunction 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
3 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
4 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableLinearFunctionInterceptPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableLinearFunctionSlope1PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableLinearFunctionSlope2PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
TwoVariableQuadraticFunction 
1 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
2 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
3 (Type/Class)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
4 (Data Constructor)PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC00PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC01PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC02PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC10PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC11PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionC20PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
twoVariableQuadraticFunctionMinimumPlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel
TxCert 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertAuthHotCommittee 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertDelegStaking 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertPoolRegister 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertPoolRetire 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertRegDeleg 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertRegDRep 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertRegStaking 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertResignColdCommittee 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertUnRegDRep 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertUnRegStaking 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxCertUpdateDRep 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxId 
1 (Type/Class)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
5 (Type/Class)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
6 (Data Constructor)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
TxInfo 
1 (Type/Class)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
3 (Type/Class)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
5 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
6 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
7 (Type/Class)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
8 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
9 (Type/Class)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
10 (Data Constructor)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
11 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
12 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoCurrentTreasuryAmount 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoData 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoDCert 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
4 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
txInfoFee 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoId 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoInputs 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoMint 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoOutputs 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoProposalProcedures 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoRedeemers 
1 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
4 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoReferenceInputs 
1 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
2 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
4 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoSignatories 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoTreasuryDonation 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoTxCerts 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoValidRange 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoVotes 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInfoWdrl 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxInInfo 
1 (Type/Class)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
3 (Type/Class)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
5 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
6 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
7 (Type/Class)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
8 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
9 (Type/Class)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
10 (Data Constructor)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
11 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
12 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInInfoOutRef 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
txInInfoResolved 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
TxOut 
1 (Type/Class)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
3 (Type/Class)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
4 (Data Constructor)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
5 (Type/Class)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
6 (Data Constructor)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
7 (Type/Class)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
8 (Data Constructor)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txOutAddress 
1 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
4 (Function)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txOutDatum 
1 (Function)PlutusLedgerApi.V1.Tx
2 (Function)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V1.Data.Tx
4 (Function)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txOutDatumHash 
1 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
txOutPubKey 
1 (Function)PlutusLedgerApi.V1.Tx
2 (Function)PlutusLedgerApi.V2.Tx
3 (Function)PlutusLedgerApi.V1.Data.Tx
4 (Function)PlutusLedgerApi.V2.Data.Tx
TxOutRef 
1 (Type/Class)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
2 (Data Constructor)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
3 (Type/Class)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
5 (Type/Class)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
6 (Data Constructor)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
txOutReferenceScript 
1 (Function)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txOutRefId 
1 (Function)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
txOutRefIdx 
1 (Function)PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
2 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
txOutValue 
1 (Function)PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
4 (Function)PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
txSignedBy 
1 (Function)PlutusLedgerApi.V1.Contexts
2 (Function)PlutusLedgerApi.V2.Contexts
3 (Function)PlutusLedgerApi.V3.Contexts
4 (Function)PlutusLedgerApi.V1.Data.Contexts
5 (Function)PlutusLedgerApi.V2.Data.Contexts
6 (Function)PlutusLedgerApi.V3.Data.Contexts
TyAbsPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyAbsPlutusCore.MkPlc
TyAppPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
TyAppRepPlutusCore.Builtin, PlutusCore.Builtin.Debug
TyBuiltinPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
TyDeBruijn 
1 (Type/Class)PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore
2 (Data Constructor)PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore
TyDecl 
1 (Type/Class)PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
tyDeclAnnPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyDeclKindPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyDeclTypePlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyDeclVarPlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
TyForallPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
TyForallRepPlutusCore.Builtin, PlutusCore.Builtin.Debug
TyFunPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
TyIFixPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
TyInstPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyInstPlutusCore.MkPlc
TyLamPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
TyName 
1 (Type/Class)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
2 (Data Constructor)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
tyNamePlutusCore.Parser
TyNameMismatchPlutusCore.Error
TyNameRep 
1 (Type/Class)PlutusCore.Builtin, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusCore.Builtin, PlutusCore.Builtin.Debug
tyNameToDeBruijnPlutusCore.DeBruijn.Internal
Type 
1 (Type/Class)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
Typeable 
1 (Type/Class)PlutusPrelude, PlutusCore.Builtin
2 (Type/Class)PlutusTx.Lift.Class, PlutusTx
typeAnnPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
typeAstPlutusCore.Builtin
TypecheckablePlutusCore.TypeCheck, PlutusCore
typeCheckAgainstPlutusTx.Lift
TypeCheckConfig 
1 (Type/Class)PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
2 (Data Constructor)PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore
typeCheckConfigPlutusCore.TypeCheck.Internal
TypeCheckEnv 
1 (Type/Class)PlutusCore.TypeCheck.Internal
2 (Data Constructor)PlutusCore.TypeCheck.Internal
TypeCheckTPlutusCore.TypeCheck.Internal
typeCodePlutusTx.Lift
TypeDefPlutusCore.MkPlc
TypeError 
1 (Data Constructor)Plutarch.Internal.Lift
2 (Type/Class)PlutusCore.Error, PlutusCore
TypeErrorEPlutusCore.Error, PlutusCore
TypeHolePlutusCore.Builtin
typeLetPlutusCore.MkPlc
typeMapNamesPlutusCore.Subst, PlutusCore
TypeMismatchPlutusCore.Error
TypeNamePlutusCore.Check.Scoping
typeNamePlutarch.Test.Utils
typeName'Plutarch.Test.Utils
typeOfBuiltinFunctionPlutusCore.Builtin, PlutusCore.Builtin.Debug
TypeParamPlutusCore.Arity
TypeRenamingPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
typeRepPlutusTx.Lift.Class
TypeSchemePlutusCore.Builtin
TypeSchemeAllPlutusCore.Builtin
typeSchemeArityPlutusCore.Arity
TypeSchemeArrowPlutusCore.Builtin
TypeSchemeResultPlutusCore.Builtin
typeSchemeToTypePlutusCore.Builtin
TypeScopePlutusCore.Analysis.Definitions
typeSizePlutusCore.Size, PlutusCore
typeSubkindsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
typeSubstClosedTypePlutusCore.Subst
typeSubstTyNamesPlutusCore.Subst
typeSubstTyNamesMPlutusCore.Subst
typeSubtypesPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
typeSubtypesDeepPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
typeTyBindsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
typeTyVarsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
TypeUnique 
1 (Type/Class)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
2 (Data Constructor)PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
typeUniquesPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
typeUniquesDeepPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
TySOPPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
TyVarPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
TyVarDecl 
1 (Type/Class)PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
tyVarDeclAnnPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyVarDeclKindPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyVarDeclNamePlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
tyVarDeclSizePlutusCore.Size
tyVarDeclSubkindsPlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
TyVarKindsPlutusCore.TypeCheck.Internal
TyVarRepPlutusCore.Builtin, PlutusCore.Builtin.Debug
tzipUntypedPlutusCore.Core.Zip
tzipWithUntypedPlutusCore.Core.Zip