| T | Transform.Inline.Spec |
| tabulateArray | PlutusPrelude |
| Tag | MAlonzo.Code.RawU |
| TagArray | MAlonzo.Code.RawU |
| TagBLS12_381_G1_Element | MAlonzo.Code.RawU |
| TagBLS12_381_G2_Element | MAlonzo.Code.RawU |
| TagBLS12_381_MlResult | MAlonzo.Code.RawU |
| TagBool | MAlonzo.Code.RawU |
| TagBS | MAlonzo.Code.RawU |
| TagCon | |
| 1 (Type/Class) | MAlonzo.Code.RawU |
| 2 (Data Constructor) | MAlonzo.Code.RawU |
| TagData | MAlonzo.Code.RawU |
| Tagged | |
| 1 (Type/Class) | Prettyprinter.Extras |
| 2 (Data Constructor) | Prettyprinter.Extras |
| TagInt | MAlonzo.Code.RawU |
| TagList | MAlonzo.Code.RawU |
| TagPair | MAlonzo.Code.RawU |
| TagStr | MAlonzo.Code.RawU |
| TagUnit | MAlonzo.Code.RawU |
| tagWithParamNames | PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V1 |
| tail | |
| 1 (Function) | PlutusTx.Builtins.Internal, PlutusTx.Builtins |
| 2 (Function) | PlutusTx.List |
| 3 (Function) | PlutusTx.Data.List |
| 4 (Function) | PlutusTx.BuiltinList |
| 5 (Function) | Data.RandomAccessList.Class |
| tailEmptyBuiltinListError | PlutusTx.ErrorCodes |
| tailEmptyListError | PlutusTx.ErrorCodes |
| TailList | PlutusCore.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 |
| take | |
| 1 (Function) | PlutusTx.List |
| 2 (Function) | PlutusTx.Data.List |
| 3 (Function) | PlutusTx.BuiltinList |
| takeAllBits | PlutusCore.Flat.Bits |
| takeBits | PlutusCore.Flat.Bits |
| takeByteString | PlutusTx.Prelude |
| Tallying | FFI.Opts |
| tallying | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| tallyingbudget | FFI.Opts |
| TallyingSt | |
| 1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| 2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| tccBuiltinTypes | PlutusIR.TypeCheck.Internal, PlutusIR.TypeCheck, PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| tccKindCheckConfig | PlutusCore.TypeCheck.Internal |
| TCEK | FFI.Opts |
| tceTypeCheckConfig | PlutusCore.TypeCheck.Internal |
| tceTyVarKinds | PlutusCore.TypeCheck.Internal |
| tceVarTypes | PlutusCore.TypeCheck.Internal |
| TCK | FFI.Opts |
| TCOpts | FFI.Opts |
| Term | |
| 1 (Type/Class) | PlutusTx.Test.Run.Uplc, PlutusTx.Test |
| 2 (Type/Class) | PlutusTx.Test.Util.Compiled |
| 3 (Type/Class) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| 4 (Type/Class) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 5 (Type/Class) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| term | UntypedPlutusCore.Parser |
| termAnn | |
| 1 (Function) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 2 (Function) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 3 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
| TermAppContext | PlutusIR.Contexts |
| termAstSize | |
| 1 (Function) | PlutusIR.AstSize |
| 2 (Function) | PlutusCore.AstSize, PlutusCore |
| 3 (Function) | UntypedPlutusCore.AstSize, UntypedPlutusCore |
| TermBind | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TermBinding | PlutusIR.Compiler.Provenance, PlutusIR.Compiler |
| termBindings | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| termBinds | |
| 1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| TermConstantG | PlutusCore.Generators.NEAT.Term |
| termConstants | |
| 1 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 3 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termConstantsDeep | |
| 1 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 3 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| TermDef | |
| 1 (Type/Class) | PlutusIR.Compiler.Types |
| 2 (Type/Class) | PlutusIR.MkPir, PlutusCore.MkPlc |
| termDefs | |
| 1 (Function) | PlutusIR.Analysis.Definitions |
| 2 (Function) | PlutusCore.Analysis.Definitions |
| 3 (Function) | UntypedPlutusCore.Analysis.Definitions |
| TermDefWithStrictness | PlutusIR.Compiler.Definitions |
| TermEnv | |
| 1 (Type/Class) | UntypedPlutusCore.Transform.Inline |
| 2 (Data Constructor) | UntypedPlutusCore.Transform.Inline |
| termEvaluationOrder | |
| 1 (Function) | PlutusIR.Purity |
| 2 (Function) | UntypedPlutusCore.Purity |
| TermG | PlutusCore.Generators.NEAT.Term |
| TermGen | PlutusCore.Generators.Hedgehog.Interesting |
| termIfThenElse | Analysis.Lib |
| Terminating | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| termIsSerializable | PlutusIR.Analysis.Builtins |
| termLet | PlutusIR.MkPir, PlutusCore.MkPlc |
| TermLike | PlutusIR.MkPir, PlutusCore.MkPlc |
| termMapNames | |
| 1 (Function) | PlutusCore.Subst, PlutusCore |
| 2 (Function) | UntypedPlutusCore.Subst, UntypedPlutusCore |
| TermName | PlutusCore.Check.Scoping |
| TermOf | |
| 1 (Type/Class) | PlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog.Interesting, PlutusCore.Generators.Hedgehog |
| 2 (Data Constructor) | PlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog.Interesting, PlutusCore.Generators.Hedgehog |
| TermParam | PlutusCore.Arity |
| termRetentionMap | PlutusIR.Analysis.RetainedSize |
| TermScope | PlutusCore.Analysis.Definitions |
| termSimplifier | UntypedPlutusCore.Simplify, UntypedPlutusCore |
| termSubkinds | |
| 1 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| TermSubst | |
| 1 (Type/Class) | PlutusIR.Transform.Inline.Utils |
| 2 (Data Constructor) | PlutusIR.Transform.Inline.Utils |
| termSubst | PlutusIR.Transform.Inline.Utils |
| termSubstClosedTerm | PlutusCore.Subst |
| termSubstClosedType | PlutusCore.Subst |
| termSubstConstants | |
| 1 (Function) | PlutusIR.Subst |
| 2 (Function) | PlutusCore.Subst |
| 3 (Function) | UntypedPlutusCore.Subst, UntypedPlutusCore |
| termSubstConstantsM | |
| 1 (Function) | PlutusIR.Subst |
| 2 (Function) | PlutusCore.Subst |
| 3 (Function) | UntypedPlutusCore.Subst, UntypedPlutusCore |
| termSubstNames | |
| 1 (Function) | PlutusIR.Subst |
| 2 (Function) | PlutusCore.Subst |
| 3 (Function) | UntypedPlutusCore.Subst, UntypedPlutusCore |
| termSubstNamesM | |
| 1 (Function) | PlutusIR.Subst |
| 2 (Function) | PlutusCore.Subst |
| 3 (Function) | UntypedPlutusCore.Subst, UntypedPlutusCore |
| termSubstTyNames | |
| 1 (Function) | PlutusIR.Subst |
| 2 (Function) | PlutusCore.Subst |
| termSubstTyNamesM | |
| 1 (Function) | PlutusIR.Subst |
| 2 (Function) | PlutusCore.Subst |
| termSubterms | |
| 1 (Function) | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 3 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termSubtermsDeep | |
| 1 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 3 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termSubtypes | |
| 1 (Function) | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| termSubtypesDeep | |
| 1 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| termTagWidth | UntypedPlutusCore.Core.Instance.Flat, UntypedPlutusCore.Core.Instance, 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) | PlutusIR.Core.Plated, PlutusIR.Core |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 3 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termUniquesDeep | |
| 1 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 3 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| termUsages | |
| 1 (Function) | PlutusIR.Analysis.Usages |
| 2 (Function) | UntypedPlutusCore.Analysis.Usages |
| termVar | Analysis.Lib |
| termVarInfo | PlutusIR.Analysis.VarInfo |
| termVarInfoMap | PlutusIR.Analysis.VarInfo |
| termVars | |
| 1 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
| 2 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| 3 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
| TestableAbelianGroup | Evaluation.Builtins.BLS12_381.TestClasses |
| testApplyNoTermParam | Analysis.Spec |
| testCaseOfCaseWithError | Transform.CaseOfCase.Spec |
| testCse | Transform.Simplify.Lib |
| testCseInputs | Transform.Simplify.Spec |
| testCseInputsWorkFree | Transform.Simplify.Spec |
| testEffectSafePreservedLogs | Transform.Inline.Spec |
| testEffectSafeWithoutPreservedLogs | Transform.Inline.Spec |
| testEvalOrderIsLazy | Analysis.Spec |
| TestFail | PlutusCore.Generators.NEAT.Spec |
| TestFailure | PlutusLedgerApi.Test.EvaluationEvent |
| testForceNoTypeParam | Analysis.Spec |
| TestNested | Test.Tasty.Extras, PlutusCore.Test |
| testNested | Test.Tasty.Extras, PlutusCore.Test |
| testNestedGhc | Test.Tasty.Extras, PlutusCore.Test |
| testNestedGhcM | Test.Tasty.Extras, PlutusCore.Test |
| TestNestedM | |
| 1 (Type/Class) | Test.Tasty.Extras, PlutusCore.Test |
| 2 (Data Constructor) | Test.Tasty.Extras, PlutusCore.Test |
| testNestedM | Test.Tasty.Extras, PlutusCore.Test |
| testNestedNamed | Test.Tasty.Extras, PlutusCore.Test |
| testNestedNamedM | Test.Tasty.Extras, PlutusCore.Test |
| testNoTypeNoTermArgsLeft | Analysis.Spec |
| testNoTypeSomeTermArgsLeft | Analysis.Spec |
| testParseErrorGolden | Generators.Spec |
| testPassProp | PlutusIR.Pass.Test |
| testPassProp' | PlutusIR.Pass.Test |
| tests | PlutusCore.Generators.NEAT.Spec |
| testSimplify | Transform.Simplify.Lib |
| testSimplifyInputs | Transform.Simplify.Spec |
| testSomeTypeSomeTermArgsLeft | Analysis.Spec |
| TestTypesFromTheUniverseAreAllKnown | PlutusCore.Builtin.TestKnown, PlutusCore.Builtin |
| testVarBeforeAfterEffects | Transform.Inline.Spec |
| testVarIsEventuallyEvaluatedCaseBranch | Transform.Inline.Spec |
| testVarIsEventuallyEvaluatedDelay | Transform.Inline.Spec |
| testVarIsEventuallyEvaluatedLambda | Transform.Inline.Spec |
| test_addCostStreamHandlesBottom | Evaluation.Builtins.Costing |
| test_addCostStreamIsAdd | Evaluation.Builtins.Costing |
| test_addCostStreamReasonableLength | Evaluation.Builtins.Costing |
| test_add_assoc | Evaluation.Builtins.BLS12_381 |
| test_add_commutative | Evaluation.Builtins.BLS12_381 |
| test_add_zero | Evaluation.Builtins.BLS12_381 |
| test_BLS12_381 | Evaluation.Builtins.BLS12_381 |
| test_budget | Evaluation.Machines |
| test_builtins | Evaluation.Builtins |
| test_caseOfCase | Transform.CaseOfCase.Spec |
| test_clear_compression_bit | Evaluation.Builtins.BLS12_381 |
| test_compression_bit_set | Evaluation.Builtins.BLS12_381 |
| test_compress_hash | Evaluation.Builtins.BLS12_381 |
| test_costing | Evaluation.Builtins.Costing |
| test_CostRoseListLengthsDistribution | Evaluation.Builtins.Costing |
| test_costsAreNeverNegative | Evaluation.Builtins.Costing |
| test_CostStreamDistribution | Evaluation.Builtins.Costing |
| test_debruijn | DeBruijn.Spec |
| test_debug | Evaluation.Debug |
| test_definition | Evaluation.Builtins.Definition |
| test_equalityBrokenRename | Scoping.Spec |
| test_equalityNoMarkRename | Scoping.Spec |
| test_equalityRename | Scoping.Spec |
| test_flat | Flat.Spec |
| test_flatNatWord | DeBruijn.FlatNatWord |
| test_flattenCostRoseHandlesBottom | Evaluation.Builtins.Costing |
| test_flattenCostRoseIsLinear | Evaluation.Builtins.Costing |
| test_flattenCostRoseIsLinearForSierpinskiRose | Evaluation.Builtins.Costing |
| test_flattenCostRoseSound | Evaluation.Builtins.Costing |
| test_flip_sign_bit | Evaluation.Builtins.BLS12_381 |
| test_freevars | Evaluation.FreeVars |
| test_fromCostListRoundtrip | Evaluation.Builtins.Costing |
| test_genCostRoseSound | Evaluation.Builtins.Costing |
| test_golden | Evaluation.Golden |
| test_inline | Transform.Inline.Spec |
| test_integer_div_mod_properties | Evaluation.Builtins.Integer.DivModProperties |
| test_integer_exp_mod_properties | Evaluation.Builtins.Integer.ExpModIntegerProperties |
| test_integer_order_properties | Evaluation.Builtins.Integer.OrderProperties |
| test_integer_quot_rem_properties | Evaluation.Builtins.Integer.QuotRemProperties |
| test_integer_ring_properties | Evaluation.Builtins.Integer.RingProperties |
| test_is_an_abelian_group | Evaluation.Builtins.BLS12_381 |
| test_machines | Evaluation.Machines |
| test_magnitudes | Evaluation.Builtins.Costing |
| test_makeRead | Evaluation.Builtins.MakeRead |
| test_mangle | Scoping.Spec |
| test_mapCostStreamHandlesBottom | Evaluation.Builtins.Costing |
| test_mapCostStreamIsMap | Evaluation.Builtins.Costing |
| test_mapCostStreamReasonableLength | Evaluation.Builtins.Costing |
| test_minCostStreamHandlesBottom | Evaluation.Builtins.Costing |
| test_minCostStreamIsMin | Evaluation.Builtins.Costing |
| test_minCostStreamReasonableLength | Evaluation.Builtins.Costing |
| test_multiScalarMul | Evaluation.Builtins.BLS12_381 |
| test_multiScalarMul_correct | Evaluation.Builtins.BLS12_381 |
| test_multiScalarMul_no_points | Evaluation.Builtins.BLS12_381 |
| test_multiScalarMul_no_scalars | Evaluation.Builtins.BLS12_381 |
| test_multiScalarMul_permutation | Evaluation.Builtins.BLS12_381 |
| test_names | Scoping.Spec |
| test_neg | Evaluation.Builtins.BLS12_381 |
| test_no_hash_collisions | Evaluation.Builtins.BLS12_381 |
| test_no_hash_collisions_dst | Evaluation.Builtins.BLS12_381 |
| test_NumberOfStepCounters | Evaluation.Machines |
| test_pairing_balanced | Evaluation.Builtins.BLS12_381 |
| test_pairing_left_additive | Evaluation.Builtins.BLS12_381 |
| test_pairing_right_additive | Evaluation.Builtins.BLS12_381 |
| test_parsing | Generators.Spec |
| test_random_pairing | Evaluation.Builtins.BLS12_381 |
| test_roundtrip_compression | Evaluation.Builtins.BLS12_381 |
| test_scalarMul_assoc | Evaluation.Builtins.BLS12_381 |
| test_scalarMul_distributive_left | Evaluation.Builtins.BLS12_381 |
| test_scalarMul_distributive_right | Evaluation.Builtins.BLS12_381 |
| test_scalarMul_inverse | Evaluation.Builtins.BLS12_381 |
| test_scalarMul_one | Evaluation.Builtins.BLS12_381 |
| test_scalarMul_periodic | Evaluation.Builtins.BLS12_381 |
| test_scalarMul_repeated_addition | Evaluation.Builtins.BLS12_381 |
| test_scalarMul_zero | Evaluation.Builtins.BLS12_381 |
| test_scope | DeBruijn.Scope |
| test_scopingBad | PlutusCore.Test |
| test_scopingGood | PlutusCore.Test |
| test_scopingSpoilRenamer | PlutusCore.Test |
| test_set_infinity_bit | Evaluation.Builtins.BLS12_381 |
| test_simplify | Transform.Simplify.Spec |
| test_sumCostStreamIsSum | Evaluation.Builtins.Costing |
| test_tallying | Evaluation.Machines |
| test_toCostListRoundtrip | Evaluation.Builtins.Costing |
| test_uncompression_wrong_size | Evaluation.Builtins.BLS12_381 |
| test_uncompress_out_of_group | Evaluation.Builtins.BLS12_381 |
| test_unconsCostRoundtrip | Evaluation.Builtins.Costing |
| test_undebruijnify | DeBruijn.UnDeBruijnify |
| test_zipCostStreamHandlesBottom | Evaluation.Builtins.Costing |
| test_zipCostStreamIsZip | Evaluation.Builtins.Costing |
| test_zipCostStreamReasonableLength | Evaluation.Builtins.Costing |
| test_Z_action_good | Evaluation.Builtins.BLS12_381 |
| Text | PlutusCore.Flat.Types, PlutusCore.Flat.Instances.Util |
| Textual | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| TextualPir | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| That | PlutusTx.These |
| These | |
| 1 (Type/Class) | PlutusTx.These |
| 2 (Data Constructor) | PlutusTx.These |
| these | PlutusTx.These |
| theseWithDefault | PlutusTx.These |
| theText | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| theUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| This | PlutusTx.These |
| thNameToGhcNameOrFail | PlutusTx.Plugin.Common |
| through | PlutusPrelude |
| throw | PlutusPrelude |
| ThrowableBuiltins | PlutusCore.Pretty.PrettyConst, PlutusCore.Pretty, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
| throwBuiltinErrorWithCause | PlutusCore.Evaluation.Machine.Exception |
| throwCtrex | PlutusCore.Generators.NEAT.Spec |
| throwErrorWithCause | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception |
| throwing | PlutusCore.Builtin.Result, PlutusCore.Builtin |
| throwingEither | PlutusCore.Error |
| throwing_ | PlutusCore.Builtin.Result, PlutusCore.Builtin |
| ThrowOnBothEmpty | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| throwPlain | PlutusTx.Compiler.Error |
| throwSd | PlutusTx.Compiler.Utils |
| thunkRecursions | PlutusIR.Transform.ThunkRecursions |
| thunkRecursionsPass | PlutusIR.Transform.ThunkRecursions |
| timesA | PlutusPrelude |
| Timing | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| TimingMode | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| title | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
| TL | FFI.Opts |
| TmBoolG | PlutusCore.Generators.NEAT.Term |
| TmByteStringG | PlutusCore.Generators.NEAT.Term |
| TmDataG | PlutusCore.Generators.NEAT.Term |
| TmIntegerG | PlutusCore.Generators.NEAT.Term |
| tmname | FFI.Untyped |
| tmnames | Raw |
| TmStringG | PlutusCore.Generators.NEAT.Term |
| TmUnitG | PlutusCore.Generators.NEAT.Term |
| to | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| 3 (Function) | PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| 4 (Function) | PlutusCore.Check.Scoping |
| to1 | PlutusCore.Flat.Class, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| toAnonDeBruijnProg | PlutusTx.Test.Util.Compiled |
| toAnonDeBruijnTerm | PlutusTx.Test.Util.Compiled |
| toBE16 | PlutusCore.Flat.Endian |
| toBE32 | PlutusCore.Flat.Endian |
| toBE64 | PlutusCore.Flat.Endian |
| ToBinds | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin |
| toBools | PlutusCore.Flat.Bits |
| ToBuiltin | PlutusTx.Builtins.HasBuiltin |
| toBuiltin | PlutusTx.Builtins.HasBuiltin, PlutusTx.Builtins, PlutusTx.Prelude, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| toBuiltinData | PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx.Prelude, PlutusTx, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| toBuiltinList | |
| 1 (Function) | PlutusTx.Data.List |
| 2 (Function) | PlutusTx.Data.AssocMap, PlutusLedgerApi.Data.V2 |
| ToBuiltinMeaning | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinMeaning | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinRuntime | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBuiltinsRuntime | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toBytes | PlutusCore.Pretty.PrettyConst |
| toByteString | PlutusCore.Flat.Data.ByteString.Convert |
| toCellCandidatesNumber | |
| 1 (Function) | PlutusLedgerApi.Test.V1.Data.Value |
| 2 (Function) | PlutusCore.Generators.QuickCheck.Builtin |
| toChunkFrequencies | PlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
| toChunkNumber | PlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
| toChunks | PlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
| toCostList | Evaluation.Builtins.Costing |
| toCostModelParams | PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
| ToData | PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx.Prelude, PlutusTx, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| toData | PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| toDeBruijnTermPLC | PlutusCore.Executable.AstIO |
| toDeBruijnTermUPLC | PlutusCore.Executable.AstIO |
| toDeBruijnTypePLC | PlutusCore.Executable.AstIO |
| toDeBruijnUPLC | PlutusCore.Executable.AstIO |
| toDefaultCompilationCtx | PlutusIR.Compiler.Types, PlutusIR.Compiler |
| toDigits | PlutusTx.Show |
| toEnum | PlutusTx.Enum.Class, PlutusTx.Enum.TH, PlutusTx.Enum, PlutusTx.Prelude |
| toEnumBadArgumentError | PlutusTx.ErrorCodes |
| toEnumBoolBadArgumentError | PlutusTx.ErrorCodes |
| toEnumOrderingBadArgumentError | PlutusTx.ErrorCodes |
| toEnumVoidBadArgumentError | PlutusTx.ErrorCodes |
| toErrorB | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
| toEvalResult | FFI.SimplifierTrace |
| toExBudgetList | Evaluation.Builtins.Costing |
| toFake | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
| toFlatList | PlutusCore.Value |
| toGHC | PlutusTx.Ratio, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| toHaskellRatio | PlutusTx.Ratio, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
| ToHoles | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin |
| TokenName | |
| 1 (Type/Class) | PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 2 (Type/Class) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| 3 (Data Constructor) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| 4 (Data Constructor) | PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| tokenName | |
| 1 (Function) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1 |
| 2 (Function) | PlutusLedgerApi.V1.Data.Value |
| toKeyValue | PlutusTx.Options |
| ToKind | PlutusCore.Builtin.KnownKind, PlutusCore.Builtin, PlutusCore.TypeCheck, PlutusCore |
| toList | |
| 1 (Function) | PlutusTx.Foldable |
| 2 (Function) | PlutusTx.AssocMap |
| 3 (Function) | PlutusPrelude |
| 4 (Function) | PlutusCore.Value |
| toMachineParameters | PlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1.EvaluationContext, PlutusLedgerApi.V2.EvaluationContext, PlutusLedgerApi.V3.EvaluationContext, PlutusLedgerApi.V1 |
| toMaxChunkNumber | PlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
| toMCostModel | PlutusLedgerApi.Test.Common.EvaluationContext |
| toMonoF | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| toNamedDeBruijnTerm | PlutusTx.Test.Util.Compiled |
| toNamedDeBruijnUPLC | PlutusCore.Executable.AstIO |
| TooMuchSpace | PlutusCore.Flat.Decoder.Types, PlutusCore.Flat.Decoder, PlutusCore.Flat.Instances.Util, PlutusCore.Flat |
| tooMuchSpace | PlutusCore.Flat.Decoder.Types |
| toOpaque | PlutusTx.Builtins.HasOpaque, PlutusTx.Builtins, PlutusTx.Prelude, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| top | PlutusTx.Lattice, PlutusTx.Prelude |
| toPatFuncKind | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| topFixity | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
| toPolyF | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| topPrettyConfigReadable | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
| topRenderContext | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
| toPrettyConfigName | PlutusCore.Pretty.ConfigName, PlutusCore.Pretty |
| toPrintedName | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
| toProgramName | PlutusIR.Compiler.Types |
| topSrcSpan | |
| 1 (Function) | PlutusCore.Executable.Common |
| 2 (Function) | PlutusCore.Test, PlutusIR.Test |
| toPubKeyHash | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Address |
| 2 (Function) | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1 |
| toRange | Evaluation.Builtins.Costing |
| ToScopedName | PlutusCore.Check.Scoping |
| toScopedName | PlutusCore.Check.Scoping |
| toScriptHash | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Address |
| 2 (Function) | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1 |
| toSimpleBuiltinCostModel | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
| toSingKind | PlutusCore.Builtin.KnownKind, PlutusCore.Builtin |
| toSOP | PlutusTx.Data.List |
| toSOPList | PlutusTx.Data.AssocMap, PlutusLedgerApi.Data.V2 |
| toSrcSpan | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
| toString | |
| 1 (Function) | PlutusLedgerApi.V1.Value |
| 2 (Function) | PlutusLedgerApi.V1.Data.Value |
| TotalCountIndex | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
| totalSize | PlutusCore.Value |
| ToTheLeft | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
| ToTheRight | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
| ToTPlc | PlutusCore.Test |
| toTPlc | PlutusCore.Test |
| toTypeAst | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin |
| ToUPlc | PlutusCore.Test |
| toUPlc | PlutusCore.Test |
| Trace | |
| 1 (Type/Class) | FFI.SimplifierTrace |
| 2 (Data Constructor) | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
| trace | |
| 1 (Function) | PlutusTx.Builtins.Internal |
| 2 (Function) | PlutusTx.Builtins, PlutusTx.Trace, PlutusTx.Prelude |
| 3 (Function) | PlutusPrelude |
| 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 |
| traceAll | PlutusTx.Builtins.Internal |
| traceBool | PlutusTx.Trace, PlutusTx.Prelude |
| traceCompilation | PlutusTx.Compiler.Trace |
| traceCompilationL | PlutusTx.Compiler.Trace |
| traceCompilationStep | PlutusTx.Compiler.Trace |
| TraceElem | FFI.SimplifierTrace |
| traceError | PlutusTx.Trace, PlutusTx.Prelude |
| traceIfFalse | PlutusTx.Trace, PlutusTx.Prelude |
| traceIfTrue | PlutusTx.Trace, PlutusTx.Prelude |
| TraceMode | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
| tracemode | PlutusCore.Executable.Parsers |
| traceShowId | PlutusPrelude |
| TrackCosts | PlutusCore.Examples.Builtins |
| trailingWhitespace | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
| Traversable | PlutusTx.Traversable |
| traverse | PlutusTx.Traversable |
| traverse_ | |
| 1 (Function) | PlutusTx.Foldable |
| 2 (Function) | PlutusPrelude |
| TreasuryWithdrawals | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| treeData | PlutusCore.Examples.Data.TreeForest |
| treeFolderContents | PlutusCore.FsTree |
| treeNode | PlutusCore.Examples.Data.TreeForest |
| trivialType | PlutusIR.Transform.Inline.Utils |
| True | PlutusTx.Bool, PlutusTx.Prelude |
| true | |
| 1 (Function) | Evaluation.Builtins.Common |
| 2 (Function) | PlutusCore.StdLib.Data.Bool |
| truncate | PlutusTx.Ratio |
| truncateDouble | MAlonzo.RTE.Float |
| tryUniApply | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
| tst | PlutusCore.Flat.Instances.Test |
| tstBits | PlutusCore.Flat.Instances.Test |
| 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 | |
| 1 (Function) | PlutusIR.Subst |
| 2 (Function) | PlutusCore.Subst |
| tvTy | PlutusIR.Subst, 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 |
| TwoVariableWithInteractionFunction | |
| 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 |
| twoVariableWithInteractionFunctionC00 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableWithInteractionFunctionC01 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableWithInteractionFunctionC10 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| twoVariableWithInteractionFunctionC11 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
| TxCert | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertAuthHotCommittee | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertDelegStaking | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertPoolRegister | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertPoolRetire | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertRegDeleg | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertRegDRep | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertRegStaking | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertResignColdCommittee | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertUnRegDRep | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertUnRegStaking | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxCertUpdateDRep | |
| 1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| TxId | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3 |
| 2 (Data Constructor) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3 |
| 3 (Type/Class) | PlutusLedgerApi.V3.Data.Tx, PlutusLedgerApi.Data.V3 |
| 4 (Data Constructor) | PlutusLedgerApi.V3.Data.Tx, PlutusLedgerApi.Data.V3 |
| 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 |
| 7 (Type/Class) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| 8 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| TxInfo | |
| 1 (Type/Class) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Data Constructor) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 3 (Type/Class) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 4 (Data Constructor) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 5 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 6 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 7 (Type/Class) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 8 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 9 (Type/Class) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 10 (Data Constructor) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 11 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 12 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoCurrentTreasuryAmount | |
| 1 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoCurrentTreasuryAmountL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoData | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoDataL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoDCert | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 4 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| txInfoFee | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoFeeL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoId | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoIdL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoInputs | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoInputsL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoMint | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoMintL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoOutputs | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoOutputsL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoProposalProcedures | |
| 1 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoProposalProceduresL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoRedeemers | |
| 1 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 3 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 4 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoRedeemersAssocL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoRedeemersL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoReferenceInputs | |
| 1 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 3 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 4 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoReferenceInputsL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoSignatories | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoSignatoriesL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoTreasuryDonation | |
| 1 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoTreasuryDonationL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoTxCerts | |
| 1 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoTxCertsL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoValidRange | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoValidRangeL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoVotes | |
| 1 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoVotesL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInfoWdrl | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInfoWdrlL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| TxInInfo | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| 2 (Type/Class) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 3 (Data Constructor) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 4 (Type/Class) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 5 (Data Constructor) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 6 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 7 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 8 (Type/Class) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 9 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 10 (Type/Class) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 11 (Data Constructor) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 12 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInInfoOutRef | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInInfoOutRefL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txInInfoResolved | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
| 6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
| txInInfoResolvedL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| TxOut | |
| 1 (Type/Class) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| 2 (Type/Class) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 3 (Data Constructor) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 4 (Type/Class) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 5 (Data Constructor) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 6 (Type/Class) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 7 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 8 (Data Constructor) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| txOutAddress | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 3 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 4 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| txOutAddressL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| TxOutBuilder | |
| 1 (Type/Class) | PlutusLedgerApi.Test.ScriptContextBuilder.Builder |
| 2 (Data Constructor) | PlutusLedgerApi.Test.ScriptContextBuilder.Builder |
| txOutDatum | |
| 1 (Function) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V1.Data.Tx |
| 3 (Function) | PlutusLedgerApi.V1.Tx |
| 4 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| txOutDatumHash | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| txOutDatumL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txOutPubKey | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Tx |
| 2 (Function) | PlutusLedgerApi.V2.Data.Tx |
| 3 (Function) | PlutusLedgerApi.V1.Tx |
| 4 (Function) | PlutusLedgerApi.V2.Tx |
| TxOutRef | |
| 1 (Type/Class) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3 |
| 2 (Type/Class) | PlutusLedgerApi.V3.Data.Tx, PlutusLedgerApi.Data.V3 |
| 3 (Data Constructor) | PlutusLedgerApi.V3.Data.Tx, PlutusLedgerApi.Data.V3 |
| 4 (Type/Class) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
| 5 (Data Constructor) | 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.V3.Tx, PlutusLedgerApi.V3 |
| 7 (Type/Class) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| 8 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| txOutReferenceScript | |
| 1 (Function) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| txOutReferenceScriptL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txOutRefId | |
| 1 (Function) | PlutusLedgerApi.V3.Data.Tx, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| txOutRefIdL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txOutRefIdx | |
| 1 (Function) | PlutusLedgerApi.V3.Data.Tx, PlutusLedgerApi.Data.V3 |
| 2 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
| 3 (Function) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3 |
| 4 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
| txOutRefIdxL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txOutValue | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
| 2 (Function) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
| 3 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 4 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
| txOutValueL | PlutusLedgerApi.Test.ScriptContextBuilder.Lenses |
| txSignedBy | |
| 1 (Function) | PlutusLedgerApi.V1.Data.Contexts |
| 2 (Function) | PlutusLedgerApi.V2.Data.Contexts |
| 3 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
| 4 (Function) | PlutusLedgerApi.V2.Contexts |
| 5 (Function) | PlutusLedgerApi.V3.Contexts |
| 6 (Function) | PlutusLedgerApi.V3.Data.Contexts |
| TyAbs | |
| 1 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 2 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyAbs | PlutusIR.MkPir, PlutusCore.MkPlc |
| TyAbsG | PlutusCore.Generators.NEAT.Term |
| TyApp | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyAppG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyAppRep | PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyBoolG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyBuiltin | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyBuiltinG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyByteStringG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| tyConsOfAlt | PlutusTx.Compiler.Utils |
| tyConsOfBind | PlutusTx.Compiler.Utils |
| tyConsOfBndr | PlutusTx.Compiler.Utils |
| tyConsOfExpr | PlutusTx.Compiler.Utils |
| TyDataG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyDeBruijn | |
| 1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore |
| 2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore |
| TyDecl | |
| 1 (Type/Class) | PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| tyDeclAnn | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclKind | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclType | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyDeclVar | PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| TyForall | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyForallG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyForallRep | PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TyFun | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyFunG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyIFix | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyIFixG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyInst | |
| 1 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| 2 (Type/Class) | PlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck |
| 3 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyInst | PlutusIR.MkPir, PlutusCore.MkPlc |
| TyInstG | PlutusCore.Generators.NEAT.Term |
| TyIntegerG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyLam | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyLamG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| tyListE | PlutusTx.Lift.THUtils |
| TyListG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyName | |
| 1 (Type/Class) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
| tyName | PlutusCore.Parser.Type, PlutusCore.Parser |
| TyNameMismatch | PlutusCore.Error |
| tynameOf | PlutusCore.Generators.NEAT.Common |
| TyNameRep | |
| 1 (Type/Class) | PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| tynames | |
| 1 (Function) | Raw |
| 2 (Function) | PlutusCore.Generators.NEAT.Spec |
| TyNameState | |
| 1 (Type/Class) | PlutusCore.Generators.NEAT.Common |
| 2 (Data Constructor) | PlutusCore.Generators.NEAT.Common |
| tyNameToDeBruijn | PlutusCore.DeBruijn.Internal |
| Type | |
| 1 (Type/Class) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| Typeable | |
| 1 (Type/Class) | PlutusTx.Lift.Class, PlutusTx |
| 2 (Type/Class) | PlutusPrelude, PlutusCore.Builtin.TypeScheme, PlutusCore.Builtin |
| typeAnn | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TypeAppContext | PlutusIR.Contexts |
| typeArity | PlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck |
| typeAst | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin |
| typeAstSize | PlutusIR.AstSize, PlutusCore.AstSize, PlutusCore |
| TypeBind | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| TypeBinding | PlutusIR.Compiler.Provenance, PlutusIR.Compiler |
| TypeBuiltinG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| Typecheck | FFI.Opts |
| Typecheckable | PlutusCore.TypeCheck, PlutusCore |
| typeCheckAgainst | PlutusTx.Lift |
| typecheckAnd | Evaluation.Builtins.Common |
| TypeCheckConfig | |
| 1 (Type/Class) | PlutusIR.TypeCheck.Internal, PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| 2 (Data Constructor) | PlutusIR.TypeCheck.Internal, PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| typeCheckConfig | PlutusCore.TypeCheck.Internal |
| TypeCheckEnv | |
| 1 (Type/Class) | PlutusCore.TypeCheck.Internal |
| 2 (Data Constructor) | PlutusCore.TypeCheck.Internal |
| TypeCheckError | Evaluation.Builtins.Common |
| typecheckEvaluateCek | Evaluation.Builtins.Common |
| typecheckEvaluateCekNoEmit | Evaluation.Builtins.Common |
| TypecheckOptions | FFI.Opts |
| typecheckOpts | FFI.Opts |
| typecheckPass | PlutusIR.Pass |
| typecheckReadKnownCek | Evaluation.Builtins.Common |
| Typechecks | PlutusIR.Pass |
| TypeCheckT | PlutusIR.TypeCheck.Internal, PlutusCore.TypeCheck.Internal |
| typeCheckTerm | PlutusIR.Generators.QuickCheck.Common, PlutusIR.Generators.QuickCheck |
| typeCheckTermInContext | PlutusIR.Generators.QuickCheck.Common, PlutusIR.Generators.QuickCheck |
| typeCode | PlutusTx.Lift |
| TypeCtx | PlutusCore.Generators.QuickCheck.Common, PlutusCore.Generators.QuickCheck |
| TypedBuiltinGen | PlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog |
| TypedBuiltinGenT | PlutusCore.Generators.Hedgehog.TypedBuiltinGen, PlutusCore.Generators.Hedgehog |
| typedBuiltins | PlutusCore.Generators.Hedgehog.Denotation, PlutusCore.Generators.Hedgehog |
| TypeDef | PlutusIR.MkPir, PlutusCore.MkPlc |
| TypeError | |
| 1 (Data Constructor) | Raw |
| 2 (Type/Class) | PlutusIR.Error, PlutusCore.Error, PlutusCore |
| 3 (Data Constructor) | PlutusCore.Generators.NEAT.Spec |
| TypeErrorE | PlutusCore.Error, PlutusCore |
| TypeErrorExt | PlutusIR.Error |
| TypeErrorOrCekResult | Evaluation.Builtins.Common |
| TypeErrorPlc | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
| typeEvalCheckBy | PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog |
| TypeEvalCheckError | PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog |
| TypeEvalCheckErrorException | PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog |
| TypeEvalCheckErrorIllEvaled | PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog |
| TypeEvalCheckErrorIllFormed | PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog |
| TypeEvalCheckErrorIllTyped | PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog |
| TypeEvalCheckM | PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog |
| TypeEvalCheckResult | |
| 1 (Type/Class) | PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog |
| 2 (Data Constructor) | PlutusCore.Generators.Hedgehog.TypeEvalCheck, PlutusCore.Generators.Hedgehog.Test, PlutusCore.Generators.Hedgehog |
| TypeG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TypeHole | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin |
| typeLet | PlutusIR.MkPir, PlutusCore.MkPlc |
| typeMapNames | PlutusCore.Subst, PlutusCore |
| TypeMismatch | PlutusCore.Error |
| TypeName | PlutusCore.Check.Scoping |
| typeOfBuiltinFunction | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| TypeParam | PlutusCore.Arity |
| TypeRenaming | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
| typeRep | PlutusTx.Lift.Class |
| Types | PlutusIR.Compiler.Let |
| TypeScheme | PlutusCore.Builtin.TypeScheme, PlutusCore.Builtin |
| TypeSchemeAll | PlutusCore.Builtin.TypeScheme, PlutusCore.Builtin |
| typeSchemeArity | PlutusCore.Arity |
| TypeSchemeArrow | PlutusCore.Builtin.TypeScheme, PlutusCore.Builtin |
| TypeSchemeResult | PlutusCore.Builtin.TypeScheme, PlutusCore.Builtin |
| typeSchemeToType | PlutusCore.Builtin.TypeScheme, PlutusCore.Builtin |
| TypeScope | PlutusCore.Analysis.Definitions |
| TypeSub | PlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck |
| typeSubkinds | PlutusIR.Core.Plated, PlutusIR.Core, PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| TypeSubst | |
| 1 (Type/Class) | PlutusIR.Transform.Inline.Utils |
| 2 (Data Constructor) | PlutusIR.Transform.Inline.Utils |
| typeSubst | PlutusIR.Transform.Inline.Utils |
| typeSubstClosedType | PlutusCore.Subst |
| typeSubstTyNames | PlutusIR.Subst, PlutusCore.Subst |
| typeSubstTyNamesM | PlutusCore.Subst |
| typeSubtypes | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR, PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| typeSubtypesDeep | PlutusIR.Core.Plated, PlutusIR.Core, 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 | PlutusIR.Core.Plated, PlutusIR.Core, PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeUniquesDeep | PlutusIR.Core.Plated, PlutusIR.Core, PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| typeUsages | PlutusIR.Analysis.Usages |
| typeVarInfoMap | PlutusIR.Analysis.VarInfo |
| TySOP | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyStringG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyUnitG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyVar | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| TyVarDecl | |
| 1 (Type/Class) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| 2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
| tyVarDeclAnn | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclAstSize | PlutusIR.AstSize, PlutusCore.AstSize |
| tyVarDeclKind | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclName | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
| tyVarDeclNameString | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
| tyVarDeclSubkinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
| TyVarG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
| TyVarInfo | PlutusIR.Analysis.VarInfo |
| TyVarKinds | PlutusCore.TypeCheck.Internal |
| TyVarRep | PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
| tzip | UntypedPlutusCore.Core.Zip |
| tzipWith | UntypedPlutusCore.Core.Zip |
| T_'8868'_6 | MAlonzo.Code.Agda.Builtin.Unit |
| T_'91''93''7510'_1958 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_'96''7510'_858 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_'9839'Kinded_40 | MAlonzo.Code.Algorithmic |
| T_AbelianGroup_1682 | MAlonzo.Code.Algebra.Bundles |
| T_Abs_112 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Acc_42 | MAlonzo.Code.Induction.WellFounded |
| T_AddComm_2118 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_Alignment_92 | MAlonzo.Code.Data.String.Base |
| T_AllForced_16 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| T_AllPairs_20 | MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core |
| T_allTerms_790 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_All_18 | MAlonzo.Code.Data.Maybe.Relation.Unary.All |
| T_All_44 | MAlonzo.Code.Data.List.Relation.Unary.All |
| T_All_460 | MAlonzo.Code.Utils |
| T_AlternativeMagma_310 | MAlonzo.Code.Algebra.Bundles |
| T_Any_18 | MAlonzo.Code.Data.Maybe.Relation.Unary.Any |
| T_Any_34 | MAlonzo.Code.Data.List.Relation.Unary.Any |
| T_ApartnessRelation_1512 | MAlonzo.Code.Relation.Binary.Bundles |
| T_ApplyToCase_4 | MAlonzo.Code.VerifiedCompilation.UApplyToCase |
| T_ArgChunk_4 | MAlonzo.Code.Text.Format |
| T_ArgInfo_76 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Arg_88 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Arity_4 | MAlonzo.Code.Untyped.Reduction |
| T_Array_594 | MAlonzo.Code.Utils |
| T_Associativity_14 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_AtomicTyCon_6 | MAlonzo.Code.Builtin.Constant.AtomicType |
| T_BackwardKind_114 | MAlonzo.Code.Function.Related.Propositional |
| T_Band_620 | MAlonzo.Code.Algebra.Bundles |
| T_BApp_42 | MAlonzo.Code.Untyped.CEK |
| T_BApp_48 | MAlonzo.Code.Algorithmic.CEK |
| T_BApp_74 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_BiEquivalence_2222 | MAlonzo.Code.Function.Bundles |
| T_BiInverse_2250 | MAlonzo.Code.Function.Bundles |
| T_Bijection_1004 | MAlonzo.Code.Function.Bundles |
| T_Blocker_100 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Bls12'45'381'45'G1'45'Element_756 | MAlonzo.Code.Utils |
| T_Bls12'45'381'45'G2'45'Element_760 | MAlonzo.Code.Utils |
| T_Bls12'45'381'45'MlResult_764 | MAlonzo.Code.Utils |
| T_BooleanAlgebra_698 | MAlonzo.Code.Algebra.Lattice.Bundles |
| T_BooleanAlgebra_914 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| T_Bool_6 | MAlonzo.Code.Agda.Builtin.Bool |
| T_BoundedJoinSemilattice_104 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| T_BoundedJoinSemilattice_424 | MAlonzo.Code.Algebra.Lattice.Bundles |
| T_BoundedLattice_628 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| T_BoundedMeetSemilattice_294 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| T_BoundedMeetSemilattice_336 | MAlonzo.Code.Algebra.Lattice.Bundles |
| T_BoundedSemilattice_238 | MAlonzo.Code.Algebra.Lattice.Bundles |
| T_BudgetMode_36 | MAlonzo.Code.Evaluator.Program |
| T_builtin'7510'_968 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_BuiltinModel_66 | MAlonzo.Code.Cost.Model |
| T_Builtin_2 | MAlonzo.Code.Builtin |
| T_Bwd_6 | MAlonzo.Code.Utils.List |
| T_ByteString_418 | MAlonzo.Code.Utils |
| T_CancellativeCommutativeSemiring_2712 | MAlonzo.Code.Algebra.Bundles |
| T_case'7510'_926 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_CaseReduce_4 | MAlonzo.Code.VerifiedCompilation.UCaseReduce |
| T_Cases_104 | MAlonzo.Code.Declarative |
| T_Cases_172 | MAlonzo.Code.Algorithmic |
| T_CertResult_12 | MAlonzo.Code.VerifiedCompilation.Certificate |
| T_Char_6 | MAlonzo.Code.Agda.Builtin.Char |
| T_Chunk_62 | MAlonzo.Code.Text.Format.Generic |
| T_Clause_160 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_CoCCase_38 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
| T_CoCForce_142 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
| T_CoC_4 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
| T_Command_36 | MAlonzo.Code.Main |
| T_CommutativeBand_760 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeMagma_190 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeMonoid_996 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeRing_4126 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeSemigroup_688 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeSemiringWithoutOne_2064 | MAlonzo.Code.Algebra.Bundles |
| T_CommutativeSemiring_2524 | MAlonzo.Code.Algebra.Bundles |
| T_con'7510'_958 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_constr'7510'_944 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_CostingModel_8 | MAlonzo.Code.Cost.Model |
| T_CpuAndMemoryModel_192 | MAlonzo.Code.Cost.Raw |
| T_Ctx'8902'_2 | MAlonzo.Code.Type |
| T_Ctx_16 | MAlonzo.Code.Declarative |
| T_Ctx_2 | MAlonzo.Code.Algorithmic |
| T_DATA_610 | MAlonzo.Code.Utils |
| T_DecEq_6 | MAlonzo.Code.Untyped.Equality |
| T_DecPoset_596 | MAlonzo.Code.Relation.Binary.Bundles |
| T_DecPreorder_342 | MAlonzo.Code.Relation.Binary.Bundles |
| T_DecSetoid_90 | MAlonzo.Code.Relation.Binary.Bundles |
| T_DecStrictPartialOrder_850 | MAlonzo.Code.Relation.Binary.Bundles |
| T_DecTotalOrder_1098 | MAlonzo.Code.Relation.Binary.Bundles |
| T_Dec_20 | MAlonzo.Code.Relation.Nullary.Decidable.Core |
| T_Definition_280 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_delay'7510'_912 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_DenseLinearOrder_1394 | MAlonzo.Code.Relation.Binary.Bundles |
| T_DistributiveLattice_506 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| T_DistributiveLattice_598 | MAlonzo.Code.Algebra.Lattice.Bundles |
| T_DivMod_1126 | MAlonzo.Code.Data.Nat.DivMod |
| T_EC_476 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_Either_6 | MAlonzo.Code.Utils |
| T_Empty_4 | MAlonzo.Code.Data.Empty |
| T_Env_16 | MAlonzo.Code.Untyped.CEK |
| T_Env_26 | MAlonzo.Code.Algorithmic.CEK |
| T_EquivalenceKind_134 | MAlonzo.Code.Function.Related.Propositional |
| T_Equivalence_1858 | MAlonzo.Code.Function.Bundles |
| T_error'7510'_976 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_ErrorPart_308 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Error_1172 | MAlonzo.Code.Algorithmic.CEK |
| T_ERROR_12 | MAlonzo.Code.Evaluator.Base |
| T_Error_2 | MAlonzo.Code.VerifiedCompilation |
| T_Error_338 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_Error_84 | MAlonzo.Code.Text.Format.Generic |
| T_Error_98 | MAlonzo.Code.Text.Printf.Generic |
| T_Esc_24 | MAlonzo.Code.RawU |
| T_EvalMode_46 | MAlonzo.Code.Evaluator.Program |
| T_EvalOptions_24 | MAlonzo.Code.Main |
| T_EvalResult_116 | MAlonzo.Code.VerifiedCompilation.Trace |
| T_ExBudgetCategory_34 | MAlonzo.Code.Cost.Base |
| T_ExBudget_52 | MAlonzo.Code.Cost |
| T_ExpModCostingFunction_128 | MAlonzo.Code.Cost.Raw |
| T_FCD_84 | MAlonzo.Code.VerifiedCompilation.UForceCaseDelay |
| T_FD_112 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| T_FilePath_16 | MAlonzo.Code.Main |
| T_Finished_12 | MAlonzo.Code.Algorithmic.Evaluation |
| T_Fin_10 | MAlonzo.Code.Data.Fin.Base |
| T_Fixity_28 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_FlD_464 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
| T_FlexibleMagma_374 | MAlonzo.Code.Algebra.Bundles |
| T_Float_6 | MAlonzo.Code.Agda.Builtin.Float |
| T_FocusedProgDissect_28 | MAlonzo.Code.Algorithmic.ReductionEC.Progress |
| T_force'7510'_900 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_FormatSpec_6 | MAlonzo.Code.Text.Format.Generic |
| T_Format_14 | MAlonzo.Code.Evaluator.Program |
| T_ForwardKind_94 | MAlonzo.Code.Function.Related.Propositional |
| T_Frame_1182 | MAlonzo.Code.Algorithmic.CEK |
| T_Frame_196 | MAlonzo.Code.Untyped.CEK |
| T_Frame_352 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_FreeVariableError_574 | MAlonzo.Code.Scoped |
| T_Func_42 | MAlonzo.Code.Function.Dependent.Bundles |
| T_Func_774 | MAlonzo.Code.Function.Bundles |
| T_Gas_4 | MAlonzo.Code.Algorithmic.Evaluation |
| T_GeneralizeTel_100369 | MAlonzo.Code.Data.List.Membership.Setoid.Properties |
| T_GeneralizeTel_10337 | MAlonzo.Code.Induction.WellFounded |
| T_GeneralizeTel_11671 | MAlonzo.Code.Function.Properties.Surjection |
| T_GeneralizeTel_159405 | MAlonzo.Code.Data.List.Membership.Setoid.Properties |
| T_GeneralizeTel_28219 | MAlonzo.Code.Data.List.Relation.Unary.All.Properties.Core |
| T_GeneralizeTel_32957 | MAlonzo.Code.Data.List.Membership.Propositional.Properties |
| T_GeneralizeTel_487 | MAlonzo.Code.Function.Properties.RightInverse |
| T_GeneralizeTel_503 | MAlonzo.Code.Function.Properties.Surjection |
| T_GeneralizeTel_60371 | MAlonzo.Code.Data.List.Membership.Propositional.Properties |
| T_GeneralizeTel_6271 | MAlonzo.Code.Induction.WellFounded |
| T_Group_1564 | MAlonzo.Code.Algebra.Bundles |
| T_HasEq_20 | MAlonzo.Code.Untyped.Equality |
| T_HCekMachineCosts_4 | MAlonzo.Code.Cost.Raw |
| T_HExBudget_6 | MAlonzo.Code.Cost.Raw |
| T_HeytingAlgebra_764 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| T_Hints_54 | MAlonzo.Code.VerifiedCompilation.Trace |
| T_HsEq_28 | MAlonzo.Code.Untyped.Equality |
| T_IBwd_396 | MAlonzo.Code.Utils.List |
| T_IdempotentCommutativeMonoid_1186 | MAlonzo.Code.Algebra.Bundles |
| T_IdempotentMagma_250 | MAlonzo.Code.Algebra.Bundles |
| T_IdempotentMonoid_1094 | MAlonzo.Code.Algebra.Bundles |
| T_IdempotentSemiring_2904 | MAlonzo.Code.Algebra.Bundles |
| T_IIBwd_832 | MAlonzo.Code.Utils.List |
| T_IIList_802 | MAlonzo.Code.Utils.List |
| T_IList_302 | MAlonzo.Code.Utils.List |
| T_IndexedPreorder_62 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles |
| T_IndexedSetoid_18 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles |
| T_Inhabited_1980 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_InitLast_458 | MAlonzo.Code.Data.List.Base |
| T_Injection_842 | MAlonzo.Code.Function.Bundles |
| T_InlineHints_26 | MAlonzo.Code.VerifiedCompilation.Trace |
| T_Inline_224 | MAlonzo.Code.VerifiedCompilation.UInline |
| T_Input_16 | MAlonzo.Code.Evaluator.Program |
| T_Int_6 | MAlonzo.Code.Agda.Builtin.Int |
| T_Inverse_2122 | MAlonzo.Code.Function.Bundles |
| T_InvertibleMagma_1400 | MAlonzo.Code.Algebra.Bundles |
| T_InvertibleUnitalMagma_1476 | MAlonzo.Code.Algebra.Bundles |
| T_IO_8 | MAlonzo.Code.Agda.Builtin.IO |
| T_Irrelevant_20 | MAlonzo.Code.Data.Irrelevant |
| T_IsAbelianGroupMorphism_1270 | MAlonzo.Code.Algebra.Morphism |
| T_IsAbelianGroup_1172 | MAlonzo.Code.Algebra.Structures |
| T_IsAlternativeMagma_290 | MAlonzo.Code.Algebra.Structures |
| T_IsApartnessRelation_750 | MAlonzo.Code.Relation.Binary.Structures |
| T_isApp_144 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_IsBand_526 | MAlonzo.Code.Algebra.Structures |
| T_IsBiEquivalence_626 | MAlonzo.Code.Function.Structures |
| T_IsBiInverse_714 | MAlonzo.Code.Function.Structures |
| T_IsBijection_256 | MAlonzo.Code.Function.Structures |
| T_IsBooleanAlgebra_3224 | MAlonzo.Code.Algebra.Lattice.Structures |
| T_IsBooleanAlgebra_746 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| T_IsBoundedJoinSemilattice_118 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| T_IsBoundedLattice_514 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| T_IsBoundedMeetSemilattice_280 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| T_IsBranch_18 | MAlonzo.Code.VerifiedCompilation.UForceCaseDelay |
| T_isBuiltin_700 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_IsCancellativeCommutativeSemiring_1872 | MAlonzo.Code.Algebra.Structures |
| T_isCase_576 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_IsCommutativeBand_612 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeMagma_214 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeMonoid'691'_2826 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsCommutativeMonoid'737'_2770 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsCommutativeMonoidMorphism_502 | MAlonzo.Code.Algebra.Morphism |
| T_IsCommutativeMonoid_764 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeRing_2888 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeSemigroup_568 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeSemiring'691'_3218 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsCommutativeSemiring'737'_3088 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsCommutativeSemiringWithoutOne_1438 | MAlonzo.Code.Algebra.Structures |
| T_IsCommutativeSemiring_1750 | MAlonzo.Code.Algebra.Structures |
| T_IsCongruent_22 | MAlonzo.Code.Function.Structures |
| T_isConstr_480 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_isCon_440 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_IsDecEquivalence_48 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsDecPartialOrder_300 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsDecPreorder_184 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsDecStrictPartialOrder_418 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsDecTotalOrder_546 | MAlonzo.Code.Relation.Binary.Structures |
| T_isDelay_356 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_IsDenseLinearOrder_686 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsDistributiveLattice_3146 | MAlonzo.Code.Algebra.Lattice.Structures |
| T_IsDistributiveLattice_430 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| T_IsEquality_122 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| T_IsEquality_208 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| T_IsEquivalence_28 | MAlonzo.Code.Relation.Binary.Structures |
| T_isError_738 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_IsFlexibleMagma_332 | MAlonzo.Code.Algebra.Structures |
| T_isForce_270 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_IsGeneralMetric_340 | MAlonzo.Code.Function.Metric.Structures |
| T_IsGroupHomomorphism_670 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsGroupIsomorphism_738 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsGroupMonomorphism_698 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsGroupMorphism_968 | MAlonzo.Code.Algebra.Morphism |
| T_IsGroup_1074 | MAlonzo.Code.Algebra.Structures |
| T_IsHeytingAlgebra_612 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| T_IsIdempotentCommutativeMonoidMorphism_732 | MAlonzo.Code.Algebra.Morphism |
| T_IsIdempotentCommutativeMonoid_884 | MAlonzo.Code.Algebra.Structures |
| T_IsIdempotentMagma_252 | MAlonzo.Code.Algebra.Structures |
| T_IsIdempotentMonoid_826 | MAlonzo.Code.Algebra.Structures |
| T_IsIdempotentSemiring_1998 | MAlonzo.Code.Algebra.Structures |
| T_IsIndexedEquivalence_22 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
| T_IsIndexedPreorder_46 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
| T_IsInjection_98 | MAlonzo.Code.Function.Structures |
| T_IsInverse_526 | MAlonzo.Code.Function.Structures |
| T_IsInvertibleMagma_958 | MAlonzo.Code.Algebra.Structures |
| T_IsInvertibleUnitalMagma_1012 | MAlonzo.Code.Algebra.Structures |
| T_IsJoinSemilattice_22 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| T_IsKleeneAlgebraHomomorphism_3714 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsKleeneAlgebraIsomorphism_3798 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsKleeneAlgebraMonomorphism_3754 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsKleeneAlgebra_2122 | MAlonzo.Code.Algebra.Structures |
| T_isLambda_56 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_IsLattice_3070 | MAlonzo.Code.Algebra.Lattice.Structures |
| T_IsLattice_348 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| T_IsLeftBolLoop_3202 | MAlonzo.Code.Algebra.Structures |
| T_IsLeftInverse_346 | MAlonzo.Code.Function.Structures |
| T_IsLoopHomomorphism_3398 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsLoopIsomorphism_3470 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsLoopMonomorphism_3432 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsLoop_3122 | MAlonzo.Code.Algebra.Structures |
| T_IsMagmaHomomorphism_194 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsMagmaIsomorphism_240 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsMagmaMonomorphism_214 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsMagma_178 | MAlonzo.Code.Algebra.Structures |
| T_IsMedialMagma_370 | MAlonzo.Code.Algebra.Structures |
| T_IsMeetSemilattice_184 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
| T_IsMiddleBolLoop_3462 | MAlonzo.Code.Algebra.Structures |
| T_IsMonoidHomomorphism_380 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsMonoidIsomorphism_438 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsMonoidMonomorphism_404 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsMonoidMorphism_308 | MAlonzo.Code.Algebra.Morphism |
| T_IsMonoid_712 | MAlonzo.Code.Algebra.Structures |
| T_IsMoufangLoop_3370 | MAlonzo.Code.Algebra.Structures |
| T_IsNearring_2626 | MAlonzo.Code.Algebra.Structures |
| T_IsNearSemiring'42'_2948 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsNearSemiringHomomorphism_982 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsNearSemiringIsomorphism_1056 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsNearSemiringMonomorphism_1012 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsNearSemiring_1260 | MAlonzo.Code.Algebra.Structures |
| T_IsNonAssociativeRing_2494 | MAlonzo.Code.Algebra.Structures |
| T_IsOrderHomomorphism_144 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| T_IsOrderIsomorphism_248 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| T_IsOrderMonomorphism_190 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| T_IsPartialEquivalence_16 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsPartialOrder_248 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsPreMetric_104 | MAlonzo.Code.Function.Metric.Structures |
| T_IsPreorder_76 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsProtoMetric_30 | MAlonzo.Code.Function.Metric.Structures |
| T_IsQuasigroupHomomorphism_2920 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsQuasigroupIsomorphism_2998 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsQuasigroupMonomorphism_2954 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsQuasigroup_3038 | MAlonzo.Code.Algebra.Structures |
| T_IsQuasiring_2260 | MAlonzo.Code.Algebra.Structures |
| T_IsQuasiSemiMetric_178 | MAlonzo.Code.Function.Metric.Structures |
| T_IsRelHomomorphism_42 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| T_IsRelIsomorphism_98 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| T_IsRelMonomorphism_66 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
| T_IsRightBolLoop_3286 | MAlonzo.Code.Algebra.Structures |
| T_IsRightInverse_438 | MAlonzo.Code.Function.Structures |
| T_IsRing'42'_3350 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsRingHomomorphism_2500 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsRingIsomorphism_2610 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsRingMonomorphism_2544 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsRingMorphism_1688 | MAlonzo.Code.Algebra.Morphism |
| T_IsRingWithoutAnnihilatingZero_3432 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsRingWithoutOneHomomorphism_1842 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsRingWithoutOneIsoMorphism_1930 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsRingWithoutOneMonomorphism_1878 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsRingWithoutOne_2368 | MAlonzo.Code.Algebra.Structures |
| T_IsRing_2740 | MAlonzo.Code.Algebra.Structures |
| T_IsSelectiveMagma_450 | MAlonzo.Code.Algebra.Structures |
| T_IsSemigroupMorphism_148 | MAlonzo.Code.Algebra.Morphism |
| T_IsSemigroup_488 | MAlonzo.Code.Algebra.Structures |
| T_IsSemimedialMagma_408 | MAlonzo.Code.Algebra.Structures |
| T_IsSemiMetric_256 | MAlonzo.Code.Function.Metric.Structures |
| T_IsSemiringHomomorphism_1366 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsSemiringIsomorphism_1452 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsSemiringMonomorphism_1402 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsSemiringWithoutAnnihilatingZero'42'_3014 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsSemiringWithoutAnnihilatingZero_1536 | MAlonzo.Code.Algebra.Structures |
| T_IsSemiringWithoutOne'42'_2884 | MAlonzo.Code.Algebra.Structures.Biased |
| T_IsSemiringWithoutOne_1342 | MAlonzo.Code.Algebra.Structures |
| T_IsSemiring_1640 | MAlonzo.Code.Algebra.Structures |
| T_IsSplitSurjection_806 | MAlonzo.Code.Function.Structures |
| T_IsStrictPartialOrder_370 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsStrictTotalOrder'7580'_604 | MAlonzo.Code.Relation.Binary.Structures.Biased |
| T_IsStrictTotalOrder_624 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsStrict_172 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| T_IsSuccessorSetHomomorphism_68 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsSuccessorSetIsomorphism_114 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsSuccessorSetMonomorphism_88 | MAlonzo.Code.Algebra.Morphism.Structures |
| T_IsSuccessorSet_146 | MAlonzo.Code.Algebra.Structures |
| T_IsSurjection_174 | MAlonzo.Code.Function.Structures |
| T_isTerm_774 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_IsTotalOrder_488 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsTotalPreorder_132 | MAlonzo.Code.Relation.Binary.Structures |
| T_IsUnitalMagma_666 | MAlonzo.Code.Algebra.Structures |
| T_isVar_16 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_JoinSemilattice_14 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| T_JoinSemilattice_164 | MAlonzo.Code.Algebra.Lattice.Bundles |
| T_K'38'__58 | MAlonzo.Code.Data.Tree.AVL.Value |
| T_Kind_6 | MAlonzo.Code.Function.Related.Propositional |
| T_Kind_768 | MAlonzo.Code.Utils |
| T_KleeneAlgebra_3092 | MAlonzo.Code.Algebra.Bundles |
| T_Lattice_394 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| T_Lattice_512 | MAlonzo.Code.Algebra.Lattice.Bundles |
| T_LeftBolLoop_4570 | MAlonzo.Code.Algebra.Bundles |
| T_LeftInverse_1942 | MAlonzo.Code.Function.Bundles |
| T_Level_18 | MAlonzo.Code.Agda.Primitive |
| T_Lex_32 | MAlonzo.Code.Data.List.Relation.Binary.Lex.Core |
| T_Lift_8 | MAlonzo.Code.Level |
| T_LinearFunction_32 | MAlonzo.Code.Cost.Raw |
| T_List'8314'_22 | MAlonzo.Code.Data.List.NonEmpty.Base |
| T_List_10 | MAlonzo.Code.Agda.Builtin.List |
| T_List_446 | MAlonzo.Code.Utils |
| T_Literal_124 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Loop_4460 | MAlonzo.Code.Algebra.Bundles |
| T_MachineParameters_46 | MAlonzo.Code.Cost.Base |
| T_Magma_74 | MAlonzo.Code.Algebra.Bundles |
| T_match_1870 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_MaxOperator_138 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
| T_Maybe_10 | MAlonzo.Code.Agda.Builtin.Maybe |
| T_MedialMagma_434 | MAlonzo.Code.Algebra.Bundles |
| T_MeetSemilattice_204 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
| T_MeetSemilattice_90 | MAlonzo.Code.Algebra.Lattice.Bundles |
| T_Metric_396 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_MiddleBolLoop_4894 | MAlonzo.Code.Algebra.Bundles |
| T_MinOperator_106 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
| T_Modality_68 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Monad_246 | MAlonzo.Code.Utils |
| T_Monoid_914 | MAlonzo.Code.Algebra.Bundles |
| T_Morphism_260 | MAlonzo.Code.Effect.Applicative |
| T_Morphism_60 | MAlonzo.Code.Effect.Functor |
| T_MoufangLoop_4782 | MAlonzo.Code.Algebra.Bundles |
| T_Nat_6 | MAlonzo.Code.Agda.Builtin.Nat |
| T_Nearring_3754 | MAlonzo.Code.Algebra.Bundles |
| T_NearSemiring_1814 | MAlonzo.Code.Algebra.Bundles |
| T_Negative_170 | MAlonzo.Code.Data.Integer.Base |
| T_NonAssociativeRing_3596 | MAlonzo.Code.Algebra.Bundles |
| T_NonEmpty_446 | MAlonzo.Code.Relation.Binary.Definitions |
| T_NonNegative_146 | MAlonzo.Code.Data.Integer.Base |
| T_NonPositive_158 | MAlonzo.Code.Data.Integer.Base |
| T_NonTrivial_154 | MAlonzo.Code.Data.Nat.Base |
| T_NonZero_112 | MAlonzo.Code.Data.Nat.Base |
| T_NotImplemented_12 | MAlonzo.Code.VerifiedCompilation.NotImplemented |
| T_OneVariableQuadraticFunction_44 | MAlonzo.Code.Cost.Raw |
| T_Ordering_452 | MAlonzo.Code.Data.Nat.Base |
| T_Ordering_476 | MAlonzo.Code.Data.Fin.Base |
| T_Parity_6 | MAlonzo.Code.Data.Parity.Base |
| T_ParseError_4 | MAlonzo.Code.Evaluator.Base |
| T_PartialSetoid_10 | MAlonzo.Code.Relation.Binary.Bundles |
| T_Pattern_158 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Pointwise_48 | MAlonzo.Code.Data.List.Relation.Binary.Pointwise.Base |
| T_Pointwise_70 | MAlonzo.Code.Data.Sum.Relation.Binary.Pointwise |
| T_Policy_4 | MAlonzo.Code.VerifiedCompilation.NotImplemented |
| T_Poset_492 | MAlonzo.Code.Relation.Binary.Bundles |
| T_Positive_134 | MAlonzo.Code.Data.Integer.Base |
| T_Precedence_22 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_PreMetric_98 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_Preorder_142 | MAlonzo.Code.Relation.Binary.Bundles |
| T_PrintfSpec_18 | MAlonzo.Code.Text.Printf.Generic |
| T_ProgramNU_26 | MAlonzo.Code.Evaluator.Program |
| T_ProgramN_18 | MAlonzo.Code.Evaluator.Program |
| T_ProgramU_28 | MAlonzo.Code.Evaluator.Program |
| T_Program_20 | MAlonzo.Code.Evaluator.Program |
| T_Progress_10 | MAlonzo.Code.Algorithmic.ReductionEC.Progress |
| T_Progress_514 | MAlonzo.Code.Untyped.Reduction |
| T_Proof'63'_66 | MAlonzo.Code.VerifiedCompilation.Certificate |
| T_ProofOrCE_38 | MAlonzo.Code.VerifiedCompilation.Certificate |
| T_ProtoMetric_12 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_pureFD_6 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| T_Pure_6 | MAlonzo.Code.Untyped.Purity |
| T_Quantity_62 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Quasigroup_4358 | MAlonzo.Code.Algebra.Bundles |
| T_Quasiring_3292 | MAlonzo.Code.Algebra.Bundles |
| T_QuasiSemiMetric_190 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_RawAlternative_184 | MAlonzo.Code.Effect.Applicative |
| T_RawApplicativeZero_122 | MAlonzo.Code.Effect.Applicative |
| T_RawApplicative_20 | MAlonzo.Code.Effect.Applicative |
| T_RawChoice_16 | MAlonzo.Code.Effect.Choice |
| T_RawEmpty_16 | MAlonzo.Code.Effect.Empty |
| T_RawFunctor_24 | MAlonzo.Code.Effect.Functor |
| T_RawGroup_108 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawKleeneAlgebra_440 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawLattice_12 | MAlonzo.Code.Algebra.Lattice.Bundles.Raw |
| T_RawLoop_392 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawMagma_44 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawModel_144 | MAlonzo.Code.Cost.Raw |
| T_RawMonadPlus_288 | MAlonzo.Code.Effect.Monad |
| T_RawMonadTd_382 | MAlonzo.Code.Effect.Monad |
| T_RawMonadZero_208 | MAlonzo.Code.Effect.Monad |
| T_RawMonad_24 | MAlonzo.Code.Effect.Monad |
| T_RawMonoid_74 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawNearSemiring_148 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawQuasigroup_350 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawRelation_40 | MAlonzo.Code.Relation.Binary.Bundles.Raw |
| T_RawRingWithoutOne_240 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawRing_290 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawSemiring_190 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawSetoid_12 | MAlonzo.Code.Relation.Binary.Bundles.Raw |
| T_RawSuccessorSet_10 | MAlonzo.Code.Algebra.Bundles.Raw |
| T_RawTm_32 | MAlonzo.Code.Raw |
| T_RawTyCon_4 | MAlonzo.Code.Raw |
| T_RawTy_2 | MAlonzo.Code.Raw |
| T_ReflClosure_30 | MAlonzo.Code.Relation.Binary.Construct.Closure.Reflexive |
| T_Reflects_16 | MAlonzo.Code.Relation.Nullary.Reflects |
| T_Relevance_56 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Reveal_'183'_is__142 | MAlonzo.Code.Relation.Binary.PropositionalEquality |
| T_RightBolLoop_4676 | MAlonzo.Code.Algebra.Bundles |
| T_RightInverse_2036 | MAlonzo.Code.Function.Bundles |
| T_RingWithoutOne_3434 | MAlonzo.Code.Algebra.Bundles |
| T_Ring_3908 | MAlonzo.Code.Algebra.Bundles |
| T_RuntimeError_410 | MAlonzo.Code.Utils |
| T_ScopedTm_522 | MAlonzo.Code.Scoped |
| T_ScopedTy_14 | MAlonzo.Code.Scoped |
| T_ScopeError_576 | MAlonzo.Code.Scoped |
| T_SelectiveMagma_130 | MAlonzo.Code.Algebra.Bundles |
| T_Semigroup_558 | MAlonzo.Code.Algebra.Bundles |
| T_Semilattice_10 | MAlonzo.Code.Algebra.Lattice.Bundles |
| T_SemimedialMagma_494 | MAlonzo.Code.Algebra.Bundles |
| T_SemiMetric_290 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_SemiringWithoutAnnihilatingZero_2204 | MAlonzo.Code.Algebra.Bundles |
| T_SemiringWithoutOne_1930 | MAlonzo.Code.Algebra.Bundles |
| T_Semiring_2356 | MAlonzo.Code.Algebra.Bundles |
| T_Setoid_46 | MAlonzo.Code.Relation.Binary.Bundles |
| T_SignAbs_244 | MAlonzo.Code.Data.Integer.Base |
| T_Sign_6 | MAlonzo.Code.Data.Sign.Base |
| T_SigTy_266 | MAlonzo.Code.Builtin.Signature |
| T_Sig_72 | MAlonzo.Code.Builtin.Signature |
| T_SimplifierTag_4 | MAlonzo.Code.VerifiedCompilation.Trace |
| T_SnocView_304 | MAlonzo.Code.Data.List.NonEmpty.Base |
| T_Sort_156 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_Stack_1264 | MAlonzo.Code.Algorithmic.CEK |
| T_Stack_18 | MAlonzo.Code.Algorithmic.CK |
| T_Stack_6 | MAlonzo.Code.Untyped.CEK |
| T_State_1278 | MAlonzo.Code.Algorithmic.CEK |
| T_State_218 | MAlonzo.Code.Untyped.CEK |
| T_State_34 | MAlonzo.Code.Algorithmic.CK |
| T_StepKind_6 | MAlonzo.Code.Cost.Base |
| T_Steps_30 | MAlonzo.Code.Algorithmic.Evaluation |
| T_StrictPartialOrder_760 | MAlonzo.Code.Relation.Binary.Bundles |
| T_StrictTotalOrder_1280 | MAlonzo.Code.Relation.Binary.Bundles |
| T_String_6 | MAlonzo.Code.Agda.Builtin.String |
| T_SubRelation_60 | MAlonzo.Code.Relation.Binary.Reasoning.Syntax |
| T_SuccessorSet_8 | MAlonzo.Code.Algebra.Bundles |
| T_Surjection_918 | MAlonzo.Code.Function.Bundles |
| T_SymmetricKind_86 | MAlonzo.Code.Function.Related.Propositional |
| T_TagCon_106 | MAlonzo.Code.RawU |
| T_Tag_28 | MAlonzo.Code.RawU |
| T_TermNU_22 | MAlonzo.Code.Evaluator.Term |
| T_TermN_18 | MAlonzo.Code.Evaluator.Term |
| T_TermU_24 | MAlonzo.Code.Evaluator.Term |
| T_Term_14 | MAlonzo.Code.Evaluator.Term |
| T_Term_154 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_TestPat_806 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_These_38 | MAlonzo.Code.Data.These.Base |
| T_TmCon_202 | MAlonzo.Code.RawU |
| T_TotalOrder_986 | MAlonzo.Code.Relation.Binary.Bundles |
| T_TotalPreorder_240 | MAlonzo.Code.Relation.Binary.Bundles |
| T_Trace_62 | MAlonzo.Code.VerifiedCompilation.Trace |
| T_Translation_12 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| T_TransMatch_18 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
| T_Tree_192 | MAlonzo.Code.Data.Tree.AVL.Indexed |
| T_Tree_266 | MAlonzo.Code.Data.Tree.AVL |
| T_Tri_158 | MAlonzo.Code.Relation.Binary.Definitions |
| T_TwoVariableLinearFunction_60 | MAlonzo.Code.Cost.Raw |
| T_TwoVariableQuadraticFunction_76 | MAlonzo.Code.Cost.Raw |
| T_TwoVariableWithInteractionFunction_108 | MAlonzo.Code.Cost.Raw |
| T_TyCon_6 | MAlonzo.Code.Builtin.Constant.Type |
| T_TypecheckOptions_30 | MAlonzo.Code.Main |
| T_TypeError_12 | MAlonzo.Code.Check |
| T_TypeN_20 | MAlonzo.Code.Evaluator.Term |
| T_Type_16 | MAlonzo.Code.Evaluator.Term |
| T_UCSE_4 | MAlonzo.Code.VerifiedCompilation.UCSE |
| T_UltraMetric_508 | MAlonzo.Code.Function.Metric.Nat.Bundles |
| T_UnitalMagma_844 | MAlonzo.Code.Algebra.Bundles |
| T_Untyped_208 | MAlonzo.Code.RawU |
| T_Value_14 | MAlonzo.Code.Untyped.CEK |
| T_Value_182 | MAlonzo.Code.Untyped.Reduction |
| T_Value_28 | MAlonzo.Code.Algorithmic.ReductionEC |
| T_Value_40 | MAlonzo.Code.Data.Tree.AVL.Value |
| T_Value_52 | MAlonzo.Code.Algorithmic.CEK |
| T_Vec'8804'_126 | MAlonzo.Code.Data.Vec.Bounded.Base |
| T_Vec_28 | MAlonzo.Code.Data.Vec.Base |
| T_Visibility_48 | MAlonzo.Code.Agda.Builtin.Reflection |
| T_WeirdFin_56 | MAlonzo.Code.Scoped |
| T_Weirdℕ_42 | MAlonzo.Code.Scoped |
| T_Writer_366 | MAlonzo.Code.Utils |
| T_Zipper_78 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
| T__'10216''91''8801''93''10217'β__8 | MAlonzo.Code.Type.Equality |
| T__'10230''42'__470 | MAlonzo.Code.Untyped.Reduction |
| T__'10230'__256 | MAlonzo.Code.Untyped.Reduction |
| T__'183''7510'__884 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T__'215'__428 | MAlonzo.Code.Utils |
| T__'47'_'8866''8902'_26 | MAlonzo.Code.Builtin.Signature |
| T__'47'_'8866'r'8902'_64 | MAlonzo.Code.Builtin.Signature |
| T__'60''8314'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.Strict |
| T__'60''8314'__374 | MAlonzo.Code.Induction.WellFounded |
| T__'60''8331'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.Strict |
| T__'60'__18 | MAlonzo.Code.Data.Bool.Base |
| T__'60'__454 | MAlonzo.Code.Induction.WellFounded |
| T__'60'__50 | MAlonzo.Code.Data.Integer.Base |
| T__'8212''8594''8902'__652 | MAlonzo.Code.Algorithmic.ReductionEC |
| T__'8212''8594'__750 | MAlonzo.Code.Algorithmic.ReductionEC |
| T__'8212''8608'__780 | MAlonzo.Code.Algorithmic.ReductionEC |
| T__'8605'_28 | MAlonzo.Code.VerifiedCompilation.UInline |
| T__'8715''8902'__14 | MAlonzo.Code.Type |
| T__'8715'__16 | MAlonzo.Code.Algorithmic |
| T__'8715'__34 | MAlonzo.Code.Declarative |
| T__'8724'_'8803'__180 | MAlonzo.Code.Utils |
| T__'8739''691'__54 | MAlonzo.Code.Algebra.Definitions.RawMagma |
| T__'8739''737'__28 | MAlonzo.Code.Algebra.Definitions.RawMagma |
| T__'8739'__20 | MAlonzo.Code.Data.Nat.Divisibility.Core |
| T__'8759''7510'__1890 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T__'8764'_'8852'__30 | MAlonzo.Code.Data.Tree.AVL.Height |
| T__'8771'__24 | MAlonzo.Code.Function.Properties.Inverse.HalfAdjointEquivalence |
| T__'8773'__1202 | MAlonzo.Code.Untyped.Reduction |
| T__'8773'__22 | MAlonzo.Code.Relation.Binary.HeterogeneousEquality.Core |
| T__'8776''8729'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Point.Equality |
| T__'8801'__12 | MAlonzo.Code.Agda.Builtin.Equality |
| T__'8801'β__10 | MAlonzo.Code.Type.Equality |
| T__'8803'I_'60''62''62'__1110 | MAlonzo.Code.Utils.List |
| T__'8803'_'60''62''62'__684 | MAlonzo.Code.Utils.List |
| T__'8804''8242'__342 | MAlonzo.Code.Data.Nat.Base |
| T__'8804''8244'__422 | MAlonzo.Code.Data.Nat.Base |
| T__'8804''8314'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Supremum.NonStrict |
| T__'8804''8331'__20 | MAlonzo.Code.Relation.Binary.Construct.Add.Infimum.NonStrict |
| T__'8804'__10 | MAlonzo.Code.Data.Bool.Base |
| T__'8804'__22 | MAlonzo.Code.Data.Nat.Base |
| T__'8804'__26 | MAlonzo.Code.Data.Integer.Base |
| T__'8826'__548 | MAlonzo.Code.Data.Fin.Base |
| T__'8829'__102 | MAlonzo.Code.VerifiedCompilation.UInline |
| T__'8846'__30 | MAlonzo.Code.Data.Sum.Base |
| T__'8866''8902'__20 | MAlonzo.Code.Type |
| T__'8866''9839'_4 | MAlonzo.Code.Builtin.Signature |
| T__'8866'Ne'8902'__6 | MAlonzo.Code.Type.BetaNormal |
| T__'8866'Nf'8902'__4 | MAlonzo.Code.Type.BetaNormal |
| T__'8866'_14 | MAlonzo.Code.Untyped |
| T__'8866'__110 | MAlonzo.Code.Declarative |
| T__'8866'__178 | MAlonzo.Code.Algorithmic |
| T__'91''8801''93'β__4 | MAlonzo.Code.Type.Equality |
| T__'91'_'93''61'__44 | MAlonzo.Code.Data.Vec.Base |
| T__'91'_'93''61'__74 | MAlonzo.Code.Data.List.Relation.Unary.All |
| T__HasNonTrivialDivisorLessThan__50 | MAlonzo.Code.Data.Nat.Divisibility.Core |
| T__IsRelatedTo__26 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Single |
| T__IsRelatedTo__62 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Double |
| T__IsRelatedTo__78 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
| T_ƛ'7510'_870 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
| T_Σ_14 | MAlonzo.Code.Agda.Builtin.Sigma |