Safe Haskell	Safe-Inferred
Language	Haskell2010

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

Documentation

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

acctX ∷ Gen AccountState Source #

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

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

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

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

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

utxostateX ∷ ∀ era. EraSpecLedger era ConwayFn ⇒ PParams era → Gen (UTxOState era) Source #

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

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

lsX ∷ ∀ era. EraSpecLedger era ConwayFn ⇒ PParams era → Gen (LedgerState era) Source #

esX ∷ ∀ era. EraSpecLedger era ConwayFn ⇒ PParams era → Gen (EpochState era) Source #

nesX ∷ ∀ era. EraSpecLedger era ConwayFn ⇒ PParams era → Gen (NewEpochState era) Source #

snapX ∷ Gen SnapShot Source #

snapsX ∷ ∀ era. EraSpecLedger era ConwayFn ⇒ PParams era → Gen SnapShots Source #

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

class (EraSpecPParams era, HasSpec ConwayFn 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, EraSpecTxOut era ConwayFn) ⇒ 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 ⇒ 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 ConwayFn) ⇒ 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 #
EraSpecPParams era ⇒ WellFormed AccountState era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen AccountState Source # wff ∷ Gen AccountState 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 #
(EraSpecPParams era, EraSpecLedger era ConwayFn) ⇒ WellFormed (CertState era) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (CertState era) Source # wff ∷ Gen (CertState era) Source #
(EraSpecPParams era, EraSpecLedger era ConwayFn) ⇒ 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, 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 #
(GenScript 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 ⇒ 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, EraSpecLedger era ConwayFn) ⇒ 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 ConwayFn) ⇒ 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 ConwayFn) ⇒ 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, EraSpecLedger era ConwayFn) ⇒ 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, EraSpecLedger era ConwayFn) ⇒ 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 ConwayFn) ⇒ 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 #