Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Generator.Update

valuegenPParams

valuegenUpdate

Occasionally generate an update and return with the witness keys

valuegenShelleyPParamsUpdate

:: (AtMostEra "Mary" era, AtMostEra "Alonzo" era, AtMostEra "Babbage" era, EraPParams era)
=> Constants
-> PParams era
-> Gen (PParamsUpdate era)

This is only good in the Shelley Era, used to define the genShelleyEraPParamsUpdate method for (EraGen (ShelleyEra c))

valuegenM :: Gen a -> Gen (StrictMaybe a)

valuegenDecentralisationParam :: HasCallStack => Gen UnitInterval

^ TODO jc - generating d=0 takes some care, if there are no registered stake pools then d=0 deadlocks the system.