Safe Haskell	None
Language	Haskell2010

Test.Cardano.Protocol.Praos.BlockHeader.Arbitrary

Contents

Orphan instances

Arbitrary InputVRF Source #
Instance details Methods arbitrary ∷ Gen InputVRF Source # shrink ∷ InputVRF → [InputVRF] Source #
(Crypto c, Signable (VRF c) ~ SignableRepresentation, Signable (KES c) ~ SignableRepresentation) ⇒ Arbitrary (Header c) Source #
Instance details Methods arbitrary ∷ Gen (Header c) Source # shrink ∷ Header c → [Header c] Source #
(Crypto c, Signable (VRF c) ~ SignableRepresentation) ⇒ Arbitrary (HeaderBody c) Source #
Instance details Methods arbitrary ∷ Gen (HeaderBody c) Source # shrink ∷ HeaderBody c → [HeaderBody c] Source #
Crypto c ⇒ DecCBOR (Header c) Source #
Instance details Methods decCBOR ∷ Decoder s (Header c) Source # dropCBOR ∷ Proxy (Header c) → Decoder s () Source # label ∷ Proxy (Header c) → Text Source #
(Crypto c, EraBlockBody era, Signable (KES c) ~ SignableRepresentation, Signable (VRF c) ~ SignableRepresentation, Arbitrary (BlockBody era)) ⇒ Arbitrary (Block (Header c) era) Source #
Instance details Methods arbitrary ∷ Gen (Block (Header c) era) Source # shrink ∷ Block (Header c) era → [Block (Header c) era] Source #