Documentation

spec ∷ ∀ era. (Arbitrary (TxAuxData era), ConwayEraImp era, EraSegWits era, InjectRuleFailure "LEDGER" ConwayGovPredFailure era, InjectRuleFailure "LEDGER" ConwayCertsPredFailure era, Inject (BabbageContextError era) (ContextError era), Inject (ConwayContextError era) (ContextError era), InjectRuleFailure "LEDGER" BabbageUtxoPredFailure era, InjectRuleFailure "LEDGER" BabbageUtxowPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era, InjectRuleFailure "LEDGER" ConwayDelegPredFailure era, InjectRuleFailure "LEDGER" ConwayGovCertPredFailure era, InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, NFData (Event (EraRule "ENACT" era)), ToExpr (Event (EraRule "ENACT" era)), Eq (Event (EraRule "ENACT" era)), Typeable (Event (EraRule "ENACT" era)), InjectRuleEvent "TICK" ConwayEpochEvent era, Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era, Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era, Event (EraRule "MEMPOOL" era) ~ ConwayMempoolEvent era, Event (EraRule "LEDGERS" era) ~ ShelleyLedgersEvent era, Event (EraRule "LEDGER" era) ~ ConwayLedgerEvent era, BaseM (EraRule "LEDGERS" era) ~ ShelleyBase, Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, Signal (EraRule "LEDGERS" era) ~ Seq (Tx era), STS (EraRule "LEDGERS" era), ApplyTx era, Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era) ⇒ Spec Source #