| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Dijkstra.Imp.PoolSpec
Synopsis
- spec ∷ DijkstraEraImp era ⇒ SpecWith (ImpInit (LedgerSpec era))
- dijkstraOnlySpec ∷ SpecWith (ImpInit (LedgerSpec DijkstraEra))
Documentation
spec ∷ DijkstraEraImp era ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
dijkstraOnlySpec ∷ SpecWith (ImpInit (LedgerSpec DijkstraEra)) Source #
These need to run the POOL rule on its own, which needs the concrete rule types of Dijkstra, so can't be bundled in the era-polymorphic ones above