cardano-ledger-binary-1.4.0.0: Binary serialization library used throughout ledger
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Binary.Arbitrary

Documentation

genVersion ∷ HasCallStack ⇒ Version → Version → Gen Version Source #

genByteArray ∷ Int → Gen ByteArray Source #

genByteString ∷ Int → Gen ByteString Source #

genLazyByteString ∷ Int → Gen ByteString Source #

genShortByteString ∷ Int → Gen ShortByteString Source #

Orphan instances

Arbitrary Version Source # 
Instance details

Methods

arbitrary ∷ Gen Version Source #

shrink ∷ Version → [Version] Source #

Arbitrary BlockNo Source # 
Instance details

Methods

arbitrary ∷ Gen BlockNo Source #

shrink ∷ BlockNo → [BlockNo] Source #

Arbitrary EpochSize Source # 
Instance details

Methods

arbitrary ∷ Gen EpochSize Source #

shrink ∷ EpochSize → [EpochSize] Source #

Arbitrary SystemStart Source # 
Instance details

Methods

arbitrary ∷ Gen SystemStart Source #

shrink ∷ SystemStart → [SystemStart] Source #

Arbitrary ByteArray Source # 
Instance details

Methods

arbitrary ∷ Gen ByteArray Source #

shrink ∷ ByteArray → [ByteArray] Source #

Arbitrary SlicedByteArray Source # 
Instance details

Methods

arbitrary ∷ Gen SlicedByteArray Source #

shrink ∷ SlicedByteArray → [SlicedByteArray] Source #

Arbitrary Term Source # 
Instance details

Methods

arbitrary ∷ Gen Term Source #

shrink ∷ Term → [Term] Source #

Arbitrary IPv4 Source # 
Instance details

Methods

arbitrary ∷ Gen IPv4 Source #

shrink ∷ IPv4 → [IPv4] Source #

Arbitrary IPv6 Source # 
Instance details

Methods

arbitrary ∷ Gen IPv6 Source #

shrink ∷ IPv6 → [IPv6] Source #

DSIGNAlgorithm v ⇒ Arbitrary (SigDSIGN v) Source # 
Instance details

Methods

arbitrary ∷ Gen (SigDSIGN v) Source #

shrink ∷ SigDSIGN v → [SigDSIGN v] Source #

DSIGNAlgorithm v ⇒ Arbitrary (SignKeyDSIGN v) Source # 
Instance details

Methods

arbitrary ∷ Gen (SignKeyDSIGN v) Source #

shrink ∷ SignKeyDSIGN v → [SignKeyDSIGN v] Source #

DSIGNAlgorithm v ⇒ Arbitrary (VerKeyDSIGN v) Source # 
Instance details

Methods

arbitrary ∷ Gen (VerKeyDSIGN v) Source #

shrink ∷ VerKeyDSIGN v → [VerKeyDSIGN v] Source #

Arbitrary t ⇒ Arbitrary (WithOrigin t) Source # 
Instance details

Methods

arbitrary ∷ Gen (WithOrigin t) Source #

shrink ∷ WithOrigin t → [WithOrigin t] Source #

Arbitrary e ⇒ Arbitrary (StrictMaybe e) Source # 
Instance details

Methods

arbitrary ∷ Gen (StrictMaybe e) Source #

shrink ∷ StrictMaybe e → [StrictMaybe e] Source #

Arbitrary e ⇒ Arbitrary (StrictSeq e) Source # 
Instance details

Methods

arbitrary ∷ Gen (StrictSeq e) Source #

shrink ∷ StrictSeq e → [StrictSeq e] Source #

(Prim e, Arbitrary e) ⇒ Arbitrary (Vector e) Source # 
Instance details

Methods

arbitrary ∷ Gen (Vector e) Source #

shrink ∷ Vector e → [Vector e] Source #

DSIGNAlgorithm v ⇒ Arbitrary (SignedDSIGN v a) Source # 
Instance details

Methods

arbitrary ∷ Gen (SignedDSIGN v a) Source #

shrink ∷ SignedDSIGN v a → [SignedDSIGN v a] Source #

(ContextVRF v ~ (), Signable v ~ SignableRepresentation, VRFAlgorithm v) ⇒ Arbitrary (CertifiedVRF v a) Source # 
Instance details

Methods

arbitrary ∷ Gen (CertifiedVRF v a) Source #

shrink ∷ CertifiedVRF v a → [CertifiedVRF v a] Source #

(Ord k, Vector kv k, Vector vv v, Arbitrary k, Arbitrary v) ⇒ Arbitrary (VMap kv vv k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (VMap kv vv k v) Source #

shrink ∷ VMap kv vv k v → [VMap kv vv k v] Source #