| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway.Base
Contents
Documentation
data ConwayCertExecContext era Source #
Constructors
| ConwayCertExecContext | The UMap of the DState has a field with type: Map (Credential 'Staking) DRep The VState field vsDReps has type: Map (Credential DRepRole) DRepState The DRepState field drepDelegs has type: Set (Credential Staking) Every (Credential 'DRepRole c) corresponds to a unique (DRep) the ccecDelegatees field helps maintain that correspondance, It is used in vstateSpec and bootstrapDStateSpec. Also see getDelegatees :: DState era -> Map (Credential 'DRepRole) (Set (Credential 'Staking)) in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs, which defines the exact correspondance. } |
Fields
| |
Instances
conwayCertExecContextSpec ∷ ∀ era. Era era ⇒ WitUniv era → Integer → Specification (ConwayCertExecContext era) Source #
data ConwayRatifyExecContext era Source #
Constructors
| ConwayRatifyExecContext | |
Fields
| |
Instances
nameEnact ∷ EnactSignal era → String Source #
nameGovAction ∷ GovAction era → String Source #
crecTreasuryL ∷ Lens' (ConwayRatifyExecContext era) Coin Source #
crecGovActionMapL ∷ Lens' (ConwayRatifyExecContext era) [GovActionState era] Source #
enactStateSpec ∷ ConwayEnactExecContext ConwayEra → ConwayExecEnactEnv ConwayEra → Specification (EnactState ConwayEra) Source #