cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Generic.ApplyTx

Documentation

applyTxSimple ∷ ∀ era. EraModel era ⇒ IntModel era → Tx era → Model era Source #

applyTxFail ∷ (Reflect era, AlonzoEraTxBody era, EraModel era) ⇒ IntTxIxModel era → Tx era → Model era Source #

collInfo ∷ (HasCallStack, AlonzoEraTxBody era, EraModel era) ⇒ IntTxIxModel era → CollInfo era → TxBody era → CollInfo era Source #

epochBoundary ∷ ∀ era. (EraPParams era, EraStake era) ⇒ EpochNoEpochNoModel era → Model era Source #

applyTxBodyEraModel era ⇒ IntModel era → TxBody era → Model era Source #

data CollInfo era Source #

Constructors

CollInfo 

Fields

updateInfoCollInfo era → Model era → Model era Source #

applyRUpd ∷ ∀ era. EraAccounts era ⇒ RewardUpdateOldModel era → Model era Source #