tabulateArray | PlutusPrelude |
Tag | 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) | Data.RandomAccessList.Class |
2 (Function) | PlutusTx.Builtins.Internal, PlutusTx.Builtins |
3 (Function) | PlutusTx.List, PlutusTx.Prelude |
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 | PlutusTx.List, PlutusTx.Prelude |
takeByteString | PlutusTx.Prelude |
Tallying | Opts |
tallying | UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
tallyingbudget | 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 | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore, PlutusIR.TypeCheck.Internal, PlutusIR.TypeCheck |
tccKindCheckConfig | PlutusCore.TypeCheck.Internal |
TCEK | Opts |
tceTypeCheckConfig | PlutusCore.TypeCheck.Internal |
tceTyVarKinds | PlutusCore.TypeCheck.Internal |
tceVarTypes | PlutusCore.TypeCheck.Internal |
TCK | Opts |
TCOpts | Opts |
Term | |
1 (Type/Class) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Type/Class) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Type/Class) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
4 (Type/Class) | PlutusTx.Test.Util.Compiled |
term | UntypedPlutusCore.Parser |
termAnn | |
1 (Function) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Function) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
TermAppContext | PlutusIR.Contexts |
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) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
termConstantsDeep | |
1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
TermDef | |
1 (Type/Class) | PlutusCore.MkPlc, PlutusIR.MkPir |
2 (Type/Class) | PlutusIR.Compiler.Types |
termDefs | |
1 (Function) | PlutusCore.Analysis.Definitions |
2 (Function) | UntypedPlutusCore.Analysis.Definitions |
3 (Function) | PlutusIR.Analysis.Definitions |
TermDefWithStrictness | PlutusIR.Compiler.Definitions |
termEvaluationOrder | |
1 (Function) | UntypedPlutusCore.Purity |
2 (Function) | PlutusIR.Purity |
TermG | PlutusCore.Generators.NEAT.Term |
TermGen | PlutusCore.Generators.Hedgehog.Interesting |
Terminating | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
termIsSerializable | PlutusIR.Analysis.Builtins |
termLet | PlutusCore.MkPlc, PlutusIR.MkPir |
TermLike | PlutusCore.MkPlc, PlutusIR.MkPir |
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 |
termSize | |
1 (Function) | PlutusCore.Size, PlutusCore |
2 (Function) | UntypedPlutusCore.Size, UntypedPlutusCore |
3 (Function) | PlutusIR.Analysis.Size |
termSubkinds | |
1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
2 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
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 |
termSubstNames | |
1 (Function) | PlutusCore.Subst |
2 (Function) | UntypedPlutusCore.Subst, UntypedPlutusCore |
3 (Function) | PlutusIR.Transform.Substitute |
termSubstNamesM | |
1 (Function) | PlutusCore.Subst |
2 (Function) | UntypedPlutusCore.Subst, UntypedPlutusCore |
3 (Function) | PlutusIR.Transform.Substitute |
termSubstTyNames | |
1 (Function) | PlutusCore.Subst |
2 (Function) | PlutusIR.Transform.Substitute |
termSubstTyNamesM | |
1 (Function) | PlutusCore.Subst |
2 (Function) | PlutusIR.Transform.Substitute |
termSubterms | |
1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
termSubtermsDeep | |
1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
termSubtypes | |
1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Function) | PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
termSubtypesDeep | |
1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
2 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
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) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
termUniquesDeep | |
1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
termUsages | |
1 (Function) | UntypedPlutusCore.Analysis.Usages |
2 (Function) | PlutusIR.Analysis.Usages |
termVarInfo | PlutusIR.Analysis.VarInfo |
termVarInfoMap | PlutusIR.Analysis.VarInfo |
termVars | |
1 (Function) | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
2 (Function) | UntypedPlutusCore.Core.Plated, UntypedPlutusCore.Core, UntypedPlutusCore |
3 (Function) | PlutusIR.Core.Plated, PlutusIR.Core |
TestFail | PlutusCore.Generators.NEAT.Spec |
TestFailure | PlutusLedgerApi.Test.EvaluationEvent |
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 |
testPassProp | PlutusIR.Pass.Test |
testPassProp' | PlutusIR.Pass.Test |
tests | PlutusCore.Generators.NEAT.Spec |
TestTypesFromTheUniverseAreAllKnown | PlutusCore.Builtin.TestKnown, PlutusCore.Builtin |
test_scopingBad | PlutusCore.Test |
test_scopingGood | PlutusCore.Test |
test_scopingSpoilRenamer | PlutusCore.Test |
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 |
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.ErrorWithCause, PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
throwCtrex | PlutusCore.Generators.NEAT.Spec |
throwing | PlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
throwingEither | PlutusCore.Error |
throwingWithCause | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception |
throwingWithCause_ | PlutusCore.Evaluation.ErrorWithCause |
throwing_ | PlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
throwNotAConstant | PlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin.HasConstant, PlutusCore.Builtin |
ThrowOnBothEmpty | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
ThrowOnStuck | Text.PrettyBy.Internal |
throwPlain | PlutusTx.Compiler.Error |
throwSd | PlutusTx.Compiler.Utils |
throwUnderTypeError | PlutusCore.Builtin.Result, PlutusCore.Builtin |
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 | Opts |
TmBoolG | PlutusCore.Generators.NEAT.Term |
TmByteStringG | PlutusCore.Generators.NEAT.Term |
TmDataG | PlutusCore.Generators.NEAT.Term |
TmIntegerG | PlutusCore.Generators.NEAT.Term |
tmnames | |
1 (Function) | Raw |
2 (Function) | Untyped |
TmStringG | PlutusCore.Generators.NEAT.Term |
TmUnitG | PlutusCore.Generators.NEAT.Term |
to | |
1 (Function) | PlutusCore.Check.Scoping |
2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
toAnonDeBruijnProg | PlutusTx.Test.Util.Compiled |
toAnonDeBruijnTerm | PlutusTx.Test.Util.Compiled |
ToBinds | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin |
ToBuiltin | PlutusTx.Builtins.HasBuiltin |
toBuiltin | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.Builtins.HasBuiltin, PlutusTx.Builtins, PlutusTx.Prelude |
toBuiltinData | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx |
toBuiltinList | PlutusTx.Data.AssocMap |
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 |
toCellCandidatesNumber | |
1 (Function) | PlutusLedgerApi.Test.V1.Data.Value |
2 (Function) | PlutusLedgerApi.Test.V1.Value |
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 |
toCostModelParams | PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
ToData | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx |
toData | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.IsData.Class, PlutusTx.IsData, PlutusTx |
toDeBruijnTermPLC | PlutusCore.Executable.AstIO |
toDeBruijnTermUPLC | PlutusCore.Executable.AstIO |
toDeBruijnTypePLC | PlutusCore.Executable.AstIO |
toDefaultCompilationCtx | PlutusIR.Compiler.Types, PlutusIR.Compiler |
toDigits | PlutusTx.Show |
toEnum | PlutusTx.Enum, PlutusTx.Prelude |
toEnumBoolBadArgumentError | PlutusTx.ErrorCodes |
toEnumOrderingBadArgumentError | PlutusTx.ErrorCodes |
toEnumVoidBadArgumentError | PlutusTx.ErrorCodes |
toErrorB | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
toFake | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
toGHC | PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3, PlutusTx.Ratio |
ToHoles | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin |
TokenName | |
1 (Type/Class) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
3 (Type/Class) | PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.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) | PlutusPrelude |
2 (Function) | PlutusTx.Foldable, PlutusTx.Prelude |
3 (Function) | PlutusTx.Data.AssocMap |
4 (Function) | PlutusTx.AssocMap |
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 |
toOpaque | PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3, PlutusTx.Builtins.HasOpaque, PlutusTx.Builtins, PlutusTx.Prelude |
top | PlutusTx.Lattice, PlutusTx.Prelude |
toPatFuncKind | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
topFixity | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity, Text.PrettyBy.Fixity |
toPolyF | PlutusCore.Builtin.Meaning, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
topPrettyConfigReadable | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
topRenderContext | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity, Text.PrettyBy.Fixity |
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 | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1 |
ToScopedName | PlutusCore.Check.Scoping |
toScopedName | PlutusCore.Check.Scoping |
toScriptHash | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1 |
toSimpleBuiltinCostModel | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
toSingKind | PlutusCore.Builtin.KnownKind, PlutusCore.Builtin |
toSOP | PlutusTx.Data.List |
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 |
ToTheLeft | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity.Internal, Text.Fixity, Text.PrettyBy.Fixity |
ToTheRight | PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.Fixity.Internal, Text.Fixity, Text.PrettyBy.Fixity |
ToTPlc | PlutusCore.Test |
toTPlc | PlutusCore.Test |
toTypeAst | PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin |
ToUPlc | PlutusCore.Test |
toUPlc | PlutusCore.Test |
Trace | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
trace | |
1 (Function) | PlutusPrelude |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Trace, PlutusTx.Prelude |
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 |
traceCompilationStep | PlutusTx.Compiler.Trace |
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 |
transferArgStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
Traversable | PlutusTx.Traversable, PlutusTx.Prelude |
traverse | PlutusTx.Traversable, PlutusTx.Prelude |
traverse_ | |
1 (Function) | PlutusPrelude |
2 (Function) | PlutusTx.Foldable, PlutusTx.Prelude |
TreasuryWithdrawals | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.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) | PlutusCore.StdLib.Data.Bool |
2 (Function) | PlutusTx.Builtins.Internal |
truncate | PlutusTx.Ratio |
truncateDouble | MAlonzo.RTE.Float |
tryError | PlutusPrelude |
tryUniApply | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
Tuple | |
1 (Type/Class) | PlutusCore.StdLib.Meta.Data.Tuple |
2 (Data Constructor) | PlutusCore.StdLib.Meta.Data.Tuple |
tupled | Text.Pretty |
tupleDefAt | PlutusCore.StdLib.Meta.Data.Tuple |
tupleTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
tupleTypeTermAt | PlutusCore.StdLib.Meta.Data.Tuple |
tvTerm | |
1 (Function) | PlutusCore.Subst |
2 (Function) | PlutusIR.Subst |
tvTy | PlutusCore.Subst, PlutusIR.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 |
TxCert | |
1 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertAuthHotCommittee | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertDelegStaking | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertPoolRegister | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertPoolRetire | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertRegDeleg | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertRegDRep | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertRegStaking | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertResignColdCommittee | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertUnRegDRep | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertUnRegStaking | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxCertUpdateDRep | |
1 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxId | |
1 (Type/Class) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
3 (Type/Class) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
4 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
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 |
TxInfo | |
1 (Type/Class) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
3 (Type/Class) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
4 (Data Constructor) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
5 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
6 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
7 (Type/Class) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
8 (Data Constructor) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
9 (Type/Class) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
10 (Data Constructor) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
11 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
12 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoCurrentTreasuryAmount | |
1 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoData | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoDCert | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
4 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
txInfoFee | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoId | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoInputs | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoMint | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoOutputs | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoProposalProcedures | |
1 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoRedeemers | |
1 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
3 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
4 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoReferenceInputs | |
1 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
3 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
4 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoSignatories | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoTreasuryDonation | |
1 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoTxCerts | |
1 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoValidRange | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoVotes | |
1 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
2 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInfoWdrl | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxInInfo | |
1 (Type/Class) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
3 (Type/Class) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
4 (Data Constructor) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
5 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
6 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
7 (Type/Class) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
8 (Data Constructor) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
9 (Type/Class) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
10 (Data Constructor) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
11 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
12 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInInfoOutRef | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
txInInfoResolved | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
TxOut | |
1 (Type/Class) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
3 (Type/Class) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
4 (Data Constructor) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
5 (Type/Class) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
6 (Data Constructor) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
7 (Type/Class) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
8 (Data Constructor) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
txOutAddress | |
1 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
3 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
4 (Function) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
txOutDatum | |
1 (Function) | PlutusLedgerApi.V1.Tx |
2 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
3 (Function) | PlutusLedgerApi.V1.Data.Tx |
4 (Function) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
txOutDatumHash | |
1 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
txOutPubKey | |
1 (Function) | PlutusLedgerApi.V1.Tx |
2 (Function) | PlutusLedgerApi.V2.Tx |
3 (Function) | PlutusLedgerApi.V1.Data.Tx |
4 (Function) | PlutusLedgerApi.V2.Data.Tx |
TxOutRef | |
1 (Type/Class) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
3 (Type/Class) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
4 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
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 |
txOutReferenceScript | |
1 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
2 (Function) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
txOutRefId | |
1 (Function) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
2 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
txOutRefIdx | |
1 (Function) | PlutusLedgerApi.V3.Tx, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
2 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
3 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
txOutValue | |
1 (Function) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Tx, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
3 (Function) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
4 (Function) | PlutusLedgerApi.V2.Data.Tx, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
txSignedBy | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts |
3 (Function) | PlutusLedgerApi.V3.Contexts |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts |
TyAbs | |
1 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
tyAbs | PlutusCore.MkPlc, PlutusIR.MkPir |
TyAbsG | PlutusCore.Generators.NEAT.Term |
TyApp | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
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 | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
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) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir |
2 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir |
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 | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.MkPir |
TyForall | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
TyForallG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
TyForallRep | PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin.KnownTypeAst, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
TyFun | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
TyFunG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
TyIFix | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
TyIFixG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
TyInst | |
1 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Type/Class) | PlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck |
3 (Data Constructor) | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
tyInst | PlutusCore.MkPlc, PlutusIR.MkPir |
TyInstG | PlutusCore.Generators.NEAT.Term |
TyIntegerG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
TyLam | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
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) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
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) | PlutusCore.Generators.NEAT.Spec |
2 (Function) | Raw |
TyNameState | |
1 (Type/Class) | PlutusCore.Generators.NEAT.Common |
2 (Data Constructor) | PlutusCore.Generators.NEAT.Common |
tyNameToDeBruijn | PlutusCore.DeBruijn.Internal |
Type | |
1 (Type/Class) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
2 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
Typeable | |
1 (Type/Class) | PlutusPrelude, PlutusCore.Builtin.TypeScheme, PlutusCore.Builtin |
2 (Type/Class) | PlutusTx.Lift.Class, PlutusTx |
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 |
TypeBind | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
TypeBinding | PlutusIR.Compiler.Provenance, PlutusIR.Compiler |
TypeBuiltinG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
Typecheck | Opts |
Typecheckable | PlutusCore.TypeCheck, PlutusCore |
typeCheckAgainst | PlutusTx.Lift |
TypeCheckConfig | |
1 (Type/Class) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore, PlutusIR.TypeCheck.Internal |
2 (Data Constructor) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore, PlutusIR.TypeCheck.Internal |
typeCheckConfig | PlutusCore.TypeCheck.Internal |
TypeCheckEnv | |
1 (Type/Class) | PlutusCore.TypeCheck.Internal |
2 (Data Constructor) | PlutusCore.TypeCheck.Internal |
TypecheckOptions | Opts |
typecheckOpts | Opts |
typecheckPass | PlutusIR.Pass |
Typechecks | PlutusIR.Pass |
TypeCheckT | PlutusCore.TypeCheck.Internal, PlutusIR.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 | PlutusCore.MkPlc, PlutusIR.MkPir |
TypeError | |
1 (Type/Class) | PlutusCore.Error, PlutusCore, PlutusIR.Error |
2 (Data Constructor) | PlutusCore.Generators.NEAT.Spec |
3 (Data Constructor) | Raw |
TypeErrorE | PlutusCore.Error, PlutusCore |
TypeErrorExt | PlutusIR.Error |
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 | PlutusCore.MkPlc, PlutusIR.MkPir |
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 |
typeSize | PlutusCore.Size, PlutusCore, PlutusIR.Analysis.Size |
TypeSub | PlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck |
typeSubkinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core |
TypeSubst | |
1 (Type/Class) | PlutusIR.Transform.Inline.Utils |
2 (Data Constructor) | PlutusIR.Transform.Inline.Utils |
typeSubst | PlutusIR.Transform.Inline.Utils |
typeSubstClosedType | PlutusCore.Subst |
typeSubstTyNames | PlutusCore.Subst, PlutusIR.Transform.Substitute |
typeSubstTyNamesM | PlutusCore.Subst |
typeSubtypes | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Plated, PlutusIR.Core, PlutusIR |
typeSubtypesDeep | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core |
typeTyBinds | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
typeTyVars | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
TypeUnique | |
1 (Type/Class) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
2 (Data Constructor) | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
typeUniques | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core |
typeUniquesDeep | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusIR.Core.Plated, PlutusIR.Core |
typeUsages | PlutusIR.Analysis.Usages |
typeVarInfoMap | PlutusIR.Analysis.VarInfo |
TySOP | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
TyStringG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
TyUnitG | PlutusCore.Generators.NEAT.Type, PlutusCore.Generators.NEAT.Term |
TyVar | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
TyVarDecl | |
1 (Type/Class) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
2 (Data Constructor) | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir |
tyVarDeclAnn | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
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 |
tyVarDeclSize | PlutusCore.Size, PlutusIR.Analysis.Size |
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_'9839'Kinded_40 | MAlonzo.Code.Algorithmic |
T_AbelianGroup_1636 | MAlonzo.Code.Algebra.Bundles |
T_Abs_112 | MAlonzo.Code.Agda.Builtin.Reflection |
T_Acc_42 | MAlonzo.Code.Induction.WellFounded |
T_Alignment_92 | MAlonzo.Code.Data.String.Base |
T_AllForced_18 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
T_AllPairs_20 | MAlonzo.Code.Data.List.Relation.Unary.AllPairs.Core |
T_allTerms_788 | 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_AlternativeMagma_296 | 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_1248 | MAlonzo.Code.Relation.Binary.Bundles |
T_ArgChunk_4 | MAlonzo.Code.Text.Format |
T_ArgInfo_76 | MAlonzo.Code.Agda.Builtin.Reflection |
T_Arg_88 | MAlonzo.Code.Agda.Builtin.Reflection |
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_596 | 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_2054 | MAlonzo.Code.Function.Bundles |
T_BiInverse_2080 | MAlonzo.Code.Function.Bundles |
T_Bijection_926 | MAlonzo.Code.Function.Bundles |
T_Blocker_100 | MAlonzo.Code.Agda.Builtin.Reflection |
T_Bls12'45'381'45'G1'45'Element_464 | MAlonzo.Code.Utils |
T_Bls12'45'381'45'G2'45'Element_468 | MAlonzo.Code.Utils |
T_Bls12'45'381'45'MlResult_472 | MAlonzo.Code.Utils |
T_BooleanAlgebra_682 | MAlonzo.Code.Algebra.Lattice.Bundles |
T_BooleanAlgebra_898 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
T_Bool_6 | MAlonzo.Code.Agda.Builtin.Bool |
T_BoundedJoinSemilattice_102 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
T_BoundedJoinSemilattice_414 | MAlonzo.Code.Algebra.Lattice.Bundles |
T_BoundedLattice_616 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
T_BoundedMeetSemilattice_288 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
T_BoundedMeetSemilattice_328 | MAlonzo.Code.Algebra.Lattice.Bundles |
T_BoundedSemilattice_232 | MAlonzo.Code.Algebra.Lattice.Bundles |
T_BudgetMode_36 | MAlonzo.Code.Evaluator.Program |
T_BuiltinModel_60 | MAlonzo.Code.Cost.Model |
T_Builtin_2 | MAlonzo.Code.Builtin |
T_Bwd_6 | MAlonzo.Code.Utils.List |
T_ByteString_356 | MAlonzo.Code.Utils |
T_CancellativeCommutativeSemiring_2632 | MAlonzo.Code.Algebra.Bundles |
T_Cases_104 | MAlonzo.Code.Declarative |
T_Cases_162 | MAlonzo.Code.Algorithmic |
T_Char_6 | MAlonzo.Code.Agda.Builtin.Char |
T_Chunk_60 | MAlonzo.Code.Text.Format.Generic |
T_Clause_160 | MAlonzo.Code.Agda.Builtin.Reflection |
T_CoCCase_42 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
T_CoCForce_146 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
T_CoC_4 | MAlonzo.Code.VerifiedCompilation.UCaseOfCase |
T_Command_36 | MAlonzo.Code.Main |
T_CommutativeBand_732 | MAlonzo.Code.Algebra.Bundles |
T_CommutativeMagma_180 | MAlonzo.Code.Algebra.Bundles |
T_CommutativeMonoid_962 | MAlonzo.Code.Algebra.Bundles |
T_CommutativeRing_4016 | MAlonzo.Code.Algebra.Bundles |
T_CommutativeSemigroup_662 | MAlonzo.Code.Algebra.Bundles |
T_CommutativeSemiringWithoutOne_2002 | MAlonzo.Code.Algebra.Bundles |
T_CommutativeSemiring_2446 | MAlonzo.Code.Algebra.Bundles |
T_CostingModel_8 | MAlonzo.Code.Cost.Model |
T_CpuAndMemoryModel_146 | 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_450 | MAlonzo.Code.Utils |
T_DecEq_6 | MAlonzo.Code.VerifiedCompilation.Equality |
T_DecPoset_406 | MAlonzo.Code.Relation.Binary.Bundles |
T_DecSetoid_84 | MAlonzo.Code.Relation.Binary.Bundles |
T_DecStrictPartialOrder_638 | MAlonzo.Code.Relation.Binary.Bundles |
T_DecTotalOrder_866 | MAlonzo.Code.Relation.Binary.Bundles |
T_Dec_20 | MAlonzo.Code.Relation.Nullary.Decidable.Core |
T_Definition_280 | MAlonzo.Code.Agda.Builtin.Reflection |
T_DenseLinearOrder_1140 | MAlonzo.Code.Relation.Binary.Bundles |
T_DistributiveLattice_496 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
T_DistributiveLattice_584 | 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_1714 | MAlonzo.Code.Function.Bundles |
T_ErrorPart_308 | MAlonzo.Code.Agda.Builtin.Reflection |
T_Error_1074 | MAlonzo.Code.Algorithmic.CEK |
T_ERROR_12 | MAlonzo.Code.Evaluator.Base |
T_Error_338 | MAlonzo.Code.Algorithmic.ReductionEC |
T_Error_82 | MAlonzo.Code.Text.Format.Generic |
T_Error_96 | 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_ExBudgetCategory_34 | MAlonzo.Code.Cost.Base |
T_ExBudget_52 | MAlonzo.Code.Cost |
T_FD_84 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
T_FileHandle_332 | MAlonzo.Code.VerifiedCompilation |
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_474 | MAlonzo.Code.VerifiedCompilation.UFloatDelay |
T_FlexibleMagma_358 | MAlonzo.Code.Algebra.Bundles |
T_Float_6 | MAlonzo.Code.Agda.Builtin.Float |
T_FocusedProgDissect_28 | MAlonzo.Code.Algorithmic.ReductionEC.Progress |
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_1084 | 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_714 | MAlonzo.Code.Function.Bundles |
T_Gas_4 | MAlonzo.Code.Algorithmic.Evaluation |
T_GeneralizeTel_10107 | MAlonzo.Code.Induction.WellFounded |
T_GeneralizeTel_101603 | MAlonzo.Code.Data.List.Relation.Unary.All.Properties |
T_GeneralizeTel_1875 | MAlonzo.Code.Relation.Nullary.Decidable |
T_GeneralizeTel_407 | MAlonzo.Code.Function.Properties.RightInverse |
T_GeneralizeTel_423 | MAlonzo.Code.Function.Properties.Surjection |
T_GeneralizeTel_6167 | MAlonzo.Code.Induction.WellFounded |
T_GeneralizeTel_9221 | MAlonzo.Code.Function.Properties.Surjection |
T_Group_1520 | MAlonzo.Code.Algebra.Bundles |
T_HCekMachineCosts_4 | MAlonzo.Code.Cost.Raw |
T_HExBudget_6 | MAlonzo.Code.Cost.Raw |
T_HeytingAlgebra_750 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
T_HsEq_260 | MAlonzo.Code.VerifiedCompilation.Equality |
T_IBwd_396 | MAlonzo.Code.Utils.List |
T_IdempotentCommutativeMonoid_1148 | MAlonzo.Code.Algebra.Bundles |
T_IdempotentMagma_238 | MAlonzo.Code.Algebra.Bundles |
T_IdempotentMonoid_1058 | MAlonzo.Code.Algebra.Bundles |
T_IdempotentSemiring_2822 | 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_60 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles |
T_IndexedSetoid_18 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Bundles |
T_InitLast_474 | MAlonzo.Code.Data.List.Base |
T_Injection_776 | MAlonzo.Code.Function.Bundles |
T_Input_16 | MAlonzo.Code.Evaluator.Program |
T_Int_6 | MAlonzo.Code.Agda.Builtin.Int |
T_Inverse_1960 | MAlonzo.Code.Function.Bundles |
T_InvertibleMagma_1360 | MAlonzo.Code.Algebra.Bundles |
T_InvertibleUnitalMagma_1434 | MAlonzo.Code.Algebra.Bundles |
T_IO_8 | MAlonzo.Code.Agda.Builtin.IO |
T_Irrelevant_20 | MAlonzo.Code.Data.Irrelevant |
T_IsAbelianGroupMorphism_1260 | MAlonzo.Code.Algebra.Morphism |
T_IsAbelianGroup_1132 | MAlonzo.Code.Algebra.Structures |
T_IsAlternativeMagma_284 | MAlonzo.Code.Algebra.Structures |
T_IsApartnessRelation_656 | MAlonzo.Code.Relation.Binary.Structures |
T_isApp_142 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_IsBand_508 | MAlonzo.Code.Algebra.Structures |
T_IsBiEquivalence_584 | MAlonzo.Code.Function.Structures |
T_IsBiInverse_666 | MAlonzo.Code.Function.Structures |
T_IsBijection_238 | MAlonzo.Code.Function.Structures |
T_IsBooleanAlgebra_3112 | MAlonzo.Code.Algebra.Lattice.Structures |
T_IsBooleanAlgebra_730 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
T_IsBoundedJoinSemilattice_116 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
T_IsBoundedLattice_502 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
T_IsBoundedMeetSemilattice_274 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
T_isBuiltin_698 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_IsCancellativeCommutativeSemiring_1798 | MAlonzo.Code.Algebra.Structures |
T_isCase_574 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_IsCommutativeBand_590 | MAlonzo.Code.Algebra.Structures |
T_IsCommutativeMagma_212 | MAlonzo.Code.Algebra.Structures |
T_IsCommutativeMonoid'691'_2716 | MAlonzo.Code.Algebra.Structures.Biased |
T_IsCommutativeMonoid'737'_2662 | MAlonzo.Code.Algebra.Structures.Biased |
T_IsCommutativeMonoidMorphism_498 | MAlonzo.Code.Algebra.Morphism |
T_IsCommutativeMonoid_736 | MAlonzo.Code.Algebra.Structures |
T_IsCommutativeRing_2796 | MAlonzo.Code.Algebra.Structures |
T_IsCommutativeSemigroup_548 | MAlonzo.Code.Algebra.Structures |
T_IsCommutativeSemiring'691'_3098 | MAlonzo.Code.Algebra.Structures.Biased |
T_IsCommutativeSemiring'737'_2970 | MAlonzo.Code.Algebra.Structures.Biased |
T_IsCommutativeSemiringWithoutOne_1382 | MAlonzo.Code.Algebra.Structures |
T_IsCommutativeSemiring_1678 | MAlonzo.Code.Algebra.Structures |
T_IsCongruent_22 | MAlonzo.Code.Function.Structures |
T_isConstr_478 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_isCon_438 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_IsDecEquivalence_44 | MAlonzo.Code.Relation.Binary.Structures |
T_IsDecPartialOrder_224 | MAlonzo.Code.Relation.Binary.Structures |
T_IsDecStrictPartialOrder_336 | MAlonzo.Code.Relation.Binary.Structures |
T_IsDecTotalOrder_460 | MAlonzo.Code.Relation.Binary.Structures |
T_isDelay_354 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_IsDenseLinearOrder_594 | MAlonzo.Code.Relation.Binary.Structures |
T_IsDistributiveLattice_3036 | MAlonzo.Code.Algebra.Lattice.Structures |
T_IsDistributiveLattice_420 | 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_26 | MAlonzo.Code.Relation.Binary.Structures |
T_isError_736 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_IsFlexibleMagma_324 | MAlonzo.Code.Algebra.Structures |
T_isForce_268 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_IsGeneralMetric_332 | MAlonzo.Code.Function.Metric.Structures |
T_IsGroupHomomorphism_622 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsGroupIsomorphism_686 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsGroupMonomorphism_648 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsGroupMorphism_960 | MAlonzo.Code.Algebra.Morphism |
T_IsGroup_1036 | MAlonzo.Code.Algebra.Structures |
T_IsHeytingAlgebra_598 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
T_IsIdempotentCommutativeMonoidMorphism_726 | MAlonzo.Code.Algebra.Morphism |
T_IsIdempotentCommutativeMonoid_852 | MAlonzo.Code.Algebra.Structures |
T_IsIdempotentMagma_248 | MAlonzo.Code.Algebra.Structures |
T_IsIdempotentMonoid_796 | MAlonzo.Code.Algebra.Structures |
T_IsIdempotentSemiring_1922 | MAlonzo.Code.Algebra.Structures |
T_IsIndexedEquivalence_22 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
T_IsIndexedPreorder_44 | MAlonzo.Code.Relation.Binary.Indexed.Heterogeneous.Structures |
T_IsInjection_92 | MAlonzo.Code.Function.Structures |
T_IsInverse_490 | MAlonzo.Code.Function.Structures |
T_IsInvertibleMagma_924 | MAlonzo.Code.Algebra.Structures |
T_IsInvertibleUnitalMagma_976 | MAlonzo.Code.Algebra.Structures |
T_IsJoinSemilattice_22 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
T_IsKleeneAlgebraHomomorphism_3274 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsKleeneAlgebraIsomorphism_3354 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsKleeneAlgebraMonomorphism_3312 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsKleeneAlgebra_2044 | MAlonzo.Code.Algebra.Structures |
T_isLambda_54 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_IsLattice_2962 | MAlonzo.Code.Algebra.Lattice.Structures |
T_IsLattice_340 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
T_IsLeftBolLoop_3104 | MAlonzo.Code.Algebra.Structures |
T_IsLeftInverse_322 | MAlonzo.Code.Function.Structures |
T_IsLoopHomomorphism_2970 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsLoopIsomorphism_3038 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsLoopMonomorphism_3002 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsLoop_3026 | MAlonzo.Code.Algebra.Structures |
T_IsMagmaHomomorphism_176 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsMagmaIsomorphism_218 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsMagmaMonomorphism_194 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsMagma_176 | MAlonzo.Code.Algebra.Structures |
T_IsMedialMagma_360 | MAlonzo.Code.Algebra.Structures |
T_IsMeetSemilattice_180 | MAlonzo.Code.Relation.Binary.Lattice.Structures |
T_IsMiddleBolLoop_3358 | MAlonzo.Code.Algebra.Structures |
T_IsMonoidHomomorphism_350 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsMonoidIsomorphism_404 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsMonoidMonomorphism_372 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsMonoidMorphism_306 | MAlonzo.Code.Algebra.Morphism |
T_IsMonoid_686 | MAlonzo.Code.Algebra.Structures |
T_IsMoufangLoop_3268 | MAlonzo.Code.Algebra.Structures |
T_IsNearring_2538 | MAlonzo.Code.Algebra.Structures |
T_IsNearSemiring'42'_2834 | MAlonzo.Code.Algebra.Structures.Biased |
T_IsNearSemiringHomomorphism_916 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsNearSemiringIsomorphism_986 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsNearSemiringMonomorphism_944 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsNearSemiring_1218 | MAlonzo.Code.Algebra.Structures |
T_IsNonAssociativeRing_2408 | MAlonzo.Code.Algebra.Structures |
T_IsOrderHomomorphism_138 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
T_IsOrderIsomorphism_238 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
T_IsOrderMonomorphism_182 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
T_IsPartialEquivalence_16 | MAlonzo.Code.Relation.Binary.Structures |
T_IsPartialOrder_174 | MAlonzo.Code.Relation.Binary.Structures |
T_IsPreMetric_102 | MAlonzo.Code.Function.Metric.Structures |
T_IsPreorder_70 | MAlonzo.Code.Relation.Binary.Structures |
T_IsProtoMetric_30 | MAlonzo.Code.Function.Metric.Structures |
T_IsQuasigroupHomomorphism_2522 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsQuasigroupIsomorphism_2596 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsQuasigroupMonomorphism_2554 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsQuasigroup_2944 | MAlonzo.Code.Algebra.Structures |
T_IsQuasiring_2180 | MAlonzo.Code.Algebra.Structures |
T_IsQuasiSemiMetric_174 | MAlonzo.Code.Function.Metric.Structures |
T_IsRelHomomorphism_42 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
T_IsRelIsomorphism_94 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
T_IsRelMonomorphism_64 | MAlonzo.Code.Relation.Binary.Morphism.Structures |
T_IsRightBolLoop_3186 | MAlonzo.Code.Algebra.Structures |
T_IsRightInverse_408 | MAlonzo.Code.Function.Structures |
T_IsRing'42'_3228 | MAlonzo.Code.Algebra.Structures.Biased |
T_IsRingHomomorphism_2132 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsRingIsomorphism_2234 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsRingMonomorphism_2172 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsRingMorphism_1676 | MAlonzo.Code.Algebra.Morphism |
T_IsRingWithoutAnnihilatingZero_3308 | MAlonzo.Code.Algebra.Structures.Biased |
T_IsRingWithoutOneHomomorphism_1632 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsRingWithoutOneIsoMorphism_1712 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsRingWithoutOneMonomorphism_1664 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsRingWithoutOne_2286 | MAlonzo.Code.Algebra.Structures |
T_IsRing_2650 | MAlonzo.Code.Algebra.Structures |
T_IsSelectiveMagma_436 | MAlonzo.Code.Algebra.Structures |
T_IsSemigroupMorphism_148 | MAlonzo.Code.Algebra.Morphism |
T_IsSemigroup_472 | MAlonzo.Code.Algebra.Structures |
T_IsSemimedialMagma_396 | MAlonzo.Code.Algebra.Structures |
T_IsSemiMetric_250 | MAlonzo.Code.Function.Metric.Structures |
T_IsSemiringHomomorphism_1282 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsSemiringIsomorphism_1364 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsSemiringMonomorphism_1316 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsSemiringWithoutAnnihilatingZero'42'_2898 | MAlonzo.Code.Algebra.Structures.Biased |
T_IsSemiringWithoutAnnihilatingZero_1468 | MAlonzo.Code.Algebra.Structures |
T_IsSemiringWithoutOne'42'_2772 | MAlonzo.Code.Algebra.Structures.Biased |
T_IsSemiringWithoutOne_1298 | MAlonzo.Code.Algebra.Structures |
T_IsSemiring_1570 | MAlonzo.Code.Algebra.Structures |
T_IsSplitSurjection_752 | MAlonzo.Code.Function.Structures |
T_IsStrictPartialOrder_290 | MAlonzo.Code.Relation.Binary.Structures |
T_IsStrictTotalOrder'7580'_522 | MAlonzo.Code.Relation.Binary.Structures.Biased |
T_IsStrictTotalOrder_534 | MAlonzo.Code.Relation.Binary.Structures |
T_IsStrict_172 | MAlonzo.Code.Relation.Binary.Reasoning.Base.Triple |
T_IsSuccessorSetHomomorphism_60 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsSuccessorSetIsomorphism_102 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsSuccessorSetMonomorphism_78 | MAlonzo.Code.Algebra.Morphism.Structures |
T_IsSuccessorSet_146 | MAlonzo.Code.Algebra.Structures |
T_IsSurjection_162 | MAlonzo.Code.Function.Structures |
T_isTerm_772 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_IsTotalOrder_404 | MAlonzo.Code.Relation.Binary.Structures |
T_IsTotalPreorder_124 | MAlonzo.Code.Relation.Binary.Structures |
T_IsUnitalMagma_642 | MAlonzo.Code.Algebra.Structures |
T_isVar_14 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_JoinSemilattice_14 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
T_JoinSemilattice_160 | MAlonzo.Code.Algebra.Lattice.Bundles |
T_K'38'__56 | MAlonzo.Code.Data.Tree.AVL.Value |
T_Kind_476 | MAlonzo.Code.Utils |
T_Kind_6 | MAlonzo.Code.Function.Related.Propositional |
T_KleeneAlgebra_3008 | MAlonzo.Code.Algebra.Bundles |
T_Lattice_386 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
T_Lattice_500 | MAlonzo.Code.Algebra.Lattice.Bundles |
T_LeftBolLoop_4454 | MAlonzo.Code.Algebra.Bundles |
T_LeftInverse_1792 | 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_382 | MAlonzo.Code.Utils |
T_Literal_124 | MAlonzo.Code.Agda.Builtin.Reflection |
T_Loop_4346 | MAlonzo.Code.Algebra.Bundles |
T_MachineParameters_46 | MAlonzo.Code.Cost.Base |
T_Magma_68 | MAlonzo.Code.Algebra.Bundles |
T_MaxOperator_128 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
T_Maybe_10 | MAlonzo.Code.Agda.Builtin.Maybe |
T_MedialMagma_416 | MAlonzo.Code.Algebra.Bundles |
T_MeetSemilattice_200 | MAlonzo.Code.Relation.Binary.Lattice.Bundles |
T_MeetSemilattice_88 | MAlonzo.Code.Algebra.Lattice.Bundles |
T_Metric_388 | MAlonzo.Code.Function.Metric.Nat.Bundles |
T_MiddleBolLoop_4772 | MAlonzo.Code.Algebra.Bundles |
T_MinOperator_98 | MAlonzo.Code.Algebra.Construct.NaturalChoice.Base |
T_Modality_68 | MAlonzo.Code.Agda.Builtin.Reflection |
T_Monad_186 | MAlonzo.Code.Utils |
T_Monoid_882 | MAlonzo.Code.Algebra.Bundles |
T_Morphism_254 | MAlonzo.Code.Effect.Applicative |
T_Morphism_58 | MAlonzo.Code.Effect.Functor |
T_MoufangLoop_4662 | MAlonzo.Code.Algebra.Bundles |
T_Nat_6 | MAlonzo.Code.Agda.Builtin.Nat |
T_Nearring_3648 | MAlonzo.Code.Algebra.Bundles |
T_NearSemiring_1766 | MAlonzo.Code.Algebra.Bundles |
T_Negative_164 | MAlonzo.Code.Data.Integer.Base |
T_NonAssociativeRing_3492 | MAlonzo.Code.Algebra.Bundles |
T_NonEmpty_440 | MAlonzo.Code.Relation.Binary.Definitions |
T_NonNegative_144 | MAlonzo.Code.Data.Integer.Base |
T_NonPositive_154 | MAlonzo.Code.Data.Integer.Base |
T_NonTrivial_152 | MAlonzo.Code.Data.Nat.Base |
T_NonZero_112 | MAlonzo.Code.Data.Nat.Base |
T_OneVariableQuadraticFunction_44 | MAlonzo.Code.Cost.Raw |
T_Ordering_438 | MAlonzo.Code.Data.Nat.Base |
T_Ordering_446 | 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_Poset_314 | MAlonzo.Code.Relation.Binary.Bundles |
T_Positive_134 | MAlonzo.Code.Data.Integer.Base |
T_Precedence_22 | MAlonzo.Code.Agda.Builtin.Reflection |
T_PreMetric_96 | MAlonzo.Code.Function.Metric.Nat.Bundles |
T_Preorder_132 | 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_Proof_466 | MAlonzo.Code.VerifiedCompilation |
T_ProtoMetric_12 | MAlonzo.Code.Function.Metric.Nat.Bundles |
T_pureFD_8 | MAlonzo.Code.VerifiedCompilation.UForceDelay |
T_Quantity_62 | MAlonzo.Code.Agda.Builtin.Reflection |
T_Quasigroup_4246 | MAlonzo.Code.Algebra.Bundles |
T_Quasiring_3204 | MAlonzo.Code.Algebra.Bundles |
T_QuasiSemiMetric_186 | MAlonzo.Code.Function.Metric.Nat.Bundles |
T_RawAlternative_180 | MAlonzo.Code.Effect.Applicative |
T_RawApplicativeZero_120 | 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_96 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawKleeneAlgebra_412 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawLattice_12 | MAlonzo.Code.Algebra.Lattice.Bundles.Raw |
T_RawLoop_366 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawMagma_36 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawModel_108 | MAlonzo.Code.Cost.Raw |
T_RawMonadPlus_284 | MAlonzo.Code.Effect.Monad |
T_RawMonadTd_376 | MAlonzo.Code.Effect.Monad |
T_RawMonadZero_206 | MAlonzo.Code.Effect.Monad |
T_RawMonad_24 | MAlonzo.Code.Effect.Monad |
T_RawMonoid_64 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawNearSemiring_134 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawQuasigroup_326 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawRingWithoutOne_222 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawRing_268 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawSemiring_174 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawSuccessorSet_10 | MAlonzo.Code.Algebra.Bundles.Raw |
T_RawTm_30 | 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_4558 | MAlonzo.Code.Algebra.Bundles |
T_RightInverse_1880 | MAlonzo.Code.Function.Bundles |
T_RingWithoutOne_3344 | MAlonzo.Code.Algebra.Bundles |
T_Ring_3800 | MAlonzo.Code.Algebra.Bundles |
T_RuntimeError_348 | MAlonzo.Code.Utils |
T_ScopedTm_522 | MAlonzo.Code.Scoped |
T_ScopedTy_14 | MAlonzo.Code.Scoped |
T_ScopeError_576 | MAlonzo.Code.Scoped |
T_SelectiveMagma_122 | MAlonzo.Code.Algebra.Bundles |
T_Semigroup_536 | MAlonzo.Code.Algebra.Bundles |
T_Semilattice_10 | MAlonzo.Code.Algebra.Lattice.Bundles |
T_SemimedialMagma_474 | MAlonzo.Code.Algebra.Bundles |
T_SemiMetric_284 | MAlonzo.Code.Function.Metric.Nat.Bundles |
T_SemiringWithoutAnnihilatingZero_2130 | MAlonzo.Code.Algebra.Bundles |
T_SemiringWithoutOne_1880 | MAlonzo.Code.Algebra.Bundles |
T_Semiring_2280 | MAlonzo.Code.Algebra.Bundles |
T_Setoid_44 | MAlonzo.Code.Relation.Binary.Bundles |
T_SignAbs_236 | MAlonzo.Code.Data.Integer.Base |
T_Sign_6 | MAlonzo.Code.Data.Sign.Base |
T_SigTy_260 | MAlonzo.Code.Builtin.Signature |
T_Sig_68 | MAlonzo.Code.Builtin.Signature |
T_SimplifierTag_2 | MAlonzo.Code.VerifiedCompilation |
T_SnocView_304 | MAlonzo.Code.Data.List.NonEmpty.Base |
T_Sort_156 | MAlonzo.Code.Agda.Builtin.Reflection |
T_Stack_1166 | MAlonzo.Code.Algorithmic.CEK |
T_Stack_18 | MAlonzo.Code.Algorithmic.CK |
T_Stack_6 | MAlonzo.Code.Untyped.CEK |
T_State_1180 | 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_556 | MAlonzo.Code.Relation.Binary.Bundles |
T_StrictTotalOrder_1036 | 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_846 | MAlonzo.Code.Function.Bundles |
T_SymmetricKind_86 | MAlonzo.Code.Function.Related.Propositional |
T_TagCon_58 | 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_804 | MAlonzo.Code.VerifiedCompilation.UntypedViews |
T_These_38 | MAlonzo.Code.Data.These.Base |
T_TmCon_198 | MAlonzo.Code.RawU |
T_TotalOrder_764 | MAlonzo.Code.Relation.Binary.Bundles |
T_TotalPreorder_222 | MAlonzo.Code.Relation.Binary.Bundles |
T_Trace_82 | MAlonzo.Code.VerifiedCompilation |
T_Transformation_16 | MAlonzo.Code.VerifiedCompilation |
T_Translation_16 | MAlonzo.Code.VerifiedCompilation.UntypedTranslation |
T_Tree_180 | MAlonzo.Code.Data.Tree.AVL.Indexed |
T_Tree_254 | 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_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_498 | MAlonzo.Code.Function.Metric.Nat.Bundles |
T_UnitalMagma_814 | MAlonzo.Code.Algebra.Bundles |
T_Untyped_146 | MAlonzo.Code.RawU |
T_UPure_6 | MAlonzo.Code.VerifiedCompilation.Purity |
T_Value_14 | MAlonzo.Code.Untyped.CEK |
T_Value_28 | MAlonzo.Code.Algorithmic.ReductionEC |
T_Value_38 | 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_304 | MAlonzo.Code.Utils |
T__'10216''91''8801''93''10217'β__8 | MAlonzo.Code.Type.Equality |
T__'215'__364 | MAlonzo.Code.Utils |
T__'47'_'8866''8902'_22 | MAlonzo.Code.Builtin.Signature |
T__'47'_'8866'r'8902'_60 | 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__'8715''8902'__14 | MAlonzo.Code.Type |
T__'8715'__16 | MAlonzo.Code.Algorithmic |
T__'8715'__34 | MAlonzo.Code.Declarative |
T__'8724'_'8803'__120 | MAlonzo.Code.Utils |
T__'8739''691'__52 | MAlonzo.Code.Algebra.Definitions.RawMagma |
T__'8739''737'__26 | MAlonzo.Code.Algebra.Definitions.RawMagma |
T__'8739'__20 | MAlonzo.Code.Data.Nat.Divisibility.Core |
T__'8764'_'8852'__30 | MAlonzo.Code.Data.Tree.AVL.Height |
T__'8771'__24 | MAlonzo.Code.Function.Properties.Inverse.HalfAdjointEquivalence |
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'__338 | MAlonzo.Code.Data.Nat.Base |
T__'8804''8244'__408 | 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'__518 | MAlonzo.Code.Data.Fin.Base |
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'__168 | 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_Σ_14 | MAlonzo.Code.Agda.Builtin.Sigma |