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

Test.Cardano.Ledger.Shelley.Imp

Documentation

spec ∷ ∀ proxy era. (ShelleyEraImp era, Event (EraRule "RUPD" era) ~ RupdEvent) ⇒ proxy era → Spec Source #

shelleyToBabbageSpec ∷ (ShelleyEraImp era, ShelleyEraAccounts era) ⇒ proxy era → Spec Source #