Documentation

In the Coway Era, the relationship between the Stake delegation and DRep delegation is quite subtle. The best way to get this right during constrained generation, is to generate one piece, we call WhoDelegates and compute the other pieces from that. type WhoDelegates = Map (Credential 'DRepRole) (Set (Credential 'Staking) The functions delegatesTo, dRepsOf, credToDRep, delegators, help compute the other pieces. One can observe that the VState and ConwayAccounts, both have Maps whose domain come from the domain of WhoDelegates and these maps have strong invariants with each other. We choose the type WhoDelegates because two key components of VState and ConwayAccounts have related fields that must agree in many subtle ways. The most important way in that the the domain of both the maps can be computed from WhoDelegates. VState {vsDReps :: !(Map (Credential DRepRole) DRepState) ..} ConwayAccounts :: {caStates :: Map(Credential Staking) (ConwayAccountState era)} Map.keysSet vsDReps == delegatesTo onepiece Map.keysSet caStates == delegators onepiece Other more subtle agreement come from fields inside DRepState and ConwayAccountState All of these are captured in the Specification for VState and DState (which contains the Account map) One other thing we need to consider is: newtype Withdrawals = Withdrawals {unWithdrawals :: Map RewardAccount Coin} WithDrawals come from Transactions, but they have subtle interactions with rewards map and the Drep delegation map So we give special Specifcations that will generate both in ways that maintain the important relationships.

Compute the set of DRep Credentials that some (Credential 'Staking) delegates to

Compute the set of (Credential 'Staking) that delegate their vote to some DRep

Compute the set of DReps that some (Credential 'Staking) delegates to Like delegatesTo but returns the DRep rather than the (Credential 'DRepRole)

Turn a DRep Credential into a DRep

Want (Rng v3) == (Dom v0), except the Rng is List and the Dom is a Set.

The constraint for ProtVer always relates one ProtVer to another one that can follow it.

BE SURE the parameter whoDelegated has been witnessed with the same WitUniv as the parameter univ.

Specify the internal Map of ConwayAccounts :: Map (Credential Staking) (ConwayAccountState era) Ensure that the Staking Credential is both staked to some Pool, and Delegated to some DRep | Given a set of Withdrawals:: newtype Withdrawals = Withdrawals {unWithdrawals :: Map RewardAccount Coin} where:: data RewardAccount = RewardAccount {raNetwork :: !Network, raCredential :: !(Credential Staking)} That ensures every AccountState has the propeties listed to the left data ConwayAccountState era = ConwayAccountState {casBalance :: (CompactForm Coin) -- Sometimes 0, Matches the withdrawl amount if part of a Withdrawal ,casDeposit :: (CompactFormCoin) -- witnessed ,casStakePoolDelegation :: (StrictMaybe (KeyHash StakePool)) -- The Pool Staked to exists ,casDRepDelegation :: (StrictMaybe DRep)} -- The DRep delegated to exists

The Mark SnapShot (at the epochboundary) is a pure function of the LedgerState

Used for Eras where StashedAVVMAddresses era ~ () (Allegra,Mary,Alonzo,Babbage,Conway) The newEpochStateSpec method (of (EraSpecLedger era) class) in the instances for (Allegra,Mary,Alonzo,Babbage,Conway)