ouroboros-consensus-protocol-0.12.0.0: Cardano consensus protocols
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 PraosState Source # 
Instance details

Methods

arbitrary ∷ Gen PraosState Source #

shrink ∷ PraosState → [PraosState] Source #

Arbitrary InputVRF Source # 
Instance details

Methods

arbitrary ∷ Gen InputVRF Source #

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