cardano-ledger-shelley-1.14.1.0: Shelley Ledger Executable Model

Index - T

tcInitialFundsLCardano.Ledger.Shelley.Transition
tcInitialPParamsGCardano.Ledger.Shelley.Transition
tcInitialStakingLCardano.Ledger.Shelley.Transition
tcPreviousEraConfigLCardano.Ledger.Shelley.Transition
tcShelleyGenesisLCardano.Ledger.Shelley.Transition
tcTranslationContextLCardano.Ledger.Shelley.Transition
TestnetCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
TickNewEpochEventCardano.Ledger.Shelley.Rules
TickRupdEventCardano.Ledger.Shelley.Rules
TickTransitionError 
1 (Type/Class)Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.API.Validation, Cardano.Ledger.Shelley.API
toEraCBORCardano.Ledger.Shelley.Core
toFromByronTranslationContextCardano.Ledger.Shelley.Translation
toNominalDiffTimeMicroCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
toNominalDiffTimeMicroWithRoundingCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
toShelleyGenesisPairsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
toShelleyTransitionConfigPairsCardano.Ledger.Shelley.Transition
totalAdaESCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
totalAdaPotsESCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
TotalAdaPotsEventCardano.Ledger.Shelley.Rules
TotalDepositsCardano.Ledger.Shelley.Rules
totalObligationCardano.Ledger.Shelley.LedgerState
TotalRewardEventCardano.Ledger.Shelley.Rules
totalStake 
1 (Function)Cardano.Ledger.Shelley.RewardProvenance
2 (Function)Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
toTxSeqCardano.Ledger.Shelley.Core
TransitionConfigCardano.Ledger.Shelley.Transition
transitionRulesUTXOWCardano.Ledger.Shelley.Rules
translateCompactTxOutByronToShelleyCardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API
TranslateEraCardano.Ledger.Shelley.Core
translateEraCardano.Ledger.Shelley.Core
translateEra'Cardano.Ledger.Shelley.Core
translateEraMaybeCardano.Ledger.Shelley.Core
translateEraThroughCBORCardano.Ledger.Shelley.Core
translateToShelleyLedgerStateCardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API
translateToShelleyLedgerStateFromUtxoCardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API
translateTxIdByronToShelleyCardano.Ledger.Shelley.API.ByronTranslation, Cardano.Ledger.Shelley.API
translateUpperBoundForPlutusScriptsCardano.Ledger.Shelley.HardForks
translateValidatedCardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API
TranslationContextCardano.Ledger.Shelley.Core
TranslationErrorCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
treasuryAdaPotCardano.Ledger.Shelley.AdaPots, Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
TreasuryMIRCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ttlTxBodyLCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core
TxCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxAuxDataCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxBodyCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxBodyConstrCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
TxBodyUpgradeErrorCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxCertUpgradeErrorCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Delegation.Certificates, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxConstrCardano.Ledger.Shelley.Tx.Internal
TxId 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txIdTxCardano.Ledger.Shelley.Core
txIdTxBodyCardano.Ledger.Shelley.Core
TxIn 
1 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txinLookupCardano.Ledger.Shelley.UTxO
txinsCardano.Ledger.Shelley.UTxO
txInsFilterCardano.Ledger.Shelley.UTxO
TxIxCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txIxFromIntegralCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txIxToIntCardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
TxOutCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxOutCompactCardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
txoutsCardano.Ledger.Shelley.UTxO
TxSeqCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxSeq'Cardano.Ledger.Shelley.BlockChain
txSeqDecoderCardano.Ledger.Shelley.BlockChain
txSeqTxnsCardano.Ledger.Shelley.BlockChain
txSeqTxns'Cardano.Ledger.Shelley.BlockChain
txupCardano.Ledger.Shelley.UTxO
TxUpgradeErrorCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxUTxODiffCardano.Ledger.Shelley.Rules
TxWitsCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
txwitsScriptCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx