cardano-ledger-shelley-1.16.0.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Imp.UtxowSpec

Documentation

spec ∷ ∀ era. (ShelleyEraImp era, Arbitrary (TxAuxData era), InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #