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 |
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 |