| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Imp.RatifySpec
Documentation
spec ∷ ∀ era. (HasCallStack, ConwayEraImp era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Imp.RatifySpec
spec ∷ ∀ era. (HasCallStack, ConwayEraImp era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #