| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Generator.Update
Synopsis
- genPParams ∷ (EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6) ⇒ Constants → Gen (PParams era)
- genUpdate ∷ EraGen era ⇒ Constants → SlotNo → [(GenesisKeyPair (EraCrypto era), AllIssuerKeys (EraCrypto era) 'GenesisDelegate)] → Map (KeyHash 'GenesisDelegate (EraCrypto era)) (AllIssuerKeys (EraCrypto era) 'GenesisDelegate) → PParams era → (UTxOState era, CertState era) → Gen (Maybe (Update era), [KeyPair 'Witness (EraCrypto era)])
- genShelleyPParamsUpdate ∷ ∀ era. (ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8, EraPParams era) ⇒ Constants → PParams era → Gen (PParamsUpdate era)
- genM ∷ Gen a → Gen (StrictMaybe a)
- genDecentralisationParam ∷ HasCallStack ⇒ Gen UnitInterval
Documentation
genPParams ∷ (EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6) ⇒ Constants → Gen (PParams era) Source #
genUpdate ∷ EraGen era ⇒ Constants → SlotNo → [(GenesisKeyPair (EraCrypto era), AllIssuerKeys (EraCrypto era) 'GenesisDelegate)] → Map (KeyHash 'GenesisDelegate (EraCrypto era)) (AllIssuerKeys (EraCrypto era) 'GenesisDelegate) → PParams era → (UTxOState era, CertState era) → Gen (Maybe (Update era), [KeyPair 'Witness (EraCrypto era)]) Source #
Occasionally generate an update and return with the witness keys
genShelleyPParamsUpdate ∷ ∀ era. (ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8, 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.