plutus-core-1.36.0.0: Language library for Plutus Core

Index - T

tabulateArrayPlutusPrelude
TailListPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
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
Term 
1 (Type/Class)PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
2 (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
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
TermNamePlutusCore.Check.Scoping
TermParamPlutusCore.Arity
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
TestTypesFromTheUniverseAreAllKnownPlutusCore.Builtin
theTextPlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
theUniquePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
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
toPlutusCore.Check.Scoping
ToBindsPlutusCore.Builtin, PlutusCore.Builtin
ToBuiltinMeaningPlutusCore.Builtin, PlutusCore.Builtin.Debug
toBuiltinMeaningPlutusCore.Builtin, PlutusCore.Builtin.Debug
toBuiltinRuntimePlutusCore.Builtin, PlutusCore.Builtin.Debug
toBuiltinsRuntimePlutusCore.Builtin, PlutusCore.Builtin.Debug
toErrorBPlutusCore.Parser
toFakePlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn
ToHolesPlutusCore.Builtin, PlutusCore.Builtin
ToKindPlutusCore.Builtin, PlutusCore.TypeCheck, PlutusCore
toListPlutusPrelude
toMonoFPlutusCore.Builtin, PlutusCore.Builtin.Debug
toPatFuncKindPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
topFixityPlutusCore.Pretty
toPolyFPlutusCore.Builtin, PlutusCore.Builtin.Debug
topPrettyConfigReadablePlutusCore.Pretty
topRenderContextPlutusCore.Pretty
toPrettyConfigNamePlutusCore.Pretty
toPrintedNamePlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore
ToScopedNamePlutusCore.Check.Scoping
toScopedNamePlutusCore.Check.Scoping
toSimpleBuiltinCostModelPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
toSingKindPlutusCore.Builtin
toSrcSpanPlutusCore.Parser
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
tracePlutusPrelude
traceShowIdPlutusPrelude
TrackCostsPlutusCore.Examples.Builtins
trailingWhitespacePlutusCore.Parser
transferArgStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal
traverse_PlutusPrelude
treeDataPlutusCore.Examples.Data.TreeForest
treeFolderContentsPlutusCore.FsTree
treeNodePlutusCore.Examples.Data.TreeForest
truePlutusCore.StdLib.Data.Bool
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
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
TypeablePlutusPrelude, PlutusCore.Builtin
typeAnnPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
typeAstPlutusCore.Builtin
TypecheckablePlutusCore.TypeCheck, PlutusCore
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
TypeDefPlutusCore.MkPlc
TypeErrorPlutusCore.Error, PlutusCore
TypeErrorEPlutusCore.Error, PlutusCore
TypeHolePlutusCore.Builtin
typeLetPlutusCore.MkPlc
typeMapNamesPlutusCore.Subst, PlutusCore
TypeMismatchPlutusCore.Error
TypeNamePlutusCore.Check.Scoping
typeOfBuiltinFunctionPlutusCore.Builtin, PlutusCore.Builtin.Debug
TypeParamPlutusCore.Arity
TypeRenamingPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
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