ouroboros-consensus:unstable-protocol-testlib
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Protocol.Serialisation.Generators

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 PraosState Source # 
Instance details

Methods

arbitrary ∷ Gen PraosState Source #

shrink ∷ PraosState → [PraosState] 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 #