Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Documentation

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

acctX ∷ Gen ChainAccountState Source #

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

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

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

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

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

utxostateX ∷ ∀ era. (EraSpecLedger era, 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. (EraSpecLedger era, HasSpec (InstantStake era)) ⇒ PParams era → Gen (LedgerState era) Source #

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

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

snapX ∷ Gen SnapShot Source #

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

instanRewX ∷ ∀ era. EraSpecTxOut era ⇒ Gen InstantaneousRewards Source #

class (EraSpecPParams era, HasSpec (InstantStake era), HasSpec t) ⇒ WellFormed t era where Source #

Minimal complete definition

Nothing

Methods

wffWithPP ∷ PParams era → Gen t Source #

wff ∷ Gen t Source #

Instances

Instances details

(EraSpecPParams era, HasSpec (InstantStake era), EraSpecTxOut era) ⇒ WellFormed InstantaneousRewards era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen InstantaneousRewards Source # wff ∷ Gen InstantaneousRewards Source #
(EraSpecPParams era, HasSpec (InstantStake era)) ⇒ WellFormed ChainAccountState era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen ChainAccountState Source # wff ∷ Gen ChainAccountState Source #
(EraSpecPParams era, HasSpec (InstantStake era)) ⇒ WellFormed SnapShot era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen SnapShot Source # wff ∷ Gen SnapShot Source #
(EraSpecPParams era, EraSpecLedger era, HasSpec (InstantStake era), IsNormalType (CertState era)) ⇒ WellFormed SnapShots era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen SnapShots Source # wff ∷ Gen SnapShots Source #
WellFormed (ConwayGovState ConwayEra) ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams ConwayEra → Gen (ConwayGovState ConwayEra) Source # wff ∷ Gen (ConwayGovState ConwayEra) Source #
WellFormed (GovEnv ConwayEra) ConwayEra Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams ConwayEra → Gen (GovEnv ConwayEra) Source # wff ∷ Gen (GovEnv ConwayEra) Source #
(GenScript era, HasSpec (InstantStake era), EraSpecPParams era) ⇒ WellFormed (VState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (VState era) Source # wff ∷ Gen (VState era) Source #
(EraSpecPParams era, HasSpec (InstantStake era)) ⇒ WellFormed (PParams era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (PParams era) Source # wff ∷ Gen (PParams era) Source #
(EraSpecPParams era, HasSpec (InstantStake era), EraSpecLedger era) ⇒ WellFormed (DState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (DState era) Source # wff ∷ Gen (DState era) Source #
(GenScript era, HasSpec (InstantStake era), EraSpecPParams era) ⇒ WellFormed (PState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (PState era) Source # wff ∷ Gen (PState era) Source #
(EraSpecPParams era, EraSpecLedger era, HasSpec (InstantStake era), IsNormalType (CertState era)) ⇒ WellFormed (UTxO era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (UTxO era) Source # wff ∷ Gen (UTxO era) Source #
(EraSpecPParams era, EraSpecLedger era, HasSpec (InstantStake era), IsNormalType (CertState era)) ⇒ WellFormed (ShelleyGovState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (ShelleyGovState era) Source # wff ∷ Gen (ShelleyGovState era) Source #
(EraSpecPParams era, EraSpecLedger era, HasSpec (InstantStake era), IsNormalType (CertState era)) ⇒ WellFormed (EpochState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (EpochState era) Source # wff ∷ Gen (EpochState era) Source #
(EraSpecPParams era, HasSpec (InstantStake era), EraSpecLedger era, IsNormalType (CertState era)) ⇒ WellFormed (LedgerState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (LedgerState era) Source # wff ∷ Gen (LedgerState era) Source #
(EraSpecPParams era, HasSpec (InstantStake era), EraSpecLedger era) ⇒ WellFormed (NewEpochState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (NewEpochState era) Source # wff ∷ Gen (NewEpochState era) Source #
(EraSpecPParams era, EraSpecLedger era, IsNormalType (CertState era), HasSpec (InstantStake era)) ⇒ WellFormed (UTxOState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (UTxOState era) Source # wff ∷ Gen (UTxOState era) Source #
(EraSpecPParams era, EraSpecLedger era, HasSpec (InstantStake era), CertState era ~ ShelleyCertState era) ⇒ WellFormed (ShelleyCertState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (ShelleyCertState era) Source # wff ∷ Gen (ShelleyCertState era) Source #