| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.GovCert
Description
Specs necessary to generate, environment, state, and signal for the GOVCERT rule
Synopsis
- vStateSpec ∷ (IsConwayUniv fn, Era era) ⇒ Term fn (Set (Credential 'DRepRole (EraCrypto era))) → Specification fn (VState era)
- govCertSpec ∷ IsConwayUniv fn ⇒ ConwayGovCertEnv (ConwayEra StandardCrypto) → CertState (ConwayEra StandardCrypto) → Specification fn (ConwayGovCert StandardCrypto)
- notYetResigned ∷ (HasSpec fn x, Ord x, IsConwayUniv fn) ⇒ Map x (CommitteeAuthorization StandardCrypto) → Term fn x → Pred fn
- govCertEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (ConwayGovCertEnv (ConwayEra StandardCrypto))
Documentation
vStateSpec ∷ (IsConwayUniv fn, Era era) ⇒ Term fn (Set (Credential 'DRepRole (EraCrypto era))) → Specification fn (VState era) Source #
govCertSpec ∷ IsConwayUniv fn ⇒ ConwayGovCertEnv (ConwayEra StandardCrypto) → CertState (ConwayEra StandardCrypto) → Specification fn (ConwayGovCert StandardCrypto) Source #
notYetResigned ∷ (HasSpec fn x, Ord x, IsConwayUniv fn) ⇒ Map x (CommitteeAuthorization StandardCrypto) → Term fn x → Pred fn Source #
Operations for authenticating a HotKey, or resigning a ColdKey are illegal if that key has already resigned.