Documentation

ppX ∷ ∀ era. EraSpecPParams era ⇒ Gen (PParams era) Source #

acctX ∷ Gen ChainAccountState Source #

psX ∷ ∀ era. GenScript era ⇒ Gen (PState era) Source #

dsX ∷ ∀ era. era ~ ConwayEra ⇒ Gen (DState era) Source #

conwayDStateGen ∷ ∀ era. era ~ ConwayEra ⇒ Gen (DState era) Source #

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

csX ∷ ∀ era. era ~ ConwayEra ⇒ Gen (CertState era) Source #

utxoX ∷ ∀ era. era ~ ConwayEra ⇒ Gen (UTxO era) Source #

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

govenvX ∷ PParams ConwayEra → Gen (GovEnv ConwayEra) Source #

conwaygovX ∷ PParams ConwayEra → Gen (ConwayGovState ConwayEra) Source #

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

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

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

snapX ∷ Gen SnapShot Source #

snapsX ∷ ∀ era. (HasSpec (InstantStake era), era ~ ConwayEra) ⇒ PParams era → Gen SnapShots Source #

instanRewX ∷ ∀ era. (era ~ ConwayEra, EraSpecTxOut era) ⇒ Gen InstantaneousRewards Source #