Index - T
| tabulateArray | PlutusPrelude |
| TailList | PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore |
| tallying | UntypedPlutusCore.Evaluation.Machine.Cek |
| TallyingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek |
| tccBuiltinTypes | PlutusCore , PlutusIR.TypeCheck |
| Term | |
| 1 (Type/Class) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Type/Class) | UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Type/Class) | PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| term | UntypedPlutusCore.Parser |
| termAnn | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Type , PlutusIR.Core |
| TermBind | PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| TermBinding | PlutusIR.Compiler |
| termBindings | PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR |
| termBinds | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core , UntypedPlutusCore |
| TermDef | PlutusCore.MkPlc , PlutusIR.MkPir |
| TermDefWithStrictness | PlutusIR.Compiler.Definitions |
| TermF | |
| 1 (Type/Class) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Type/Class) | UntypedPlutusCore.Core , UntypedPlutusCore |
| termLet | PlutusCore.MkPlc , PlutusIR.MkPir |
| TermLike | PlutusCore.MkPlc , PlutusIR.MkPir |
| termMapNames | UntypedPlutusCore |
| TermName | PlutusCore.Check.Scoping |
| termRetentionMap | PlutusIR.Analysis.RetainedSize |
| termSize | |
| 1 (Function) | PlutusCore |
| 2 (Function) | UntypedPlutusCore |
| termSubkinds | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug |
| 2 (Function) | PlutusIR.Core.Plated , PlutusIR.Core |
| termSubstFreeNames | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstFreeNamesA | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstNames | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | PlutusIR.Transform.Substitute |
| 3 (Function) | UntypedPlutusCore |
| termSubstNamesM | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | UntypedPlutusCore |
| termSubstTyNames | |
| 1 (Function) | PlutusCore.Subst |
| 2 (Function) | PlutusIR.Transform.Substitute |
| termSubstTyNamesM | PlutusCore.Subst |
| termSubterms | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Core , UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR |
| termSubtermsDeep | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core , UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Plated , PlutusIR.Core |
| termSubtypes | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Function) | PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR |
| termSubtypesDeep | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug |
| 2 (Function) | PlutusIR.Core.Plated , PlutusIR.Core |
| termTagWidth | UntypedPlutusCore.Core , UntypedPlutusCore |
| termTyBinds | PlutusCore.Core , PlutusCore.Builtin.Debug |
| TermUnique | |
| 1 (Type/Class) | PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore |
| termUniques | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core , UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Plated , PlutusIR.Core |
| termUniquesDeep | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core , UntypedPlutusCore |
| 3 (Function) | PlutusIR.Core.Plated , PlutusIR.Core |
| termVars | |
| 1 (Function) | PlutusCore.Core , PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core , UntypedPlutusCore |
| TestTypesFromTheUniverseAreAllKnown | PlutusCore.Builtin |
| theUnique | PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore |
| through | PlutusPrelude |
| throw | PlutusPrelude |
| throwingEither | PlutusCore.Error |
| throwingWithCause | PlutusCore.Evaluation.Machine.Exception |
| throwing_ | PlutusCore.Evaluation.Machine.Exception |
| throwKnownTypeErrorWithCause | PlutusCore.Builtin |
| throwNotAConstant | PlutusCore.Builtin |
| thunkRecursions | PlutusIR.Transform.ThunkRecursions |
| to | PlutusCore.Check.Scoping |
| ToBinds | PlutusCore.Builtin , PlutusCore.Builtin |
| ToBuiltinMeaning | PlutusCore.Builtin |
| toBuiltinMeaning | PlutusCore.Builtin |
| toBuiltinRuntime | PlutusCore.Builtin |
| toBuiltinsRuntime | PlutusCore.Builtin |
| ToCostingType | PlutusCore.Builtin |
| toDefaultCompilationCtx | PlutusIR.Compiler |
| toDeferredF | PlutusCore.Builtin |
| toFake | PlutusCore.DeBruijn |
| ToHoles | PlutusCore.Builtin , PlutusCore.Builtin |
| toImmediateF | PlutusCore.Builtin |
| ToKind | PlutusCore.Builtin , PlutusCore |
| toList | PlutusPrelude |
| topPrettyConfigReadable | PlutusCore.Pretty |
| toPrettyConfigName | PlutusCore.Pretty |
| topSourcePos | PlutusCore |
| ToRuntimeDenotationType | PlutusCore.Builtin |
| ToScopedName | PlutusCore.Check.Scoping |
| toScopedName | PlutusCore.Check.Scoping |
| toSingKind | PlutusCore.Builtin |
| toTypeAst | PlutusCore.Builtin |
| Trace | PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore |
| trace | PlutusPrelude |
| traceShowId | PlutusPrelude |
| treeData | PlutusCore.Examples.Data.TreeForest |
| treeFolderContents | PlutusCore.FsTree |
| treeNode | PlutusCore.Examples.Data.TreeForest |
| true | PlutusCore.StdLib.Data.Bool |
| 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 |
| TyAbs | |
| 1 (Data Constructor) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| tyAbs | PlutusCore.MkPlc , PlutusIR.MkPir |
| TyAbsF | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TyApp | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| TyAppF | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TyAppRep | PlutusCore.Builtin , PlutusCore.Builtin.Debug |
| TyBuiltin | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| TyBuiltinF | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TyDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn |
| 2 (Data Constructor) | PlutusCore.DeBruijn |
| TyDecl | |
| 1 (Type/Class) | PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.MkPir |
| 2 (Data Constructor) | PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.MkPir |
| 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, PlutusIR.MkPir |
| TyForall | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| TyForallF | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TyForallRep | PlutusCore.Builtin , PlutusCore.Builtin.Debug |
| TyFun | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| TyFunF | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TyIFix | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| TyIFixF | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TyInst | |
| 1 (Data Constructor) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| tyInst | PlutusCore.MkPlc , PlutusIR.MkPir |
| TyInstF | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TyLam | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| TyLamF | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TyName | |
| 1 (Type/Class) | PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore |
| TyNameRep | |
| 1 (Type/Class) | PlutusCore.Builtin , PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin , PlutusCore.Builtin.Debug |
| Type | |
| 1 (Type/Class) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| 2 (Data Constructor) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| Typeable | PlutusPrelude |
| typeAnn | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TypeBind | PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| TypeBinding | PlutusIR.Compiler |
| Typecheckable | PlutusCore |
| TypeCheckConfig | |
| 1 (Type/Class) | PlutusCore |
| 2 (Data Constructor) | PlutusCore |
| typecheckPipeline | PlutusCore |
| TypeDef | PlutusCore.MkPlc , PlutusIR.MkPir |
| TypeError | PlutusCore.Error , PlutusCore , PlutusIR.Error |
| TypeErrorE | PlutusCore.Error , PlutusCore |
| TypeErrorExt | PlutusIR.Error |
| TypeF | |
| 1 (Type/Class) | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusCore.Core , PlutusCore.Builtin.Debug |
| TypeHole | PlutusCore.Builtin |
| typeLet | PlutusCore.MkPlc , PlutusIR.MkPir |
| TypeMismatch | PlutusCore.Error |
| TypeName | PlutusCore.Check.Scoping |
| typeOfBuiltinFunction | PlutusCore.Builtin |
| TypeRenaming | PlutusCore.Rename.Monad , PlutusCore.Rename.Internal |
| TypeScheme | PlutusCore.Builtin |
| TypeSchemeAll | PlutusCore.Builtin |
| TypeSchemeArrow | PlutusCore.Builtin |
| TypeSchemeResult | PlutusCore.Builtin |
| typeSchemeToType | PlutusCore.Builtin |
| typeSize | PlutusCore |
| typeSubkinds | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusIR.Core.Plated , PlutusIR.Core |
| typeSubstTyNames | PlutusCore.Subst , PlutusIR.Transform.Substitute |
| typeSubstTyNamesM | PlutusCore.Subst |
| typeSubtypes | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR |
| typeSubtypesDeep | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusIR.Core.Plated , PlutusIR.Core |
| typeTyBinds | PlutusCore.Core , PlutusCore.Builtin.Debug |
| typeTyVars | PlutusCore.Core , PlutusCore.Builtin.Debug |
| TypeUnique | |
| 1 (Type/Class) | PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore |
| typeUniques | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusIR.Core.Plated , PlutusIR.Core |
| typeUniquesDeep | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusIR.Core.Plated , PlutusIR.Core |
| TyVar | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| TyVarDecl | |
| 1 (Type/Class) | PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir |
| 2 (Data Constructor) | PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir |
| tyVarDeclAnn | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclKind | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclName | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclNameString | PlutusIR.Core.Type , PlutusIR.Core, PlutusIR |
| tyVarDeclSubkinds | PlutusCore.Core , PlutusCore.Builtin.Debug |
| TyVarF | PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore |
| TyVarRep | PlutusCore.Builtin , PlutusCore.Builtin.Debug |