Safe Haskell	None
Language	Haskell2010

Test.Cardano.Ledger.Binary.Arbitrary

Contents

Orphan instances

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 #
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 #