Documentation

spec ∷ (DijkstraEraImp era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era, Event (EraRule "RUPD" era) ~ RupdEvent) ⇒ proxy era → Spec Source #