| tabulateArray | PlutusPrelude |
| TailList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| tallying | UntypedPlutusCore.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 |
| tccBuiltinTypes | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| tccKindCheckConfig | PlutusCore.TypeCheck.Internal |
| tceTypeCheckConfig | PlutusCore.TypeCheck.Internal |
| tceTyVarKinds | PlutusCore.TypeCheck.Internal |
| tceVarTypes | PlutusCore.TypeCheck.Internal |
| Term | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Type/Class) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| term | UntypedPlutusCore.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 |
| TermDef | PlutusCore.MkPlc |
| termDefs | PlutusCore.Analysis.Definitions |
| termEvaluationOrder | UntypedPlutusCore.Purity |
| Terminating | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| termLet | PlutusCore.MkPlc |
| TermLike | PlutusCore.MkPlc |
| termMapNames | |
| 1 (Function) | PlutusCore.Subst, PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| TermName | PlutusCore.Check.Scoping |
| TermParam | PlutusCore.Arity |
| TermScope | PlutusCore.Analysis.Definitions |
| termSize | |
| 1 (Function) | PlutusCore.Size, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Size, UntypedPlutusCore |
| termSubkinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| termSubstClosedTerm | PlutusCore.Subst |
| termSubstClosedType | PlutusCore.Subst |
| termSubstNames | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstNamesM | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstTyNames | PlutusCore.Subst |
| termSubstTyNamesM | PlutusCore.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 |
| termSubtypes | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| termSubtypesDeep | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| termTagWidth | UntypedPlutusCore.Core, UntypedPlutusCore |
| termTyBinds | PlutusCore.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 |
| TestTypesFromTheUniverseAreAllKnown | PlutusCore.Builtin |
| theText | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| theUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| through | PlutusPrelude |
| throw | PlutusPrelude |
| ThrowableBuiltins | PlutusCore.Pretty, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| throwBuiltinErrorWithCause | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Builtin |
| throwing | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| throwingEither | PlutusCore.Error |
| throwingWithCause | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception |
| throwingWithCause_ | PlutusCore.Evaluation.ErrorWithCause |
| throwing_ | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| throwNotAConstant | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
| ThrowOnBothEmpty | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| throwUnderTypeError | PlutusCore.Builtin |
| timesA | PlutusPrelude |
| to | PlutusCore.Check.Scoping |
| ToBinds | PlutusCore.Builtin, PlutusCore.Builtin |
| ToBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinMeaning | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinRuntime | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinsRuntime | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toErrorB | PlutusCore.Parser |
| toFake | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
| ToHoles | PlutusCore.Builtin, PlutusCore.Builtin |
| ToKind | PlutusCore.Builtin, PlutusCore.TypeCheck, PlutusCore |
| toList | PlutusPrelude |
| toMonoF | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toPatFuncKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| topFixity | PlutusCore.Pretty |
| toPolyF | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| topPrettyConfigReadable | PlutusCore.Pretty |
| topRenderContext | PlutusCore.Pretty |
| toPrettyConfigName | PlutusCore.Pretty |
| toPrintedName | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| ToScopedName | PlutusCore.Check.Scoping |
| toScopedName | PlutusCore.Check.Scoping |
| toSimpleBuiltinCostModel | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
| toSingKind | PlutusCore.Builtin |
| toSrcSpan | PlutusCore.Parser |
| TotalCountIndex | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| ToTheLeft | PlutusCore.Pretty |
| ToTheRight | PlutusCore.Pretty |
| toTypeAst | PlutusCore.Builtin |
| Trace | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| trace | PlutusPrelude |
| traceShowId | PlutusPrelude |
| TrackCosts | PlutusCore.Examples.Builtins |
| trailingWhitespace | PlutusCore.Parser |
| transferArgStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
| traverse_ | PlutusPrelude |
| treeData | PlutusCore.Examples.Data.TreeForest |
| treeFolderContents | PlutusCore.FsTree |
| treeNode | PlutusCore.Examples.Data.TreeForest |
| true | PlutusCore.StdLib.Data.Bool |
| tryError | PlutusPrelude |
| tryUniApply | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| Tuple | |
| 1 (Type/Class) | PlutusCore.StdLib.Meta.Data.Tuple |
| 2 (Data Constructor) | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleDefAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tupleTypeTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
| tvTerm | PlutusCore.Subst |
| tvTy | PlutusCore.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 |
| twoVariableLinearFunctionIntercept | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableLinearFunctionSlope1 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableLinearFunctionSlope2 | PlutusCore.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 |
| twoVariableQuadraticFunctionC00 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC01 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC02 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC10 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC11 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionC20 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableQuadraticFunctionMinimum | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| TyAbs | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyAbs | PlutusCore.MkPlc |
| TyApp | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyAppRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyBuiltin | PlutusCore.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 |
| tyDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclType | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclVar | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| TyForall | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyForallRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyFun | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyIFix | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyInst | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyInst | PlutusCore.MkPlc |
| TyLam | PlutusCore.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 |
| tyName | PlutusCore.Parser |
| TyNameMismatch | PlutusCore.Error |
| TyNameRep | |
| 1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| tyNameToDeBruijn | PlutusCore.DeBruijn.Internal |
| Type | |
| 1 (Type/Class) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| Typeable | PlutusPrelude, PlutusCore.Builtin |
| typeAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| typeAst | PlutusCore.Builtin |
| Typecheckable | PlutusCore.TypeCheck, PlutusCore |
| TypeCheckConfig | |
| 1 (Type/Class) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| 2 (Data Constructor) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| typeCheckConfig | PlutusCore.TypeCheck.Internal |
| TypeCheckEnv | |
| 1 (Type/Class) | PlutusCore.TypeCheck.Internal |
| 2 (Data Constructor) | PlutusCore.TypeCheck.Internal |
| TypeCheckT | PlutusCore.TypeCheck.Internal |
| TypeDef | PlutusCore.MkPlc |
| TypeError | PlutusCore.Error, PlutusCore |
| TypeErrorE | PlutusCore.Error, PlutusCore |
| TypeHole | PlutusCore.Builtin |
| typeLet | PlutusCore.MkPlc |
| typeMapNames | PlutusCore.Subst, PlutusCore |
| TypeMismatch | PlutusCore.Error |
| TypeName | PlutusCore.Check.Scoping |
| typeOfBuiltinFunction | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TypeParam | PlutusCore.Arity |
| TypeRenaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| TypeScheme | PlutusCore.Builtin |
| TypeSchemeAll | PlutusCore.Builtin |
| typeSchemeArity | PlutusCore.Arity |
| TypeSchemeArrow | PlutusCore.Builtin |
| TypeSchemeResult | PlutusCore.Builtin |
| typeSchemeToType | PlutusCore.Builtin |
| TypeScope | PlutusCore.Analysis.Definitions |
| typeSize | PlutusCore.Size, PlutusCore |
| typeSubkinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeSubstClosedType | PlutusCore.Subst |
| typeSubstTyNames | PlutusCore.Subst |
| typeSubstTyNamesM | PlutusCore.Subst |
| typeSubtypes | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| typeSubtypesDeep | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeTyBinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeTyVars | PlutusCore.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 |
| typeUniques | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeUniquesDeep | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| TySOP | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyVar | PlutusCore.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 |
| tyVarDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclName | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclSize | PlutusCore.Size |
| tyVarDeclSubkinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| TyVarKinds | PlutusCore.TypeCheck.Internal |
| TyVarRep | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| tzip | UntypedPlutusCore.Core.Zip |
| tzipWith | UntypedPlutusCore.Core.Zip |