Safe Haskell	None
Language	Haskell2010

Test.Cardano.Protocol.TPraos.BlockHeader.Arbitrary

Contents

Orphan instances

Arbitrary PrevHash Source #
Instance details Methods arbitrary ∷ Gen PrevHash Source # shrink ∷ PrevHash → [PrevHash] Source #
Arbitrary KESPeriod Source #
Instance details Methods arbitrary ∷ Gen KESPeriod Source # shrink ∷ KESPeriod → [KESPeriod] Source #
(Crypto c, Signable (VRF c) ~ SignableRepresentation) ⇒ Arbitrary (BHBody c) Source #
Instance details Methods arbitrary ∷ Gen (BHBody c) Source # shrink ∷ BHBody c → [BHBody c] Source #
(Crypto c, Signable (VRF c) ~ SignableRepresentation, Signable (KES c) ~ SignableRepresentation) ⇒ Arbitrary (BHeader c) Source #
Instance details Methods arbitrary ∷ Gen (BHeader c) Source # shrink ∷ BHeader c → [BHeader c] Source #
Crypto c ⇒ Arbitrary (OCert c) Source #
Instance details Methods arbitrary ∷ Gen (OCert c) Source # shrink ∷ OCert c → [OCert c] Source #
Crypto c ⇒ DecCBOR (BHeader c) Source #
Instance details Methods decCBOR ∷ Decoder s (BHeader c) Source # dropCBOR ∷ Proxy (BHeader c) → Decoder s () Source # label ∷ Proxy (BHeader c) → Text Source #
(Crypto c, EraBlockBody era, Signable (KES c) ~ SignableRepresentation, Signable (VRF c) ~ SignableRepresentation, Arbitrary (Tx 'TopTx era), Arbitrary (BlockBody era)) ⇒ Arbitrary (Block (BHeader c) era) Source #
Instance details Methods arbitrary ∷ Gen (Block (BHeader c) era) Source # shrink ∷ Block (BHeader c) era → [Block (BHeader c) era] Source #