| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Generator.Update
Synopsis
- genPParams ∷ (EraPParams era, AtMostEra "Mary" era, AtMostEra "Alonzo" era) ⇒ Constants → Gen (PParams era)
- genUpdate ∷ EraGen era ⇒ Constants → SlotNo → [(GenesisKeyPair c, AllIssuerKeys c 'GenesisDelegate)] → Map (KeyHash 'GenesisDelegate) (AllIssuerKeys c 'GenesisDelegate) → PParams era → (UTxOState era, CertState era) → Gen (Maybe (Update era), [KeyPair 'Witness])
- genShelleyPParamsUpdate ∷ (AtMostEra "Mary" era, AtMostEra "Alonzo" era, AtMostEra "Babbage" era, EraPParams era) ⇒ Constants → PParams era → Gen (PParamsUpdate era)
- genM ∷ Gen a → Gen (StrictMaybe a)
- genDecentralisationParam ∷ HasCallStack ⇒ Gen UnitInterval
Documentation
genPParams ∷ (EraPParams era, AtMostEra "Mary" era, AtMostEra "Alonzo" era) ⇒ Constants → Gen (PParams era) Source #
genUpdate ∷ EraGen era ⇒ Constants → SlotNo → [(GenesisKeyPair c, AllIssuerKeys c 'GenesisDelegate)] → Map (KeyHash 'GenesisDelegate) (AllIssuerKeys c 'GenesisDelegate) → PParams era → (UTxOState era, CertState era) → Gen (Maybe (Update era), [KeyPair 'Witness]) Source #
Occasionally generate an update and return with the witness keys
genShelleyPParamsUpdate ∷ (AtMostEra "Mary" era, AtMostEra "Alonzo" era, AtMostEra "Babbage" era, EraPParams era) ⇒ Constants → PParams era → Gen (PParamsUpdate era) Source #
This is only good in the Shelley Era, used to define the genShelleyEraPParamsUpdate method for (EraGen (ShelleyEra c))
genDecentralisationParam ∷ HasCallStack ⇒ Gen UnitInterval Source #
^ TODO jc - generating d=0 takes some care, if there are no registered stake pools then d=0 deadlocks the system.