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

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

dsX ∷ ∀ era. LedgerEra era ConwayFnGen (DState era) Source #

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

csX ∷ ∀ era. LedgerEra era ConwayFnGen (CertState era) Source #

utxoX ∷ ∀ era. LedgerEra era ConwayFnGen (UTxO era) Source #

utxostateX ∷ ∀ era. LedgerEra era ConwayFnPParams era → Gen (UTxOState era) Source #

lsX ∷ ∀ era. LedgerEra era ConwayFnPParams era → Gen (LedgerState era) Source #

esX ∷ ∀ era. LedgerEra era ConwayFnPParams era → Gen (EpochState era) Source #

nesX ∷ ∀ era. LedgerEra era ConwayFnPParams era → Gen (NewEpochState era) Source #

snapX ∷ ∀ era. Era era ⇒ Gen (SnapShot (EraCrypto era)) Source #

snapsX ∷ ∀ era. LedgerEra era ConwayFnPParams era → Gen (SnapShots (EraCrypto era)) Source #

instanRewX ∷ ∀ era. Era era ⇒ Gen (InstantaneousRewards (EraCrypto era)) Source #

drepStateX ∷ ∀ era. Era era ⇒ Gen (DRepState (EraCrypto era)) Source #

class (EraPP era, HasSpec ConwayFn t) ⇒ WellFormed t era where Source #

Minimal complete definition

Nothing

Methods

wffWithPPPParams era → Gen t Source #

wffGen t Source #

Instances

Instances details
EraPP era ⇒ WellFormed AccountState era Source # 
Instance details

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

WellFormed (ConwayGovState Conway) Conway Source # 
Instance details

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

WellFormed (GovEnv Conway) Conway Source # 
Instance details

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

(EraPP era, LedgerEra era ConwayFn) ⇒ WellFormed (CertState era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (CertState era) Source #

wffGen (CertState era) Source #

(EraPP era, LedgerEra era ConwayFn) ⇒ WellFormed (DState era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (DState era) Source #

wffGen (DState era) Source #

(EraPP era, c ~ EraCrypto era) ⇒ WellFormed (InstantaneousRewards c) era Source # 
Instance details

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

EraPP era ⇒ WellFormed (PState era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (PState era) Source #

wffGen (PState era) Source #

EraPP era ⇒ WellFormed (VState era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (VState era) Source #

wffGen (VState era) Source #

EraPP era ⇒ WellFormed (PParams era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (PParams era) Source #

wffGen (PParams era) Source #

(EraPP era, c ~ EraCrypto era) ⇒ WellFormed (DRepState c) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (DRepState c) Source #

wffGen (DRepState c) Source #

(EraPP era, c ~ EraCrypto era) ⇒ WellFormed (SnapShot c) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (SnapShot c) Source #

wffGen (SnapShot c) Source #

(EraPP era, LedgerEra era ConwayFn, c ~ EraCrypto era) ⇒ WellFormed (SnapShots c) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (SnapShots c) Source #

wffGen (SnapShots c) Source #

(EraPP era, LedgerEra era ConwayFn) ⇒ WellFormed (UTxO era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (UTxO era) Source #

wffGen (UTxO era) Source #

(EraPP era, LedgerEra era ConwayFn) ⇒ WellFormed (ShelleyGovState era) era Source # 
Instance details

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

(EraPP era, LedgerEra era ConwayFn) ⇒ WellFormed (EpochState era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (EpochState era) Source #

wffGen (EpochState era) Source #

(EraPP era, LedgerEra era ConwayFn) ⇒ WellFormed (LedgerState era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (LedgerState era) Source #

wffGen (LedgerState era) Source #

(EraPP era, LedgerEra era ConwayFn) ⇒ WellFormed (NewEpochState era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (NewEpochState era) Source #

wffGen (NewEpochState era) Source #

(EraPP era, LedgerEra era ConwayFn) ⇒ WellFormed (UTxOState era) era Source # 
Instance details

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

Methods

wffWithPPPParams era → Gen (UTxOState era) Source #

wffGen (UTxOState era) Source #