Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Shelley.Examples.Combinators

Description

A collection of combinators for manipulating Chain State. The idea is to provide a clear way of describing the changes to the chain state when a block is processed.

Synopsis

evolveNonceFrozen ∷ ∀ era. Nonce → ChainState era → ChainState era
evolveNonceUnfrozen ∷ ∀ era. Nonce → ChainState era → ChainState era
newLab ∷ ∀ era. Block (BHeader MockCrypto) era → ChainState era → ChainState era
addFees ∷ Coin → ChainState era → ChainState era
newUTxO ∷ ∀ era. (EraTx era, EraStake era) ⇒ TxBody era → ChainState era → ChainState era
newStakeCred ∷ (EraCertState era, EraGov era, ShelleyEraAccounts era) ⇒ Credential 'Staking → Ptr → ChainState era → ChainState era
deregStakeCred ∷ (HasCallStack, EraCertState era, ShelleyEraAccounts era) ⇒ Credential 'Staking → ChainState era → ChainState era
delegation ∷ EraCertState era ⇒ Credential 'Staking → KeyHash 'StakePool → ChainState era → ChainState era
regPool ∷ ∀ era. (EraCertState era, EraGov era) ⇒ PoolParams → ChainState era → ChainState era
updatePoolParams ∷ ∀ era. (EraCertState era, EraGov era) ⇒ PoolParams → ChainState era → ChainState era
stageRetirement ∷ ∀ era. EraCertState era ⇒ KeyHash 'StakePool → EpochNo → ChainState era → ChainState era
reapPool ∷ ∀ era. (EraGov era, EraCertState era) ⇒ PoolParams → ChainState era → ChainState era
mir ∷ ∀ era. EraCertState era ⇒ Credential 'Staking → MIRPot → Coin → ChainState era → ChainState era
applyMIR ∷ ∀ era. EraCertState era ⇒ MIRPot → Map (Credential 'Staking) Coin → ChainState era → ChainState era
rewardUpdate ∷ ∀ era. RewardUpdate → ChainState era → ChainState era
pulserUpdate ∷ ∀ era. PulsingRewUpdate → ChainState era → ChainState era
applyRewardUpdate ∷ ∀ era. (EraGov era, EraCertState era) ⇒ RewardUpdate → ChainState era → ChainState era
setPoolDistr ∷ ∀ era. PoolDistr → ChainState era → ChainState era
setOCertCounter ∷ ∀ era. KeyHash 'BlockIssuer → Word64 → ChainState era → ChainState era
newSnapshot ∷ ∀ era. SnapShot → Coin → ChainState era → ChainState era
incrBlockCount ∷ ∀ era. KeyHash 'StakePool → ChainState era → ChainState era
newEpoch ∷ ∀ era. (ProtVerAtMost era 6, EraGov era) ⇒ Block (BHeader MockCrypto) era → ChainState era → ChainState era
setCurrentProposals ∷ ∀ era. (GovState era ~ ShelleyGovState era, EraPParams era) ⇒ ProposedPPUpdates era → ChainState era → ChainState era
setFutureProposals ∷ ∀ era. GovState era ~ ShelleyGovState era ⇒ ProposedPPUpdates era → ChainState era → ChainState era
solidifyProposals ∷ ∀ era. EraGov era ⇒ ChainState era → ChainState era
setPParams ∷ ∀ era. EraGov era ⇒ PParams era → ChainState era → ChainState era
setPrevPParams ∷ ∀ era. EraGov era ⇒ PParams era → ChainState era → ChainState era
setFutureGenDeleg ∷ ∀ era. EraCertState era ⇒ (FutureGenDeleg, GenDelegPair) → ChainState era → ChainState era
adoptFutureGenDeleg ∷ ∀ era. EraCertState era ⇒ (FutureGenDeleg, GenDelegPair) → ChainState era → ChainState era

Documentation

evolveNonceFrozen ∷ ∀ era. Nonce → ChainState era → ChainState era Source #

Evolve Nonces - Frozen

Evolve the appropriate nonces under the assumption that the candidate nonce is now frozen.

evolveNonceUnfrozen ∷ ∀ era. Nonce → ChainState era → ChainState era Source #

Evolve Nonces - Unfrozen

Evolve the appropriate nonces under the assumption that the candidate nonce is not frozen. Note: do not use this function when crossing the epoch boundary, instead use newEpoch.

newLab ∷ ∀ era. Block (BHeader MockCrypto) era → ChainState era → ChainState era Source #

New `LastAppliedBlock` (NOT on epoch boundaries)

Update the chain state with the details of LastAppliedBlock that occur when a new block is processed. Note: do not use this function when crossing the epoch boundary, instead use newEpoch.

addFees ∷ Coin → ChainState era → ChainState era Source #

newUTxO ∷ ∀ era. (EraTx era, EraStake era) ⇒ TxBody era → ChainState era → ChainState era Source #

Update the UTxO

Update the UTxO for given transaction body.

newStakeCred ∷ (EraCertState era, EraGov era, ShelleyEraAccounts era) ⇒ Credential 'Staking → Ptr → ChainState era → ChainState era Source #

New Stake Credential

Add a newly registered stake credential.

deregStakeCred ∷ (HasCallStack, EraCertState era, ShelleyEraAccounts era) ⇒ Credential 'Staking → ChainState era → ChainState era Source #

De-Register Stake Credential

De-register a stake credential and all associated data.

delegation ∷ EraCertState era ⇒ Credential 'Staking → KeyHash 'StakePool → ChainState era → ChainState era Source #

New Delegation

Create a delegation from the given stake credential to the given stake pool.

regPool ∷ ∀ era. (EraCertState era, EraGov era) ⇒ PoolParams → ChainState era → ChainState era Source #

Register a stake pool.

updatePoolParams ∷ ∀ era. (EraCertState era, EraGov era) ⇒ PoolParams → ChainState era → ChainState era Source #

Re-Register Stake Pool

stageRetirement ∷ ∀ era. EraCertState era ⇒ KeyHash 'StakePool → EpochNo → ChainState era → ChainState era Source #

Pool Retirement

Stage a stake pool for retirement.

reapPool ∷ ∀ era. (EraGov era, EraCertState era) ⇒ PoolParams → ChainState era → ChainState era Source #

Reap Pool

Remove a stake pool.

mir ∷ ∀ era. EraCertState era ⇒ Credential 'Staking → MIRPot → Coin → ChainState era → ChainState era Source #

MIR

Add a credential to the MIR mapping for the given pot (reserves or treasury)

applyMIR ∷ ∀ era. EraCertState era ⇒ MIRPot → Map (Credential 'Staking) Coin → ChainState era → ChainState era Source #

Apply MIR

On the epoch boundary, reset the MIR mappings and augment the rewards.

rewardUpdate ∷ ∀ era. RewardUpdate → ChainState era → ChainState era Source #

Reward Update

Update the chain state with the given reward update

pulserUpdate ∷ ∀ era. PulsingRewUpdate → ChainState era → ChainState era Source #

Pulser

Update the chain state with the given reward update pulser

applyRewardUpdate ∷ ∀ era. (EraGov era, EraCertState era) ⇒ RewardUpdate → ChainState era → ChainState era Source #

Apply a Reward Update

Apply the given reward update to the chain state

setPoolDistr ∷ ∀ era. PoolDistr → ChainState era → ChainState era Source #

Set Pool Distribution

Set the stake pool distribution to the given one.

setOCertCounter ∷ ∀ era. KeyHash 'BlockIssuer → Word64 → ChainState era → ChainState era Source #

Set Operation Certificate Counter

Set the operational certificates counter for a given stake pool.

newSnapshot ∷ ∀ era. SnapShot → Coin → ChainState era → ChainState era Source #

New Snapshot

Add a new snapshot and rotate the others

incrBlockCount ∷ ∀ era. KeyHash 'StakePool → ChainState era → ChainState era Source #

Increase Block Count

Record that the given stake pool (non-core node) produced a block.

newEpoch ∷ ∀ era. (ProtVerAtMost era 6, EraGov era) ⇒ Block (BHeader MockCrypto) era → ChainState era → ChainState era Source #

New Epoch

Update the new epoch number, set the nonces, set the last applied block, and reset blocks made. Note: This function subsumes the manipulations done by newLab, evolveNonceUnfrozen, and evolveNonceFrozen.

setCurrentProposals ∷ ∀ era. (GovState era ~ ShelleyGovState era, EraPParams era) ⇒ ProposedPPUpdates era → ChainState era → ChainState era Source #