Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Imp.UtxowSpec
Documentation
spec ∷ ∀ era. (ShelleyEraImp era, Arbitrary (TxAuxData era), InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #