Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Specs necessary to generate, environment, state, and signal for the POOL rule
Documentation
currentEpoch ∷ SlotNo → EpochNo Source #
poolEnvSpec ∷ IsConwayUniv fn ⇒ Specification fn (PoolEnv (ConwayEra StandardCrypto)) Source #
pStateSpec ∷ IsConwayUniv fn ⇒ Specification fn (PState (ConwayEra StandardCrypto)) Source #
poolCertSpec ∷ IsConwayUniv fn ⇒ PoolEnv (ConwayEra StandardCrypto) → PState (ConwayEra StandardCrypto) → Specification fn (PoolCert StandardCrypto) Source #