| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Imp
Contents
Documentation
spec ∷ (ShelleyEraImp era, EraSpecificSpec era) ⇒ Spec Source #
shelleyEraSpecificSpec ∷ (ShelleyEraImp era, ShelleyEraAccounts era, InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
Orphan instances
| EraSpecificSpec ShelleyEra Source # | |
Methods eraSpecificSpec ∷ SpecWith (ImpInit (LedgerSpec ShelleyEra)) Source # | |