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

Test.Cardano.Ledger.Constrained.Conway.Deleg

Description

Specs necessary to generate, environment, state, and signal for the DELEG rule

Synopsis

Documentation

someZeros ∷ ∀ fn. IsConwayUniv fn ⇒ Specification fn RDPair Source #

Specify that some of the rewards in the RDPair's are zero. without this in the DState, it is hard to generate the ConwayUnRegCert certificate, since it requires a rewards balance of 0. We also specify that both reward and deposit are greater than (Coin 0)

rewDepMapSpec ∷ (Era era, IsConwayUniv fn) ⇒ WitUniv era → Map RewardAccount CoinSpecification fn (Map (Credential 'Staking) RDPair) Source #

Specification for the RewardDepositMap of the Umap in the DState It must be witnessed, and conform to some properties relating to the withdrawals map, which is part of the context, so passed as an arg.

dStateSpec ∷ ∀ fn era. (IsConwayUniv fn, EraSpecDeleg era) ⇒ WitUniv era → Map RewardAccount CoinSpecification fn (DState era) Source #