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