Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Rules.IncrementalStake

4 values

Packagecardano-ledger-shelley-test-1.9.0.0
Exports4
LanguageHaskell2010
LicenceApache-2.0
SourceIncrementalStake.hs

value

incrStakeComputationTest :: (EraGen era, EraStake era, ShelleyEraAccounts era, InstantStake era ~ ShelleyInstantStake era, ChainProperty era, HasTrace (CHAIN era) (GenEnv MockCrypto era), Environment (EraRule "LEDGER" era) ~ LedgerEnv era, BaseM (EraRule "LEDGER" era) ~ ReaderT Globals Identity, STS (EraRule "LEDGER" era), Signal (EraRule "LEDGER" era) ~ StAnnTx TopTx era, ApplyTx era, State (EraRule "LEDGER" era) ~ LedgerState era) => TestTree

valueincrStakeComparisonTest

:: (EraGen era, EraGov era, EraStake era, ShelleyEraAccounts era, HasTrace (CHAIN era) (GenEnv MockCrypto era))
=> Proxy era
-> TestTree

valuestakeDistr

:: (EraTxOut era, ShelleyEraAccounts era)
=> UTxO era
-> DState era
-> PState era
-> SnapShot

Compute the current Stake Distribution. This was called at the Epoch boundary in the Snap Rule. Now it is called in the tests to see that its incremental analog incrementalStakeDistr agrees.

valueaggregateUtxoCoinByCredential

:: EraTxOut era
=> Map Ptr (Credential Staking)
-> UTxO era
-> Map (Credential Staking) (CompactForm Coin)
-> Map (Credential Staking) (CompactForm Coin)

Sum up all the Coin for each staking Credential. This function has an incremental analog. See incrementalAggregateUtxoCoinByCredential