| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Deleg
Description
Specs necessary to generate, environment, state, and signal for the DELEG rule
Synopsis
- someZeros ∷ ∀ fn. IsConwayUniv fn ⇒ Specification fn RDPair
- dStateSpec ∷ ∀ fn era. (IsConwayUniv fn, EraSpecDeleg era) ⇒ Specification fn (DState era)
- conwayDelegCertSpec ∷ ∀ fn era. (EraPParams era, IsConwayUniv fn) ⇒ ConwayDelegEnv era → CertState era → Specification fn (ConwayDelegCert (EraCrypto era))
- delegEnvSpec ∷ (EraSpecPParams era, IsConwayUniv fn) ⇒ Specification fn (ConwayDelegEnv era)
- shelleyDelegCertSpec ∷ ∀ fn era. (EraPParams era, IsConwayUniv fn) ⇒ ConwayDelegEnv era → DState era → Specification fn (ShelleyDelegCert (EraCrypto era))
- class (Era era, EraPParams era) ⇒ EraSpecDeleg era where
- hasGenDelegs ∷ proxy era → Bool
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 thn (Coin 0)
dStateSpec ∷ ∀ fn era. (IsConwayUniv fn, EraSpecDeleg era) ⇒ Specification fn (DState era) Source #
conwayDelegCertSpec ∷ ∀ fn era. (EraPParams era, IsConwayUniv fn) ⇒ ConwayDelegEnv era → CertState era → Specification fn (ConwayDelegCert (EraCrypto era)) Source #
delegEnvSpec ∷ (EraSpecPParams era, IsConwayUniv fn) ⇒ Specification fn (ConwayDelegEnv era) Source #
shelleyDelegCertSpec ∷ ∀ fn era. (EraPParams era, IsConwayUniv fn) ⇒ ConwayDelegEnv era → DState era → Specification fn (ShelleyDelegCert (EraCrypto era)) Source #
class (Era era, EraPParams era) ⇒ EraSpecDeleg era where Source #
Methods
hasGenDelegs ∷ proxy era → Bool Source #
Instances
| EraSpecDeleg Allegra Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Allegra → Bool Source # | |
| EraSpecDeleg Alonzo Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Alonzo → Bool Source # | |
| EraSpecDeleg Babbage Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Babbage → Bool Source # | |
| EraSpecDeleg Conway Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Conway → Bool Source # | |
| EraSpecDeleg Mary Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Mary → Bool Source # | |
| EraSpecDeleg Shelley Source # | |
Defined in Test.Cardano.Ledger.Constrained.Conway.Deleg Methods hasGenDelegs ∷ proxy Shelley → Bool Source # | |