Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Specs necessary to generate, environment, state, and signal for the DELEG rule
Documentation
dStateSpec ∷ IsConwayUniv fn ⇒ Specification fn (DState (ConwayEra StandardCrypto)) Source #
delegCertSpec ∷ ∀ fn. IsConwayUniv fn ⇒ ConwayDelegEnv (ConwayEra StandardCrypto) → DState (ConwayEra StandardCrypto) → Specification fn (ConwayDelegCert StandardCrypto) Source #
delegEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (ConwayDelegEnv Conway) Source #