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. EraSpecPParams era ⇒ Gen (PState era) Source #

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

vsX ∷ ∀ era. EraSpecPParams 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 Conway → Gen (GovEnv Conway) Source #

conwaygovX ∷ PParams Conway → Gen (ConwayGovState Conway) 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 ∷ ∀ era. Era era ⇒ Gen (SnapShot (EraCrypto era)) Source #

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

instanRewX ∷ ∀ era. EraSpecTxOut era ConwayFn ⇒ Gen (InstantaneousRewards (EraCrypto era)) 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 ⇒ 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 Conway) Conway Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams Conway → Gen (ConwayGovState Conway) Source # wff ∷ Gen (ConwayGovState Conway) Source #
WellFormed (GovEnv Conway) Conway Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams Conway → Gen (GovEnv Conway) Source # wff ∷ Gen (GovEnv Conway) 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 #
(EraSpecPParams era, c ~ EraCrypto era, EraSpecTxOut era ConwayFn) ⇒ WellFormed (InstantaneousRewards c) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (InstantaneousRewards c) Source # wff ∷ Gen (InstantaneousRewards c) Source #
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 ⇒ 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, c ~ EraCrypto era) ⇒ WellFormed (SnapShot c) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (SnapShot c) Source # wff ∷ Gen (SnapShot c) Source #
(EraSpecPParams era, EraSpecLedger era ConwayFn, c ~ EraCrypto era) ⇒ WellFormed (SnapShots c) era Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed Methods wffWithPP ∷ PParams era → Gen (SnapShots c) Source # wff ∷ Gen (SnapShots c) 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 #