cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.GovCert

Description

Specs necessary to generate, environment, state, and signal for the GOVCERT rule

Documentation

vStateSpec ∷ Specification fn (VState (ConwayEra StandardCrypto)) Source #

govCertSpec ∷ IsConwayUniv fn ⇒ ConwayGovCertEnv (ConwayEra StandardCrypto) → VState (ConwayEra StandardCrypto) → Specification fn (ConwayGovCert StandardCrypto) Source #

govCertEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (ConwayGovCertEnv (ConwayEra StandardCrypto)) Source #