cardano-ledger-shelley-1.17.1.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Imp.DelegSpec

Documentation

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

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