cardano-protocol-0.3.0.0: Cardano Protocol: shared crypto and block-header definitions
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Protocol.Leios.BlockHeader.Arbitrary

Documentation

genHeader ∷ (Crypto c, Signable (VRF c) ~ SignableRepresentation, Signable (KES c) ~ SignableRepresentation) ⇒ Version → Gen (Header c) Source #

genHeaderBody ∷ (Crypto c, Signable (VRF c) ~ SignableRepresentation) ⇒ Version → Gen (HeaderBody c) Source #

Orphan instances

Arbitrary EbReferencesAnnouncement Source # 
Instance details

Methods

arbitrary ∷ Gen EbReferencesAnnouncement Source #

shrink ∷ EbReferencesAnnouncement → [EbReferencesAnnouncement] 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 ⇒ DecCBOR (HeaderBody c) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (HeaderBody c) Source #

dropCBOR ∷ Proxy (HeaderBody c) → Decoder s () Source #

label ∷ Proxy (HeaderBody c) → Text Source #

Crypto c ⇒ DecCBOR (HeaderRaw c) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (HeaderRaw c) Source #

dropCBOR ∷ Proxy (HeaderRaw c) → Decoder s () Source #

label ∷ Proxy (HeaderRaw 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 #