cardano-ledger-alonzo-1.16.0.0: Cardano ledger introducing Plutus Core
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Alonzo.Imp

Documentation

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

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

alonzoToConwaySpec ∷ (AlonzoEraImp era, ShelleyEraTxCert era) ⇒ proxy era → Spec Source #