Index - T
| T | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| tableDoc | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| tables | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| tabulate | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| Tag | Cardano.Ledger.Binary.Coders |
| tag | Cardano.Ledger.Alonzo.PParams, Cardano.Ledger.Api.PParams, Cardano.Ledger.Api, Cardano.Ledger.Babbage.PParams, Cardano.Ledger.Conway.PParams |
| TagD | Cardano.Ledger.Binary.Coders |
| TagMismatchDescription | Cardano.Ledger.Alonzo.Rules |
| target | Test.Control.State.Transition.Trace |
| taTx | Cardano.Chain.UTxO |
| tau | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| tau_ | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| taWitness | Cardano.Chain.UTxO |
| taylorExpCmp | Cardano.Ledger.NonIntegral |
| taylorExpCmpCheck | Tests.Cardano.Ledger.NonIntegral |
| TBool | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| tboPoors | Cardano.Chain.Genesis |
| tboRichmen | Cardano.Chain.Genesis |
| tboRichmenShare | Cardano.Chain.Genesis |
| tboTotalBalance | Cardano.Chain.Genesis |
| TBytes | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| TBytesI | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| tcAssetLockedSrcAddrs | Cardano.Chain.UTxO |
| tcConwayGenesisL | Cardano.Ledger.Conway.Transition |
| tcInitialFundsL | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Transition |
| tcInitialPParamsG | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Transition |
| tcInitialStakingL | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Transition |
| tcPreviousEraConfigL | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Transition |
| tcShelleyGenesisL | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Transition |
| tcTranslationContextL | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Transition |
| TDouble | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| TechnicalGroup | Cardano.Ledger.Conway.PParams |
| tellEvent | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| tellEvents | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| Term | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| TermAdjusted | Cardano.Ledger.Api.State.Query |
| TermToken | Cardano.Ledger.Binary.FlatTerm |
| Terse | Test.Cardano.Ledger.TerseTools |
| terse | Test.Cardano.Ledger.TerseTools |
| terselist | Test.Cardano.Ledger.TerseTools |
| terselistfilter | Test.Cardano.Ledger.TerseTools |
| tersemap | Test.Cardano.Ledger.TerseTools |
| tersemapdiffs | Test.Cardano.Ledger.TerseTools |
| tersemapfilter | Test.Cardano.Ledger.TerseTools |
| terseutxo | Test.Cardano.Ledger.TerseTools |
| Test | Cardano.Ledger.Rules.ValidationMode |
| test | Test.Cardano.Ledger.NoThunks |
| Testable | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| testAbstractSize | Test.Byron.AbstractSize.Properties |
| testBBODY | Test.Cardano.Ledger.Examples.STSTestUtils |
| testCase | Test.Tasty.HUnit |
| testCHAINExample | Test.Cardano.Ledger.Shelley.Examples.Chain |
| TestChainPredicateFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| testConformance | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| testConwayCert | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| testEql | Data.Universe |
| testGenesisCert | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| testGlobals | Test.Cardano.Ledger.Core.Utils, Test.Cardano.Ledger.Shelley.Utils |
| testGovEnv | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| testGroup | Test.Tasty |
| testGroupByronTranslation | Test.Cardano.Ledger.Shelley.ByronTranslation |
| testGroupShelleyTranslation | Test.Cardano.Ledger.Shelley.ShelleyTranslation |
| testIncompleteAndMissingWithdrawals | Cardano.Ledger.Shelley.Rules |
| testingCostModel | Test.Cardano.Ledger.Plutus |
| testingCostModels | Test.Cardano.Ledger.Plutus |
| testingCostModelV1 | Test.Cardano.Ledger.Plutus |
| testingCostModelV2 | Test.Cardano.Ledger.Plutus |
| testingCostModelV3 | Test.Cardano.Ledger.Plutus |
| testingEvaluationContext | Test.Cardano.Ledger.Plutus |
| TestingLedger | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| testir | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec |
| testLawsGroup | Test.Common |
| testMaryNoDelegLEDGER | Test.Cardano.Ledger.Mary.Examples |
| testMIRTransfer | Test.Cardano.Ledger.Shelley.Examples.MirTransfer |
| testMNES | Test.Cardano.Ledger.Generic.ModelState |
| TestName | Test.Tasty |
| testNES | Test.Cardano.Ledger.Generic.ModelState |
| Testnet | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| TestnetBalanceOptions | |
| 1 (Type/Class) | Cardano.Chain.Genesis |
| 2 (Data Constructor) | Cardano.Chain.Genesis |
| testPoolNetworkId | Test.Cardano.Ledger.Shelley.Examples.NetworkID |
| testProperty | |
| 1 (Function) | Test.Byron.AbstractSize.Properties |
| 2 (Function) | Test.Byron.Spec.Ledger.AbstractSize.Properties |
| 3 (Function) | Test.Tasty.QuickCheck |
| testPropertyN | Test.Common |
| testPropMax | Test.Cardano.Ledger.Generic.Trace |
| testRelation | Test.Byron.Spec.Ledger.Relation.Properties |
| tests | |
| 1 (Function) | Test.Cardano.Crypto.Hashing |
| 2 (Function) | Test.Cardano.Crypto.Keys |
| 3 (Function) | Test.Cardano.Crypto.Limits |
| 4 (Function) | Test.Cardano.Crypto.Random |
| 5 (Function) | Test.Cardano.Crypto.Signing.Redeem.Compact |
| 6 (Function) | Test.Cardano.Crypto.Signing.Safe |
| 7 (Function) | Test.Cardano.Crypto.Signing.Signing |
| 8 (Function) | Test.Cardano.Crypto.Signing.Redeem |
| 9 (Function) | Test.Cardano.Crypto.CBOR |
| 10 (Function) | Test.Cardano.Crypto.Json |
| 11 (Function) | Test.Cardano.Ledger.Alonzo.ChainTrace |
| 12 (Function) | Test.Cardano.Ledger.Alonzo.Golden |
| 13 (Function) | Test.Cardano.Ledger.Alonzo.GoldenTranslation |
| 14 (Function) | Test.Cardano.Ledger.Binary.Vintage.Drop |
| 15 (Function) | Test.Cardano.Ledger.Binary.Vintage.Failure |
| 16 (Function) | Test.Cardano.Ledger.Binary.Vintage.RoundTrip |
| 17 (Function) | Test.Cardano.Ledger.Binary.Vintage.Serialization |
| 18 (Function) | Test.Cardano.Chain.Delegation.Certificate |
| 19 (Function) | Test.Cardano.Chain.Epoch.File |
| 20 (Function) | Test.Cardano.Chain.Update.Properties |
| 21 (Function) | Test.Cardano.Chain.Update.CBOR |
| 22 (Function) | Test.Cardano.Chain.UTxO.Model |
| 23 (Function) | Test.Cardano.Chain.UTxO.ValidationMode |
| 24 (Function) | Test.Cardano.Chain.UTxO.Compact |
| 25 (Function) | Test.Cardano.Chain.UTxO.CBOR |
| 26 (Function) | Test.Cardano.Chain.Ssc.CBOR |
| 27 (Function) | Test.Cardano.Chain.Slotting.Properties |
| 28 (Function) | Test.Cardano.Chain.Slotting.CBOR |
| 29 (Function) | Test.Cardano.Chain.MempoolPayload.CBOR |
| 30 (Function) | Test.Cardano.Chain.Genesis.Json |
| 31 (Function) | Test.Cardano.Chain.Genesis.CBOR |
| 32 (Function) | Test.Cardano.Chain.Elaboration.Delegation |
| 33 (Function) | Test.Cardano.Chain.Delegation.Model |
| 34 (Function) | Test.Cardano.Chain.Delegation.CBOR |
| 35 (Function) | Test.Cardano.Chain.Common.Lovelace |
| 36 (Function) | Test.Cardano.Chain.Common.Compact |
| 37 (Function) | Test.Cardano.Chain.Common.CBOR |
| 38 (Function) | Test.Cardano.Chain.Common.Attributes |
| 39 (Function) | Test.Cardano.Chain.Common.Address |
| 40 (Function) | Test.Cardano.Chain.Buildable |
| 41 (Function) | Test.Cardano.Chain.Block.ValidationMode |
| 42 (Function) | Test.Cardano.Chain.Block.Validation |
| 43 (Function) | Test.Cardano.Chain.Block.Size |
| 44 (Function) | Test.Cardano.Chain.Block.Model |
| 45 (Function) | Test.Cardano.Chain.Byron.API |
| 46 (Function) | Test.Cardano.Chain.Block.CBOR |
| 47 (Function) | Test.Cardano.Ledger.ShelleyMA.Serialisation |
| 48 (Function) | Test.Cardano.Ledger.Shelley.Rules.PoolReap |
| 49 (Function) | Test.Cardano.Ledger.Shelley.Rules.Pool |
| 50 (Function) | Test.Cardano.Ledger.Shelley.Rules.Deposits |
| 51 (Function) | Test.Cardano.Ledger.Shelley.Rules.Deleg |
| 52 (Function) | Test.Cardano.Ledger.Shelley.Rules.CollisionFreeness |
| 53 (Function) | Test.Cardano.Ledger.Shelley.Rules.AdaPreservation |
| 54 (Function) | Test.Cardano.Ledger.Shelley.WitVKeys |
| 55 (Function) | Test.Cardano.Ledger.Shelley.Rewards |
| 56 (Function) | Test.Cardano.Ledger.Shelley.Serialisation.Golden.Address |
| 57 (Function) | Test.Cardano.Ledger.Shelley.Serialisation.Golden.Encoding |
| 58 (Function) | Test.Cardano.Ledger.Shelley.Serialisation.Golden.Genesis |
| 59 (Function) | Test.Cardano.Ledger.Shelley.Serialisation.Tripping.CBOR |
| 60 (Function) | Test.Cardano.Ledger.Shelley.Serialisation.Tripping.JSON |
| 61 (Function) | Test.Cardano.Ledger.Shelley.Serialisation |
| 62 (Function) | Test.Cardano.Ledger.Examples.AlonzoBBODY |
| 63 (Function) | Test.Cardano.Ledger.Examples.AlonzoAPI |
| 64 (Function) | Test.Cardano.Ledger.Examples.AlonzoCollectInputs |
| 65 (Function) | Main |
| TestScenario | Test.Options |
| testScriptPostTranslation | Test.Cardano.Ledger.Allegra.ScriptTranslation |
| testShelleyCert | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| testShelleyGenesis | Test.Cardano.Ledger.Shelley.Examples |
| testSTS | Test.Cardano.Ledger.Shelley.Utils |
| tests_STS | Test.Cardano.Ledger.STS |
| testTraces | Test.Cardano.Ledger.Generic.Trace |
| TestTree | Test.Tasty |
| testTxHasTypeReps | Test.Byron.Spec.Ledger.AbstractSize.Properties |
| testTxValidForLEDGER | Test.Cardano.Ledger.Generic.Properties |
| testUTXOspecialCase | Test.Cardano.Ledger.Examples.STSTestUtils |
| testUTXOW | Test.Cardano.Ledger.Examples.STSTestUtils |
| testUTXOWsubset | Test.Cardano.Ledger.Examples.STSTestUtils |
| textToDns | Cardano.Ledger.BaseTypes |
| textToUrl | Cardano.Ledger.BaseTypes |
| TFloat | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| tgRedeemers | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| tgTx | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| tgUtxo | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| THalf | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| theException | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| theKeyHash | Test.Cardano.Ledger.Generic.Indexed |
| theKeyHashObj | Test.Cardano.Ledger.Generic.Indexed |
| theKeyPair | Test.Cardano.Ledger.Generic.Indexed |
| theSKey | Test.Cardano.Ledger.Generic.Indexed |
| theStakeReference | Test.Cardano.Ledger.Generic.Indexed |
| theVKey | Test.Cardano.Ledger.Generic.Indexed |
| theWitVKey | Test.Cardano.Ledger.Generic.Indexed |
| thisEpochDelegationsRatio | Byron.Spec.Ledger.Delegation |
| THKD | |
| 1 (Type/Class) | Cardano.Ledger.Conway.PParams |
| 2 (Data Constructor) | Cardano.Ledger.Conway.PParams |
| Threshold | |
| 1 (Type/Class) | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| 2 (Data Constructor) | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| tickChainDepState | Cardano.Protocol.TPraos.API |
| tickChainState | Test.Cardano.Ledger.Shelley.Generator.Block |
| tickDelegation | Cardano.Chain.Delegation.Validation.Interface |
| TickEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| TICKN | Cardano.Protocol.TPraos.Rules.Tickn |
| TicknEnv | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.Rules.Tickn |
| 2 (Data Constructor) | Cardano.Protocol.TPraos.Rules.Tickn |
| ticknEnvCandidateNonce | Cardano.Protocol.TPraos.Rules.Tickn |
| ticknEnvExtraEntropy | Cardano.Protocol.TPraos.Rules.Tickn |
| ticknEnvHashHeaderNonce | Cardano.Protocol.TPraos.Rules.Tickn |
| TicknEvent | Test.Cardano.Ledger.Shelley.Rules.Chain |
| TickNewEpochEvent | Cardano.Ledger.Shelley.Rules |
| TicknFailure | Test.Cardano.Ledger.Shelley.Rules.Chain |
| TicknPredicateFailure | Cardano.Protocol.TPraos.Rules.Tickn |
| TicknState | |
| 1 (Type/Class) | Cardano.Protocol.TPraos.Rules.Tickn |
| 2 (Data Constructor) | Cardano.Protocol.TPraos.Rules.Tickn |
| ticknStateEpochNonce | Cardano.Protocol.TPraos.Rules.Tickn |
| ticknStatePrevHashNonce | Cardano.Protocol.TPraos.Rules.Tickn |
| TickRupdEvent | Cardano.Ledger.Shelley.Rules |
| tierRefScriptFee | Cardano.Ledger.Conway.Tx |
| tiLanguage | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| Timelock | Cardano.Ledger.Allegra.Scripts |
| TimelockAllOf | Cardano.Ledger.Allegra.Scripts |
| TimelockAnyOf | Cardano.Ledger.Allegra.Scripts |
| timelockHash | Test.Cardano.Ledger.Examples.STSTestUtils |
| TimelockMOf | Cardano.Ledger.Allegra.Scripts |
| TimelockRaw | Cardano.Ledger.Allegra.Scripts |
| timelockScript | Test.Cardano.Ledger.Examples.STSTestUtils |
| TimelockSignature | Cardano.Ledger.Allegra.Scripts |
| timelockStakeCred | Test.Cardano.Ledger.Examples.STSTestUtils |
| timelockTests | Test.Cardano.Ledger.ShelleyMA.Serialisation.Timelocks |
| TimelockTimeExpire | Cardano.Ledger.Allegra.Scripts |
| TimelockTimeStart | Cardano.Ledger.Allegra.Scripts |
| TimeTranslationPastHorizon | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| TInt | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| TInteger | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| tiProtVer | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| tiResult | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| tisTxId | Cardano.Ledger.State.UTxO |
| tisTxIx | Cardano.Ledger.State.UTxO |
| tiTx | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| tiUtxo | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| TkBool | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkBreak | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkByteArray | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| TkBytes | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkBytesBegin | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkEncoded | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| TkEnd | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| TkFloat16 | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkFloat32 | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkFloat64 | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkInt | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkInt64 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| TkInteger | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkListBegin | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkListLen | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkMapBegin | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkMapLen | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkNull | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkSimple | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkString | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkStringBegin | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkTag | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.FlatTerm |
| TkTag64 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| TkUndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| TkUtf8ByteArray | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| TkWord | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| TkWord64 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| tlActual | Cardano.Chain.Update.Validation.Registration |
| TList | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| TListI | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| tlMaxBound | Cardano.Chain.Update.Validation.Registration |
| TMap | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| TMapI | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| TNull | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| To | Cardano.Ledger.Binary.Coders |
| toAscList | Data.VMap |
| toAsItem | Cardano.Ledger.Alonzo.Scripts |
| toAsIx | Cardano.Ledger.Alonzo.Scripts |
| ToBeEnacted | Cardano.Ledger.Api.State.Query |
| ToBeExpired | Cardano.Ledger.Api.State.Query |
| ToBeRemoved | Cardano.Ledger.Api.State.Query |
| toBuilder | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| toByronCBOR | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| ToCBOR | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| toCBOR | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| toCborError | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| toCBORForMempoolSubmission | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| toCBORForSizeComputation | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| toCBORMaybe | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| toCBORXPrv | Cardano.Crypto.Signing, Cardano.Crypto |
| toCertifyingPurpose | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| toCoinNonZero | Cardano.Ledger.Coin |
| toCompact | Cardano.Ledger.Compactible |
| toCompactAddress | Cardano.Chain.Common |
| toCompactCoinNonZero | Cardano.Ledger.Coin |
| toCompactPartial | Cardano.Ledger.Compactible |
| toCompactRedeemVerificationKey | Cardano.Crypto.Signing.Redeem, Cardano.Crypto.Signing, Cardano.Crypto |
| toCompactTxId | Cardano.Chain.UTxO |
| toCompactTxIn | Cardano.Chain.UTxO |
| toCompactTxOut | Cardano.Chain.UTxO |
| toDelta | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| toDeltaCoin | Cardano.Ledger.Coin |
| toDelta_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| toEraCBOR | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ToExpr | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Imp.Common, Test.Cardano.Ledger.Dijkstra.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| toExpr | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Imp.Common, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| toFlatTerm | Cardano.Ledger.Binary.FlatTerm |
| toFromByronTranslationContext | Cardano.Ledger.Shelley.Translation |
| ToGovActionPurpose | Cardano.Ledger.Conway.Governance |
| toGovRelationTree | Cardano.Ledger.Conway.Governance |
| toGovRelationTreeEither | Cardano.Ledger.Conway.Governance |
| ToGroup | Cardano.Ledger.Binary.Coders |
| toGuardingPurpose | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Dijkstra.Scripts |
| toIntegerNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| Tokens | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| TokenType | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| ToKeyValuePairs | Cardano.Ledger.BaseTypes |
| toKeyValuePairs | Cardano.Ledger.BaseTypes |
| toLazyByteString | Cardano.Ledger.Binary |
| toLegacyPlutusArgs | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| tolerance | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| toList | |
| 1 (Function) | Data.ListMap |
| 2 (Function) | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| 3 (Function) | Data.VMap |
| toManual | Test.Hedgehog.Extra.Manual |
| toMap | |
| 1 (Function) | Data.ListMap |
| 2 (Function) | Data.OMap.Strict |
| 3 (Function) | Data.VMap |
| toMemptyLens | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| toMintingPurpose | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| toNominalDiffTimeMicro | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| toNominalDiffTimeMicroWithRounding | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| toNoUpdate | Cardano.Ledger.HKD |
| toOKey | Data.OMap.Strict |
| TooLarge | |
| 1 (Type/Class) | Cardano.Chain.Update.Validation.Registration |
| 2 (Data Constructor) | Cardano.Chain.Update.Validation.Registration |
| tooLateInEpoch | Test.Cardano.Ledger.Shelley.Generator.Core |
| TooManyCollateralInputs | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| TooManyExUnits | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| TooManyIssuedBlocks | Byron.Spec.Chain.STS.Rule.SigCnt |
| toPlainDecoder | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| toPlainEncoding | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| toPlutusArgs | Cardano.Ledger.Alonzo.Plutus.Context |
| toPlutusChangedParameters | Cardano.Ledger.Conway.TxInfo |
| ToPlutusData | Cardano.Ledger.Plutus.ToPlutusData |
| toPlutusData | Cardano.Ledger.Plutus.ToPlutusData |
| toPlutusScript | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| toPlutusScriptPurpose | Cardano.Ledger.Alonzo.Plutus.Context |
| toPlutusSLanguage | Cardano.Ledger.Alonzo.Scripts |
| toPlutusTxCert | Cardano.Ledger.Alonzo.Plutus.Context |
| toPlutusTxInfo | Cardano.Ledger.Alonzo.Plutus.Context |
| toPlutusTxInInfo | Cardano.Ledger.Alonzo.Plutus.Context |
| toPlutusV1Args | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| toPlutusV2Args | Cardano.Ledger.Babbage.TxInfo |
| toPlutusV3Args | Cardano.Ledger.Conway.TxInfo |
| toPlutusWithContext | Cardano.Ledger.Alonzo.Plutus.Context |
| toPrevGovActionIds | Cardano.Ledger.Conway.Governance |
| toProposingPurpose | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| TopTx | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| toRatioNonZero | Cardano.Ledger.BaseTypes.NonZero, Cardano.Ledger.BaseTypes |
| toRewardingPurpose | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| tosAssetName | Cardano.Ledger.State.UTxO |
| tosAssetValue | Cardano.Ledger.State.UTxO |
| tosBootstrap | Cardano.Ledger.State.UTxO |
| tosDataHash | Cardano.Ledger.State.UTxO |
| toSet | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Data.OSet.Strict |
| toShelleyDelegCert | Cardano.Ledger.Conway.TxCert |
| ToSign | |
| 1 (Type/Class) | Cardano.Chain.Block |
| 2 (Data Constructor) | Cardano.Chain.Block |
| toSizedL | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| toSLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| toSlotNumber | Cardano.Chain.Slotting |
| tosNetwork | Cardano.Ledger.State.UTxO |
| tosPaymentCredential | Cardano.Ledger.State.UTxO |
| toSpecRep | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| toSpecRep_ | Test.Cardano.Ledger.Conformance.SpecTranslate.Base, Test.Cardano.Ledger.Conformance |
| toSpendingPurpose | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| tosPolicyId | Cardano.Ledger.State.UTxO |
| tosStakingCredential | Cardano.Ledger.State.UTxO |
| tosStakingPtr | Cardano.Ledger.State.UTxO |
| toStrictByteString | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| toStrictMaybeL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| toStrictSeq | |
| 1 (Function) | Data.OMap.Strict |
| 2 (Function) | Data.OSet.Strict |
| toStrictSeqOfPairs | Data.OMap.Strict |
| toStrictSeqOKeys | Data.OMap.Strict |
| toSTxLevel | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| tosValue | Cardano.Ledger.State.UTxO |
| total | Test.Tasty.QuickCheck, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| TotalAda | Test.Cardano.Ledger.Generic.Functions |
| totalADA | Cardano.Ledger.State.UTxO |
| totalAda | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Rules.Chain |
| 2 (Function) | Test.Cardano.Ledger.Generic.Functions |
| totalAdaES | Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| totalAdaPots | Test.Cardano.Ledger.Shelley.Rules.Chain |
| totalAdaPotsES | Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| TotalAdaPotsEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| totalCollateralDijkstraTxBodyRawL | Cardano.Ledger.Dijkstra.TxBody |
| totalCollateralTxBodyG | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| totalCollateralTxBodyL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| TotalDeposits | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| totalObligation | Cardano.Ledger.Shelley.LedgerState |
| totalRefScriptSizeInBlock | Cardano.Ledger.Conway.Rules |
| TotalRewardEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| totalStake | |
| 1 (Function) | Cardano.Ledger.Shelley.RewardProvenance |
| 2 (Function) | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| toTerm | Test.Cardano.Ledger.Binary.Twiddle |
| totExUnits | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| ToTokens | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| toTwiddler | Test.Cardano.Ledger.Binary.Twiddle |
| toTxValidationMode | Cardano.Chain.Block |
| toUnit | Tests.Cardano.Ledger.NonIntegral |
| toVerification | Cardano.Crypto.Signing, Cardano.Crypto |
| toVersionedTxInfo | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| toVotingPurpose | Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.Scripts, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| toVRFVerKeyHash | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| toWord7 | Cardano.Ledger.Address |
| Trace | |
| 1 (Type/Class) | Test.Control.State.Transition.Trace |
| 2 (Data Constructor) | Test.Control.State.Transition.Trace |
| 3 (Type/Class) | Test.Control.State.Transition.Invalid.Trace |
| 4 (Data Constructor) | Test.Control.State.Transition.Invalid.Trace |
| trace | |
| 1 (Function) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| 2 (Function) | Test.Control.State.Transition.Generator |
| trace0 | Test.Cardano.Chain.Block.Model.Examples |
| traceAddrs | Byron.Spec.Ledger.STS.UTXOW |
| traceDCerts | Test.Byron.Spec.Chain.STS.Properties |
| traceDCertsByBlock | Test.Byron.Spec.Chain.STS.Properties |
| tracedDiscard | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| traceEnv | Test.Control.State.Transition.Trace |
| traceFrom | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| traceFromInitState | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| traceInit | Test.Control.State.Transition.Trace |
| traceInitState | Test.Control.State.Transition.Trace |
| traceLen | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| TraceLength | Test.Control.State.Transition.Generator |
| traceLength | Test.Control.State.Transition.Trace |
| traceLengthsAreClassified | |
| 1 (Function) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| 2 (Function) | Test.Control.State.Transition.Generator |
| traceOfLength | Test.Control.State.Transition.Generator |
| traceOfLengthWithInitState | Test.Control.State.Transition.Generator |
| TraceOrder | Test.Control.State.Transition.Trace |
| tracePreserveAda | Test.Cardano.Ledger.Generic.Properties |
| TraceProfile | |
| 1 (Type/Class) | Test.Control.State.Transition.Generator |
| 2 (Data Constructor) | Test.Control.State.Transition.Generator |
| traceProp | Test.Cardano.Ledger.Generic.Trace |
| tracesAreClassified | |
| 1 (Function) | Test.Byron.Spec.Ledger.Delegation.Properties |
| 2 (Function) | Test.Byron.Spec.Ledger.UTxO.Properties |
| traceSigGen | Test.Control.State.Transition.Generator |
| traceSignals | Test.Control.State.Transition.Trace |
| traceStates | Test.Control.State.Transition.Trace |
| traceSuchThat | Test.Control.State.Transition.Generator |
| traceWithProfile | Test.Control.State.Transition.Generator |
| trans | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| transactionIdRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| transactionIds | Test.Cardano.Chain.Elaboration.Block |
| transactionInputRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| transactionOutputRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| transactionRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec |
| TransactionScriptFailure | Cardano.Ledger.Alonzo.Plutus.Evaluate, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| TransactionSizeTooLarge | Byron.Spec.Ledger.Update |
| transactionWitnessSetRule | Cardano.Ledger.Allegra.HuddleSpec, Cardano.Ledger.Alonzo.HuddleSpec, Cardano.Ledger.Babbage.HuddleSpec, Cardano.Ledger.Mary.HuddleSpec, Cardano.Ledger.Shelley.HuddleSpec |
| transaction_id | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| transaction_index | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| transaction_input | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| transaction_output | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| transaction_witness_set | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL |
| transAddr | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transAssetName | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transBoundedRational | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transCoinToLovelace | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transCoinToValue | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transColdCommitteeCred | Cardano.Ledger.Conway.TxInfo |
| transCred | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transDataHash | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transDataPair | Cardano.Ledger.Alonzo.Plutus.TxInfo, Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transDatum | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transDelegatee | Cardano.Ledger.Conway.TxInfo |
| transDRep | Cardano.Ledger.Conway.TxInfo |
| transDRepCred | Cardano.Ledger.Conway.TxInfo |
| transEpochInterval | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transEpochNo | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transExUnits | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transHotCommitteeCred | Cardano.Ledger.Conway.TxInfo |
| Transition | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| TransitionConfig | Cardano.Ledger.Allegra.Transition, Cardano.Ledger.Alonzo.Transition, Cardano.Ledger.Api.Transition, Cardano.Ledger.Babbage.Transition, Cardano.Ledger.Conway.Transition, Cardano.Ledger.Dijkstra.Transition, Cardano.Ledger.Mary.Transition, Cardano.Ledger.Shelley.Transition |
| TransitionRule | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| transitionRules | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| transitionRulesUTXOW | Cardano.Ledger.Shelley.Rules |
| transKeyHash | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| TranslatableGen | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| translateCompactTxOutByronToShelley | Cardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API |
| translateDatum | Cardano.Ledger.Plutus.Data, Cardano.Ledger.Plutus |
| TranslateEra | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| translateEra | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| translateEra' | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| translateEraEncCBOR | Test.Cardano.Ledger.TranslationTools |
| translateEraEncoding | Test.Cardano.Ledger.TranslationTools |
| translateEraMaybe | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| translateEraPartial | Test.Cardano.Ledger.TranslationTools |
| translateEraThroughCBOR | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| translateInputs | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| translateOutput | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| translateProposals | Cardano.Ledger.Conway.Governance |
| translateTimelock | Cardano.Ledger.Allegra.Scripts |
| translateToShelleyLedgerState | Cardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API |
| translateToShelleyLedgerStateFromUtxo | Cardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API |
| translateTxIdByronToShelley | Cardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API |
| translateValidated | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| translateViaCBORAnnotator | Cardano.Ledger.Binary |
| translateWithContext | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| TranslationContext | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| TranslationError | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| TranslationInstance | |
| 1 (Type/Class) | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| 2 (Data Constructor) | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| translationInstances | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| TranslationLogicMissingInput | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transLookupTxOut | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transMap | Cardano.Ledger.Conway.TxInfo |
| transMintValue | |
| 1 (Function) | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| 2 (Function) | Cardano.Ledger.Conway.TxInfo |
| transMultiAsset | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transPlutusPurpose | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transPlutusPurposeV1V2 | |
| 1 (Function) | Cardano.Ledger.Conway.TxInfo |
| 2 (Function) | Cardano.Ledger.Dijkstra.TxInfo |
| transPlutusPurposeV3 | |
| 1 (Function) | Cardano.Ledger.Conway.TxInfo |
| 2 (Function) | Cardano.Ledger.Dijkstra.TxInfo |
| transPolicyID | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transProposal | Cardano.Ledger.Conway.TxInfo |
| transRedeemer | Cardano.Ledger.Babbage.TxInfo |
| transReferenceScript | Cardano.Ledger.Babbage.TxInfo |
| transRewardAccount | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transSafeHash | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transScriptHash | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transStakeReference | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transTxBodyCerts | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transTxBodyId | |
| 1 (Function) | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| 2 (Function) | Cardano.Ledger.Conway.TxInfo |
| transTxBodyReqSignerHashes | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transTxBodyWithdrawals | |
| 1 (Function) | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| 2 (Function) | Cardano.Ledger.Conway.TxInfo |
| transTxCert | |
| 1 (Function) | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| 2 (Function) | Cardano.Ledger.Conway.TxInfo |
| transTxCertCommon | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transTxCertV1V2 | Cardano.Ledger.Conway.TxInfo |
| transTxId | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transTxIn | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| transTxInInfoV1 | |
| 1 (Function) | Cardano.Ledger.Babbage.TxInfo |
| 2 (Function) | Cardano.Ledger.Conway.TxInfo |
| transTxInInfoV2 | Cardano.Ledger.Babbage.TxInfo |
| transTxInInfoV3 | Cardano.Ledger.Conway.TxInfo |
| transTxOut | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transTxOutV1 | |
| 1 (Function) | Cardano.Ledger.Babbage.TxInfo |
| 2 (Function) | Cardano.Ledger.Conway.TxInfo |
| transTxOutV2 | Cardano.Ledger.Babbage.TxInfo |
| transTxRedeemers | Cardano.Ledger.Babbage.TxInfo |
| transTxWitsDatums | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transValidityInterval | |
| 1 (Function) | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| 2 (Function) | Cardano.Ledger.Conway.TxInfo |
| transValue | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| transVotingProcedures | Cardano.Ledger.Conway.TxInfo |
| transWithdrawals | Cardano.Ledger.Alonzo.Plutus.TxInfo |
| traversableLaws | Test.Common |
| TRC | |
| 1 (Type/Class) | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| 2 (Data Constructor) | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| trdUPIState | Byron.Spec.Ledger.Update |
| treasury | Test.Cardano.Ledger.Generic.GenState |
| treasuryAdaPot | Cardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API, Test.Cardano.Ledger.Shelley.Rules.Chain |
| treasuryDonationDijkstraTxBodyRawL | Cardano.Ledger.Dijkstra.TxBody |
| TreasuryDonationFieldNotSupported | Cardano.Ledger.Conway.TxInfo |
| treasuryDonationTxBodyG | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| treasuryDonationTxBodyL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Conway.TxBody, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core |
| treasuryL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| TreasuryMIR | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| TreasuryWithdrawalReturnAccountsDoNotExist | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| TreasuryWithdrawals | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| TreasuryWithdrawalsNetworkIdMismatch | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Dijkstra.Rules |
| treasury_withdrawals_action | Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL |
| TreeMaybe | |
| 1 (Type/Class) | Cardano.Ledger.Conway.Governance |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Governance |
| trimExprViaShow | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| Trip | |
| 1 (Type/Class) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Data Constructor) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 3 (Type/Class) | Test.Cardano.Ledger.Binary.RoundTrip |
| 4 (Data Constructor) | Test.Cardano.Ledger.Binary.RoundTrip |
| tripDecoder | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| tripDropper | Test.Cardano.Ledger.Binary.RoundTrip |
| tripEncoder | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| 2 (Function) | Test.Cardano.Ledger.Binary.RoundTrip |
| tryRunImpRule | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| tryRunImpRuleNoAssertions | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| trySubmitGovAction | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| trySubmitGovActions | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| trySubmitProposal | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| trySubmitProposals | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| trySubmitTx | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| trySubmitVote | Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Dijkstra.ImpTest |
| tsBodyProof | Cardano.Chain.Block |
| tsDifficulty | Cardano.Chain.Block |
| TSGroup | Test.Options |
| tsGroupToTree | Test.Options |
| tsHeaderHash | Cardano.Chain.Block |
| TSimple | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| TSProperty | Test.Options |
| tsProtocolVersion | Cardano.Chain.Block |
| tsSlot | Cardano.Chain.Block |
| tsSoftwareVersion | Cardano.Chain.Block |
| TString | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| TStringI | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| ts_mempoolValidation | Test.Cardano.Chain.Byron.API |
| ts_roundTripApplyMempoolPayloadErrCompat | Test.Cardano.Chain.Byron.API |
| ts_scheduledDelegations | Test.Cardano.Chain.Byron.API |
| TTagged | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary |
| ttlToValidityInterval | Cardano.Ledger.Api.Era, Cardano.Ledger.Api |
| ttlTxBodyL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core |
| TupleN | Data.MonoTuple |
| Twiddle | Test.Cardano.Ledger.Binary.Twiddle |
| twiddle | Test.Cardano.Ledger.Binary.Twiddle |
| twiddleInvariantHolds | Test.Cardano.Ledger.Generic.Properties |
| twiddleInvariantHoldsEras | Test.Cardano.Ledger.Generic.Properties |
| twiddleInvariantProp | Test.Cardano.Ledger.Binary.Twiddle |
| Twiddler | |
| 1 (Type/Class) | Test.Cardano.Ledger.Binary.Twiddle |
| 2 (Data Constructor) | Test.Cardano.Ledger.Binary.Twiddle |
| twiddlerTerm | Test.Cardano.Ledger.Binary.Twiddle |
| twiddlerType | Test.Cardano.Ledger.Binary.Twiddle |
| twiddlerVersion | Test.Cardano.Ledger.Binary.Twiddle |
| twiddleStrictMaybe | Test.Cardano.Ledger.Binary.Twiddle |
| TwoPhase2ArgInfo | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| TwoPhase3ArgInfo | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| twoPoolsExample | Test.Cardano.Ledger.Shelley.Examples.TwoPools |
| twoPoolsExampleExtended | Test.Cardano.Ledger.Shelley.Examples.TwoPools |
| Tx | |
| 1 (Type/Class) | Byron.Spec.Ledger.UTxO |
| 2 (Data Constructor) | Byron.Spec.Ledger.UTxO |
| 3 (Type/Class) | Cardano.Ledger.Allegra.Tx, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage, Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway.Tx, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Tx, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley |
| 4 (Type/Class) | Cardano.Chain.UTxO |
| 5 (Type/Class) | Cardano.Ledger.State.Schema |
| 6 (Data Constructor) | Cardano.Ledger.State.Schema |
| txaF | Cardano.Chain.UTxO |
| TxAttributes | Cardano.Chain.UTxO |
| txAttributes | Cardano.Chain.UTxO |
| TxAux | Cardano.Chain.UTxO |
| TxAuxData | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraBuffet |
| TxAuxDataHash | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| TxBody | |
| 1 (Type/Class) | Byron.Spec.Ledger.UTxO |
| 2 (Data Constructor) | Byron.Spec.Ledger.UTxO |
| 3 (Type/Class) | Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage, Cardano.Ledger.Conway.TxBody, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.TxBody, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.TxBody, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API, Test.Cardano.Ledger.EraBuffet |
| txBodyTest | Test.Cardano.Ledger.ShelleyMA.TxBody |
| TxBodyUpgradeError | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Api |
| TxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| TxCertConwayToConway | Test.Cardano.Ledger.Generic.Proof |
| txCertKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| TxCertShelleyToBabbage | Test.Cardano.Ledger.Generic.Proof |
| txCertSpec | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| txCertsSpec | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| TxCertUpgradeError | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| TxCertWit | Test.Cardano.Ledger.Generic.Proof |
| TxDats | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| txdats | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Babbage.TxWits, Cardano.Ledger.Conway.TxWits |
| TxDatsRaw | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.TxWits |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.TxWits |
| txF | Cardano.Chain.UTxO |
| TxFeePolicy | Cardano.Chain.Common |
| TxFeePolicyTxSizeLinear | Cardano.Chain.Common |
| TxId | |
| 1 (Type/Class) | Byron.Spec.Ledger.UTxO |
| 2 (Data Constructor) | Byron.Spec.Ledger.UTxO |
| 3 (Type/Class) | Cardano.Ledger.Api.Tx.In, Cardano.Ledger.TxIn, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Api.Tx.In, Cardano.Ledger.TxIn, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 5 (Type/Class) | Cardano.Chain.UTxO |
| 6 (Type/Class) | Cardano.Ledger.State.Schema |
| 7 (Data Constructor) | Cardano.Ledger.State.Schema |
| txid | Byron.Spec.Ledger.UTxO |
| txIdNestedInsert | Cardano.Ledger.State.UTxO |
| txIds | Cardano.Ledger.State.UTxO |
| txIdSharing | Cardano.Ledger.State.UTxO |
| txIdSharing_ | Cardano.Ledger.State.UTxO |
| txIdTx | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| txIdTxBody | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| TxIn | |
| 1 (Type/Class) | Byron.Spec.Ledger.UTxO |
| 2 (Data Constructor) | Byron.Spec.Ledger.UTxO |
| 3 (Type/Class) | Cardano.Ledger.Api.Tx.In, Cardano.Ledger.TxIn, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 4 (Data Constructor) | Cardano.Ledger.Api.Tx.In, Cardano.Ledger.TxIn, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 5 (Type/Class) | Cardano.Chain.UTxO |
| txInAt | Test.Cardano.Ledger.Core.Utils, Test.Cardano.Ledger.Shelley.Utils |
| txInBalance | Test.Cardano.Ledger.Generic.Functions |
| TxInfoPV1 | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| TxInfoPV2 | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| TxInfoPV3 | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| TxInfoPV4 | Test.Cardano.Ledger.Alonzo.Translation.TranslationInstance |
| TxInfoResult | Cardano.Ledger.Alonzo.Plutus.Context |
| txInfoSpec | Test.Cardano.Ledger.Babbage.TxInfoSpec |
| TxInId | Cardano.Ledger.State.Schema |
| txInId | Cardano.Ledger.State.Schema |
| TxInIx | Cardano.Ledger.State.Schema |
| txInIx | Cardano.Ledger.State.Schema |
| txinLookup | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| txInputs | Cardano.Chain.UTxO |
| txins | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| txInsFilter | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| TxInStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| txInToText | Cardano.Ledger.TxIn |
| TxInUtxo | Cardano.Chain.UTxO |
| TxInWitness | Cardano.Chain.UTxO |
| TxIx | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.In, Cardano.Ledger.BaseTypes, Cardano.Ledger.TxIn, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| txIxFromIntegral | Cardano.Ledger.Api.Tx.In, Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| txIxNestedInsert | Cardano.Ledger.State.UTxO |
| txIxs | Cardano.Ledger.State.UTxO |
| txIxSharing | Cardano.Ledger.State.UTxO |
| txIxSharing_ | Cardano.Ledger.State.UTxO |
| txIxToInt | Cardano.Ledger.Api.Tx.In, Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| TxKey | Cardano.Ledger.State.Schema |
| TxLevel | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| txNonDistinctRefScriptsSize | Cardano.Ledger.Conway.UTxO |
| TxOut | |
| 1 (Type/Class) | Byron.Spec.Ledger.UTxO |
| 2 (Data Constructor) | Byron.Spec.Ledger.UTxO |
| 3 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| 4 (Type/Class) | Cardano.Chain.UTxO |
| 5 (Data Constructor) | Cardano.Chain.UTxO |
| 6 (Data Constructor) | Cardano.Ledger.State.Schema |
| txOut | Cardano.Ledger.State.Schema |
| txOutAddress | Cardano.Chain.UTxO |
| txOutAddr_ | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec |
| TxOutAlonzoToAlonzo | Test.Cardano.Ledger.Generic.Proof |
| TxOutBabbageToConway | Test.Cardano.Ledger.Generic.Proof |
| txOutCoin_ | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec |
| TxOutCompact | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody |
| 3 (Data Constructor) | Cardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| TxOutCompact' | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.TxOut |
| TxOutCompactDatum | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody |
| TxOutCompactDH | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody |
| TxOutCompactDH' | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.TxOut |
| TxOutCompactRefScript | Cardano.Ledger.Babbage.TxOut, Cardano.Ledger.Babbage.TxBody |
| txoutEvidence | Test.Cardano.Ledger.Generic.Functions |
| TxOutFromInput | Cardano.Ledger.Alonzo.Plutus.TxInfo, Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| TxOutFromOutput | Cardano.Ledger.Alonzo.Plutus.TxInfo, Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| txOutputs | Cardano.Chain.UTxO |
| txOutputUTxO | Cardano.Chain.UTxO.UTxO, Cardano.Chain.UTxO |
| txouts | |
| 1 (Function) | Byron.Spec.Ledger.UTxO |
| 2 (Function) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| TxOutShelleyToMary | Test.Cardano.Ledger.Generic.Proof |
| TxOutSource | Cardano.Ledger.Alonzo.Plutus.TxInfo, Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| txOutSourceToText | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| txOutSpec | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec |
| TxOutStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| txOutValue | Cardano.Chain.UTxO |
| txOutValue_ | Test.Cardano.Ledger.Constrained.Conway.ParametricSpec |
| txOutVal_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| TxOutWit | Test.Cardano.Ledger.Generic.Proof |
| TxOut_AddrHash28_AdaOnly | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.TxOut |
| TxOut_AddrHash28_AdaOnly_DataHash32 | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.TxOut, Cardano.Ledger.Alonzo.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Babbage.TxOut |
| txpAnnotatedTxs | Cardano.Chain.UTxO |
| TxPayload | Cardano.Chain.UTxO |
| txpNumber | Cardano.Chain.UTxO |
| txPreserveAda | Test.Cardano.Ledger.Generic.Properties |
| TxProof | |
| 1 (Type/Class) | Cardano.Chain.UTxO |
| 2 (Data Constructor) | Cardano.Chain.UTxO |
| txpRoot | Cardano.Chain.UTxO |
| txpTxs | Cardano.Chain.UTxO |
| txpWitnesses | Cardano.Chain.UTxO |
| txpWitnessesHash | Cardano.Chain.UTxO |
| txrdmrs | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.TxWits, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Conway.TxWits |
| Txs | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| txscriptfee | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Plutus.ExUnits, Cardano.Ledger.Plutus |
| txscripts | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Babbage.TxWits, Cardano.Ledger.Conway.TxWits |
| txSeqBlockBodyAlonzoL | Cardano.Ledger.Alonzo.BlockBody.Internal, Cardano.Ledger.Alonzo.BlockBody |
| txSeqBlockBodyL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| txSeqBlockBodyShelleyL | Cardano.Ledger.Shelley.BlockBody.Internal, Cardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| TxsId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| TxSig | Cardano.Chain.UTxO |
| TxSigData | |
| 1 (Type/Class) | Cardano.Chain.UTxO |
| 2 (Data Constructor) | Cardano.Chain.UTxO |
| txSigTxHash | Cardano.Chain.UTxO |
| TxsInId | Cardano.Ledger.State.Schema |
| txsInId | Cardano.Ledger.State.Schema |
| TxsInIx | Cardano.Ledger.State.Schema |
| txsInIx | Cardano.Ledger.State.Schema |
| txsize | Byron.Spec.Ledger.UTxO |
| TxSizeLinear | |
| 1 (Type/Class) | Cardano.Chain.Common |
| 2 (Data Constructor) | Cardano.Chain.Common |
| txSizeLinearMinValue | Cardano.Chain.Common |
| txSizeSpec | Test.Cardano.Ledger.Core.Binary |
| TxsKey | Cardano.Ledger.State.Schema |
| TxsOut | Cardano.Ledger.State.Schema |
| txsOut | Cardano.Ledger.State.Schema |
| TxsStakeCredential | Cardano.Ledger.State.Schema |
| txsStakeCredential | Cardano.Ledger.State.Schema |
| TxUpgradeError | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Api |
| TxUTxODiff | |
| 1 (Data Constructor) | Cardano.Ledger.Allegra.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 4 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| TxValidation | Cardano.Chain.UTxO |
| TxValidationError | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| TxValidationFeeTooSmall | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| TxValidationLovelaceError | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| TxValidationMissingInput | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| TxValidationMode | Cardano.Chain.UTxO |
| txValidationMode | Cardano.Chain.ValidationMode |
| TxValidationNetworkMagicMismatch | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| TxValidationNoCrypto | Cardano.Chain.UTxO |
| TxValidationTxTooLarge | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| TxValidationUnknownAddressAttributes | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| TxValidationUnknownAttributes | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| TxValidationWitnessWrongKey | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| TxValidationWitnessWrongSignature | Cardano.Chain.UTxO.Validation, Cardano.Chain.UTxO |
| txValue | Byron.Spec.Ledger.UTxO |
| TxWitness | Cardano.Chain.UTxO |
| TxWits | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core |
| txwitsBoot | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Babbage.TxWits, Cardano.Ledger.Conway.TxWits |
| txwitsVKey | Cardano.Ledger.Alonzo.TxWits, Cardano.Ledger.Babbage.TxWits, Cardano.Ledger.Conway.TxWits |
| txZero | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| TypeBool | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeBreak | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeBytes | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeBytesIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeFloat16 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeFloat32 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeFloat64 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeHashed | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| TypeInteger | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeInvalid | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeListLen | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeListLen64 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeListLenIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeMapLen | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeMapLen64 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeMapLenIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeNInt | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeNInt64 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeNull | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeRep | Data.Universe |
| typeReps | Data.AbstractSize |
| TypeSimple | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeString | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeStringIndef | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeTag | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeTag64 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeUInt | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| TypeUInt64 | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |