Safe Haskell	None
Language	Haskell2010

Test.Consensus.Protocol.Serialisation.Generators

Contents

Description

Generators suitable for serialisation. Note that these are not guaranteed to be semantically correct at all, only structurally correct.

Orphan instances

Arbitrary InputVRF Source #
Instance details Methods arbitrary ∷ Gen InputVRF Source # shrink ∷ InputVRF → [InputVRF] Source #
Arbitrary LeiosAnnouncement Source #
Instance details Methods arbitrary ∷ Gen LeiosAnnouncement Source # shrink ∷ LeiosAnnouncement → [LeiosAnnouncement] Source #
Arbitrary WhyNotCertifiable Source #
Instance details Methods arbitrary ∷ Gen WhyNotCertifiable Source # shrink ∷ WhyNotCertifiable → [WhyNotCertifiable] Source #
PraosCrypto c ⇒ Arbitrary (Header c) Source #
Instance details Methods arbitrary ∷ Gen (Header c) Source # shrink ∷ Header c → [Header c] Source #
PraosCrypto c ⇒ Arbitrary (HeaderBody c) Source #
Instance details Methods arbitrary ∷ Gen (HeaderBody c) Source # shrink ∷ HeaderBody c → [HeaderBody c] Source #
(Applicative (WhenLeios proto), Traversable (WhenLeios proto)) ⇒ Arbitrary (PolyPraosState proto) Source #
Instance details Methods arbitrary ∷ Gen (PolyPraosState proto) Source # shrink ∷ PolyPraosState proto → [PolyPraosState proto] Source #