Documentation

spec ∷ ∀ era. (ConwayEraImp era, NFData (Event (EraRule "ENACT" era)), ToExpr (Event (EraRule "ENACT" era)), Eq (Event (EraRule "ENACT" era)), Typeable (Event (EraRule "ENACT" era)), Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, InjectRuleEvent "TICK" ConwayEpochEvent era) ⇒ SpecWith (ImpTestState era) Source #

relevantDuringBootstrapSpec ∷ ∀ era. (ConwayEraImp era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, InjectRuleEvent "TICK" ConwayEpochEvent era) ⇒ SpecWith (ImpTestState era) Source #