| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
Documentation
utxostateX ∷ (era ~ ConwayEra, HasSpec (InstantStake era)) ⇒ PParams era → Gen (UTxOState era) Source #
lsX ∷ (era ~ ConwayEra, HasSpec (InstantStake era)) ⇒ PParams era → Gen (LedgerState era) Source #
esX ∷ (era ~ ConwayEra, HasSpec (InstantStake era)) ⇒ PParams era → Gen (EpochState era) Source #
nesX ∷ (era ~ ConwayEra, HasSpec (InstantStake era)) ⇒ PParams era → Gen (NewEpochState era) Source #
instanRewX ∷ (era ~ ConwayEra, EraSpecTxOut era) ⇒ Gen InstantaneousRewards Source #