| 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 ∷ ∀ era. Era era ⇒ WitUniv era → Set (Credential 'DRepRole) → Specification (VState era)
- govCertSpec ∷ EraCertState era ⇒ WitUniv era → ConwayGovCertEnv ConwayEra → CertState ConwayEra → Specification ConwayGovCert
- notYetResigned ∷ (HasSpec x, Ord x, IsNormalType x) ⇒ Map x CommitteeAuthorization → Term x → Pred
- govCertEnvSpec ∷ WitUniv ConwayEra → Specification (ConwayGovCertEnv ConwayEra)
Documentation
vStateSpec ∷ ∀ era. Era era ⇒ WitUniv era → Set (Credential 'DRepRole) → Specification (VState era) Source #
There are no hard constraints on VState, other than witnessing, and delegatee conformance which must align with the conwayCertExecContextSpec
govCertSpec ∷ EraCertState era ⇒ WitUniv era → ConwayGovCertEnv ConwayEra → CertState ConwayEra → Specification ConwayGovCert Source #
notYetResigned ∷ (HasSpec x, Ord x, IsNormalType x) ⇒ Map x CommitteeAuthorization → Term x → Pred Source #
Operations for authenticating a HotKey, or resigning a ColdKey are illegal if that key has already resigned.