| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Crypto.Gen
Synopsis
- genProtocolMagic ∷ Gen ProtocolMagic
- genProtocolMagicId ∷ Gen ProtocolMagicId
- genRequiresNetworkMagic ∷ Gen RequiresNetworkMagic
- genSignTag ∷ Gen SignTag
- genKeypair ∷ Gen (VerificationKey, SigningKey)
- genVerificationKey ∷ Gen VerificationKey
- genSigningKey ∷ Gen SigningKey
- genRedeemKeypair ∷ Gen (RedeemVerificationKey, RedeemSigningKey)
- genRedeemVerificationKey ∷ Gen RedeemVerificationKey
- genCompactRedeemVerificationKey ∷ Gen CompactRedeemVerificationKey
- genRedeemSigningKey ∷ Gen RedeemSigningKey
- genSignature ∷ EncCBOR a ⇒ ProtocolMagicId → Gen a → Gen (Signature a)
- genSignatureEncoded ∷ Gen ByteString → Gen (Signature a)
- genRedeemSignature ∷ EncCBOR a ⇒ ProtocolMagicId → Gen a → Gen (RedeemSignature a)
- genAbstractHash ∷ (EncCBOR a, HashAlgorithm algo) ⇒ Gen a → Gen (AbstractHash algo a)
- genSafeSigner ∷ Gen SafeSigner
- genPassPhrase ∷ Gen PassPhrase
- genHashRaw ∷ Gen (Hash Raw)
- genTextHash ∷ Gen (Hash Text)
- feedPM ∷ (ProtocolMagicId → Gen a) → Gen a
Protocol Magic Generator
genProtocolMagicId ∷ Gen ProtocolMagicId Source #
Whilst ProtocolMagicId is represented as a Word32 in cardano-ledger,
in cardano-sl it was an Int32. In order to tolerate this, and since we
don't care about testing compatibility with negative values, we only
generate values between 0 and (maxBound :: Int32) - 1, inclusive.
Sign Tag Generator
Key Generators
Redeem Key Generators
Signature Generators
genSignature ∷ EncCBOR a ⇒ ProtocolMagicId → Gen a → Gen (Signature a) Source #
genSignatureEncoded ∷ Gen ByteString → Gen (Signature a) Source #
genRedeemSignature ∷ EncCBOR a ⇒ ProtocolMagicId → Gen a → Gen (RedeemSignature a) Source #
Hash Generators
genAbstractHash ∷ (EncCBOR a, HashAlgorithm algo) ⇒ Gen a → Gen (AbstractHash algo a) Source #