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

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, HasSpec ConwayFn (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 ConwayFn, HasSpec ConwayFn (InstantStake era)) ⇒ PParams era → Gen (LedgerState era) Source #

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

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

snapX ∷ Gen SnapShot Source #

snapsX ∷ ∀ era. (EraSpecLedger era ConwayFn, HasSpec ConwayFn (InstantStake era)) ⇒ 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 ⇒ 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 #

(EraSpecPParams era, HasSpec ConwayFn (InstantStake 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, HasSpec ConwayFn (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 ConwayFn, HasSpec ConwayFn (InstantStake 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 #

(EraSpecPParams ConwayEra, EraSpecLedger ConwayEra ConwayFn, HasSpec ConwayFn (InstantStake ConwayEra), CertState ConwayEra ~ ConwayCertState ConwayEra) ⇒ WellFormed (ConwayCertState ConwayEra) ConwayEra Source # 
Instance details

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

Methods

wffWithPP ∷ PParams ConwayEra → Gen (ConwayCertState ConwayEra) Source #

wff ∷ Gen (ConwayCertState ConwayEra) 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 (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 #

(EraSpecPParams era, HasSpec ConwayFn (InstantStake 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, HasSpec ConwayFn (InstantStake 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, HasSpec ConwayFn (InstantStake 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, EraSpecLedger era ConwayFn, HasSpec ConwayFn (InstantStake 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 ConwayFn (InstantStake 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, HasSpec ConwayFn (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 ConwayFn, HasSpec ConwayFn (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 #