cardano-ledger-conway-1.20.0.1: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Conway.Imp.BbodySpec

Documentation

spec ∷ ∀ era. (AlonzoEraImp era, BabbageEraTxBody era, InjectRuleFailure "BBODY" ConwayBbodyPredFailure era, InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era, ToExpr (Event (EraRule "BBODY" era)), ConwayEraPParams era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #