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

Test.Cardano.Ledger.Shelley.Imp

Documentation

spec ∷ ∀ era. (ShelleyEraImp era, EraSpecificSpec era, InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era, InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era, InjectRuleFailure "LEDGER" ShelleyPoolPredFailure era) ⇒ Spec Source #

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

Orphan instances