cardano-ledger-shelley-1.16.0.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
toVRFVerKeyHashCardano.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.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
TxAuxDataHash 
1 (Data Constructor)Cardano.Ledger.Shelley.Core
2 (Type/Class)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.Core, Cardano.Ledger.Shelley.Core
TxCertUpgradeErrorCardano.Ledger.Shelley.TxCert, 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
TxUpgradeErrorCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
TxUTxODiffCardano.Ledger.Shelley.Rules
TxWitsCardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core