Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Specs necessary to generate, environment, state, and signal for the CERT rule
Documentation
certEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (CertEnv (ConwayEra StandardCrypto)) Source #
certStateSpec ∷ IsConwayUniv fn ⇒ Specification fn (CertState (ConwayEra StandardCrypto)) Source #
txCertSpec ∷ IsConwayUniv fn ⇒ CertEnv (ConwayEra StandardCrypto) → CertState (ConwayEra StandardCrypto) → Specification fn (ConwayTxCert (ConwayEra StandardCrypto)) Source #