Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Ledger
Documentation
ledgerTxSpec ∷ IsConwayUniv fn ⇒ UtxoExecContext ConwayEra → Specification fn (Tx ConwayEra) Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Ledger
ledgerTxSpec ∷ IsConwayUniv fn ⇒ UtxoExecContext ConwayEra → Specification fn (Tx ConwayEra) Source #