cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed

Documentation

ppXEraSpecPParams era ⇒ Gen (PParams era) Source #

psXGenScript era ⇒ Gen (PState era) Source #

dsX ∷ era ~ ConwayEraGen (DState era) Source #

vsX ∷ (GenScript era, era ~ ConwayEra) ⇒ Gen (VState era) Source #

csX ∷ era ~ ConwayEraGen (CertState era) Source #

utxoX ∷ era ~ ConwayEraGen (UTxO era) Source #

utxostateX ∷ (era ~ ConwayEra, HasSpec (InstantStake era)) ⇒ PParams era → Gen (UTxOState era) Source #

lsX ∷ (era ~ ConwayEra, HasSpec (InstantStake era)) ⇒ PParams era → Gen (LedgerState era) Source #

esX ∷ (era ~ ConwayEra, HasSpec (InstantStake era)) ⇒ PParams era → Gen (EpochState era) Source #

nesX ∷ (era ~ ConwayEra, HasSpec (InstantStake era)) ⇒ PParams era → Gen (NewEpochState era) Source #