Documentation

spec ∷ ∀ era. (ConwayEraImp era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, Event (EraRule "MEMPOOL" era) ~ ConwayMempoolEvent era, BaseM (EraRule "LEDGERS" era) ~ ShelleyBase, Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era), Event (EraRule "LEDGERS" era) ~ ShelleyLedgersEvent era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, STS (EraRule "LEDGERS" era), ApplyTx era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #