cardano-ledger-shelley-test-1.5.1.0: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Generator.TxCert

Synopsis

Documentation

genTxCert ∷ ∀ era. (EraGen era, ProtVerAtMost era 8) ⇒ ConstantsKeySpace era → PParams era → AccountStateCertState era → SlotNoGen (Maybe (TxCert era, CertCred era)) Source #

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.

data CertCred era Source #

Instances

Instances details
(Era era, Show (Script era)) ⇒ Show (CertCred era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.TxCert

Methods

showsPrecIntCertCred era → ShowS Source #

showCertCred era → String Source #

showList ∷ [CertCred era] → ShowS Source #