cardano-ledger-shelley-test-1.4.0.3: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Rules.AdaPreservation

Synopsis

Documentation

adaPreservationProps ∷ ∀ era ledger. (EraGen era, TestingLedger era ledger, ChainProperty era, HasTrace (CHAIN era) (GenEnv era), GovState era ~ ShelleyGovState era) ⇒ Property Source #

Various preservation properties

tests ∷ ∀ era ledger. (EraGen era, TestingLedger era ledger, ChainProperty era, HasTrace (CHAIN era) (GenEnv era), GovState era ~ ShelleyGovState era) ⇒ IntTestTree Source #