| 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. IsConwayUniv fn ⇒ Specification fn (DState (ConwayEra StandardCrypto))
- delegCertSpec ∷ ∀ fn. IsConwayUniv fn ⇒ ConwayDelegEnv (ConwayEra StandardCrypto) → CertState (ConwayEra StandardCrypto) → Specification fn (ConwayDelegCert StandardCrypto)
- delegEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (ConwayDelegEnv Conway)
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.
dStateSpec ∷ ∀ fn. IsConwayUniv fn ⇒ Specification fn (DState (ConwayEra StandardCrypto)) Source #
delegCertSpec ∷ ∀ fn. IsConwayUniv fn ⇒ ConwayDelegEnv (ConwayEra StandardCrypto) → CertState (ConwayEra StandardCrypto) → Specification fn (ConwayDelegCert StandardCrypto) Source #
delegEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (ConwayDelegEnv Conway) Source #