ouroboros-consensus-protocol-0.10.0.0: Cardano consensus protocols
Safe HaskellSafe-Inferred
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 #

PraosCrypto c ⇒ Arbitrary (PraosState c) Source # 
Instance details

Methods

arbitrary ∷ Gen (PraosState c) Source #

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