| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Dijkstra.Imp.EbSpec
Documentation
spec ∷ (DijkstraEraImp era, HashAnnotated (Tx 'TopTx era) EraIndependentTx) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Dijkstra.Imp.EbSpec
spec ∷ (DijkstraEraImp era, HashAnnotated (Tx 'TopTx era) EraIndependentTx) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #