cardano-ledger-dijkstra-0.2.0.0: Cardano ledger with nested transactions
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Dijkstra.Imp.UtxoSpec

Documentation

spec ∷ (DijkstraEraImp era, InjectRuleFailure "LEDGER" DijkstraUtxoPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #