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

Cardano.Protocol.Leios.BlockHeader

Description

Block header associated with Leios.

The Leios block header is the Praos block header with two additional fields appended. Everything else is identical to the Praos header, see Cardano.Protocol.Praos.BlockHeader for details.

Synopsis

Documentation

data Header crypto where Source #

Bundled Patterns

pattern Header ∷ Crypto crypto ⇒ HeaderBody crypto → SignedKES (KES crypto) (HeaderBody crypto) → Header crypto 

Instances

Instances details
Typeable crypto ⇒ ToCBOR (Header crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

toCBOR ∷ Header crypto → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Header crypto) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Header crypto] → Size Source #

Crypto c ⇒ DecCBOR (Annotator (Header c)) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

decCBOR ∷ Decoder s (Annotator (Header c)) Source #

dropCBOR ∷ Proxy (Annotator (Header c)) → Decoder s () Source #

label ∷ Proxy (Annotator (Header c)) → Text Source #

Crypto c ⇒ EncCBOR (Header c) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

encCBOR ∷ Header c → Encoding Source #

SafeToHash (Header crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

originalBytes ∷ Header crypto → ByteString Source #

originalBytesSize ∷ Header crypto → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → Header crypto → SafeHash i Source #

Memoized (Header crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Associated Types

type RawType (Header crypto) 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

type RawType (Header crypto)

Methods

getMemoBytes ∷ Header crypto → MemoBytes (RawType (Header crypto))

wrapMemoBytes ∷ MemoBytes (RawType (Header crypto)) → Header crypto

Generic (Header crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Associated Types

type Rep (Header crypto) 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

type Rep (Header crypto)

Methods

from ∷ Header crypto → Rep (Header crypto) x #

to ∷ Rep (Header crypto) x → Header crypto #

Crypto crypto ⇒ Show (Header crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

showsPrec ∷ Int → Header crypto → ShowS #

show ∷ Header crypto → String #

showList ∷ [Header crypto] → ShowS #

Crypto crypto ⇒ Eq (Header crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

(==) ∷ Header crypto → Header crypto → Bool #

(/=) ∷ Header crypto → Header crypto → Bool #

Crypto crypto ⇒ NoThunks (Header crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

noThunks ∷ Context → Header crypto → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Header crypto → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Header crypto) → String Source #

(Crypto c, Era era) ⇒ EraBlockHeader (Header c) era Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

blockIssuerBlockHeaderG ∷ SimpleGetter (Block (Header c) era) (KeyHash 'BlockIssuer) Source #

blockHeaderSizeBlockHeaderG ∷ SimpleGetter (Block (Header c) era) Int Source #

blockBodySizeBlockHeaderL ∷ Lens' (Block (Header c) era) Word32 Source #

blockBodyHashBlockHeaderL ∷ Lens' (Block (Header c) era) (Hash HASH EraIndependentBlockBody) Source #

slotNoBlockHeaderL ∷ Lens' (Block (Header c) era) SlotNo Source #

protVerBlockHeaderL ∷ Lens' (Block (Header c) era) ProtVer Source #

HashAnnotated (Header crypto) EraIndependentBlockHeader Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

hashAnnotated ∷ Header crypto → SafeHash EraIndependentBlockHeader Source #

type RawType (Header crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

type RawType (Header crypto)
type Rep (Header crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

type Rep (Header crypto)

data HeaderBody crypto Source #

Constructors

HeaderBody 

Fields

Instances

Instances details
Crypto crypto ⇒ SignableRepresentation (HeaderBody crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

getSignableRepresentation ∷ HeaderBody crypto → ByteString Source #

Crypto crypto ⇒ DecCBOR (HeaderBody crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

decCBOR ∷ Decoder s (HeaderBody crypto) Source #

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

label ∷ Proxy (HeaderBody crypto) → Text Source #

Crypto crypto ⇒ EncCBOR (HeaderBody crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

encCBOR ∷ HeaderBody crypto → Encoding Source #

Generic (HeaderBody crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Associated Types

type Rep (HeaderBody crypto) 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

type Rep (HeaderBody crypto) = D1 ('MetaData "HeaderBody" "Cardano.Protocol.Leios.BlockHeader" "cardano-protocol-0.1.0.0-inplace" 'False) (C1 ('MetaCons "HeaderBody" 'PrefixI 'True) (((S1 ('MetaSel ('Just "hbBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo) :*: (S1 ('MetaSel ('Just "hbSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "hbPrev") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PrevHash))) :*: (S1 ('MetaSel ('Just "hbVk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'BlockIssuer)) :*: (S1 ('MetaSel ('Just "hbVrfVk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyVRF (VRF crypto))) :*: S1 ('MetaSel ('Just "hbVrfRes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertifiedVRF (VRF crypto) InputVRF))))) :*: ((S1 ('MetaSel ('Just "hbBodySize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "hbBodyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash HASH EraIndependentBlockBody)) :*: S1 ('MetaSel ('Just "hbOCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OCert crypto)))) :*: (S1 ('MetaSel ('Just "hbProtVer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer) :*: (S1 ('MetaSel ('Just "hbBlockBodyContainsLeiosCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "hbEbAnnouncement") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe EbAnnouncement)))))))

Methods

from ∷ HeaderBody crypto → Rep (HeaderBody crypto) x #

to ∷ Rep (HeaderBody crypto) x → HeaderBody crypto #

Crypto crypto ⇒ Show (HeaderBody crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

showsPrec ∷ Int → HeaderBody crypto → ShowS #

show ∷ HeaderBody crypto → String #

showList ∷ [HeaderBody crypto] → ShowS #

Crypto crypto ⇒ Eq (HeaderBody crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

(==) ∷ HeaderBody crypto → HeaderBody crypto → Bool #

(/=) ∷ HeaderBody crypto → HeaderBody crypto → Bool #

Crypto crypto ⇒ NoThunks (HeaderBody crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

noThunks ∷ Context → HeaderBody crypto → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → HeaderBody crypto → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (HeaderBody crypto) → String Source #

type Rep (HeaderBody crypto) Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

type Rep (HeaderBody crypto) = D1 ('MetaData "HeaderBody" "Cardano.Protocol.Leios.BlockHeader" "cardano-protocol-0.1.0.0-inplace" 'False) (C1 ('MetaCons "HeaderBody" 'PrefixI 'True) (((S1 ('MetaSel ('Just "hbBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockNo) :*: (S1 ('MetaSel ('Just "hbSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "hbPrev") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PrevHash))) :*: (S1 ('MetaSel ('Just "hbVk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey 'BlockIssuer)) :*: (S1 ('MetaSel ('Just "hbVrfVk") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VerKeyVRF (VRF crypto))) :*: S1 ('MetaSel ('Just "hbVrfRes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertifiedVRF (VRF crypto) InputVRF))))) :*: ((S1 ('MetaSel ('Just "hbBodySize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: (S1 ('MetaSel ('Just "hbBodyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash HASH EraIndependentBlockBody)) :*: S1 ('MetaSel ('Just "hbOCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OCert crypto)))) :*: (S1 ('MetaSel ('Just "hbProtVer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer) :*: (S1 ('MetaSel ('Just "hbBlockBodyContainsLeiosCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "hbEbAnnouncement") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe EbAnnouncement)))))))

data EbAnnouncement Source #

Announcement of an Endorser Block (EB).

Constructors

EbAnnouncement 

Fields

Instances

Instances details
DecCBOR EbAnnouncement Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

decCBOR ∷ Decoder s EbAnnouncement Source #

dropCBOR ∷ Proxy EbAnnouncement → Decoder s () Source #

label ∷ Proxy EbAnnouncement → Text Source #

EncCBOR EbAnnouncement Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

encCBOR ∷ EbAnnouncement → Encoding Source #

NFData EbAnnouncement Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

rnf ∷ EbAnnouncement → () #

Generic EbAnnouncement Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Associated Types

type Rep EbAnnouncement 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

type Rep EbAnnouncement = D1 ('MetaData "EbAnnouncement" "Cardano.Protocol.Leios.BlockHeader" "cardano-protocol-0.1.0.0-inplace" 'False) (C1 ('MetaCons "EbAnnouncement" 'PrefixI 'True) (S1 ('MetaSel ('Just "ebAnnouncementHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash EraIndependentEb)) :*: S1 ('MetaSel ('Just "ebAnnouncementSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

Methods

from ∷ EbAnnouncement → Rep EbAnnouncement x #

to ∷ Rep EbAnnouncement x → EbAnnouncement #

Show EbAnnouncement Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

showsPrec ∷ Int → EbAnnouncement → ShowS #

show ∷ EbAnnouncement → String #

showList ∷ [EbAnnouncement] → ShowS #

Eq EbAnnouncement Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

(==) ∷ EbAnnouncement → EbAnnouncement → Bool #

(/=) ∷ EbAnnouncement → EbAnnouncement → Bool #

NoThunks EbAnnouncement Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

Methods

noThunks ∷ Context → EbAnnouncement → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EbAnnouncement → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy EbAnnouncement → String Source #

type Rep EbAnnouncement Source # 
Instance details

Defined in Cardano.Protocol.Leios.BlockHeader

type Rep EbAnnouncement = D1 ('MetaData "EbAnnouncement" "Cardano.Protocol.Leios.BlockHeader" "cardano-protocol-0.1.0.0-inplace" 'False) (C1 ('MetaCons "EbAnnouncement" 'PrefixI 'True) (S1 ('MetaSel ('Just "ebAnnouncementHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash EraIndependentEb)) :*: S1 ('MetaSel ('Just "ebAnnouncementSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

headerHash ∷ Header crypto → Hash HASH EraIndependentBlockHeader Source #

headerSize ∷ Header crypto → Int Source #