cardano-ledger-shelley-1.18.0.0: Shelley Ledger Executable Model
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Imp.DelegSpec

Documentation

shelleyEraSpecificSpec ∷ (ShelleyEraImp era, ShelleyEraAccounts era, InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure era) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #

spec ∷ ShelleyEraImp era ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #