HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulecardano-ledger-shelley-test-1.9.0.0Haskell2010

Test.Cardano.Ledger.Shelley.Generator.TxCert

  • 1 type
  • 1 value
valuegenTxCert
  1. :: (EraGen era, AtMostEra "Babbage" era, EraCertState era, Crypto c)
  2. => Constants
  3. -> KeySpace c era
  4. -> PParams era
  5. -> ChainAccountState
  6. -> CertState era
  7. -> SlotNo
  8. -> Gen (Maybe (TxCert era, CertCred era))
#

Occasionally generate a valid certificate

Returning Nothing indicates a failure to generate a value, usually due to lack of available values from the pre-populated (e.g. key) spaces. A Just represents a successfully generated value.

Different generators return witnesses that are either genesis or regular keys.

Note: we register keys and pools more often than deregistering/retiring them, and we generate more delegations than registrations of keys/pools.