Modulecardano-protocol-0.1.0.0Haskell2010

Cardano.Protocol.Leios.BlockHeader

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

newtype Header
pattern Header
value headerBody
value headerSig
data HeaderBody
data EbAnnouncement
value headerHash
value headerSize

Packagecardano-protocol-0.1.0.0
Exports8
LanguageHaskell2010
LicenceApache-2.0
SourceBlockHeader.hs

newtypenewtype Header crypto

Instances13Eq, Show, Generic, NoThunks, ToCBOR, DecCBOR, …

Crypto crypto => Eq (Header crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Crypto crypto => Show (Header crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Generic (Header crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Crypto crypto => NoThunks (Header crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Typeable crypto => ToCBOR (Header crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Crypto c => DecCBOR (Annotator (Header c))Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Crypto c => EncCBOR (Header c)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
SafeToHash (Header crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Memoized (Header crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
HashAnnotated (Header crypto) EraIndependentBlockHeaderDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
(Crypto c, Era era) => EraBlockHeader (Header c) eraDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
type Rep (Header crypto) = D1 ('MetaData "Header" "Cardano.Protocol.Leios.BlockHeader" "cardano-protocol-0.1.0.0-FgHz3uBkAX6HCSlLyWMI86" 'True) (C1 ('MetaCons "HeaderConstr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (HeaderRaw crypto)))))Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
type RawType (Header crypto) = HeaderRaw cryptoDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader

valueheaderBody :: Crypto crypto => Header crypto -> HeaderBody crypto

valueheaderSig

:: Crypto crypto
=> Header crypto
-> SignedKES (KES crypto) (HeaderBody crypto)

datadata HeaderBody crypto

Constructors

HeaderBody
- hbBlockNo :: !BlockNo
  block number
- hbSlotNo :: !SlotNo
  block slot
- hbPrev :: !PrevHash
  Hash of the previous block header
- hbVk :: !VKey BlockIssuer
  verification key of block issuer
- hbVrfVk :: !VerKeyVRF (VRF crypto)
  VRF verification key for block issuer
- hbVrfRes :: !CertifiedVRF (VRF crypto) InputVRF
  Certified VRF value
- hbBodySize :: !Word32
  Size of the block body
- hbBodyHash :: !Hash HASH EraIndependentBlockBody
  Hash of block body
- hbOCert :: !OCert crypto
  operational certificate
- hbProtVer :: !ProtVer
  protocol version
- hbBlockBodyContainsLeiosCert :: !Bool
  whether the block body contains a Leios certificate
- hbEbAnnouncement :: !StrictMaybe EbAnnouncement
  Announcement of Endorser Block (EB)

Instances8Eq, Show, Generic, NoThunks, SignableRepresentation, DecCBOR, …

Crypto crypto => Eq (HeaderBody crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Crypto crypto => Show (HeaderBody crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Generic (HeaderBody crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Crypto crypto => NoThunks (HeaderBody crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Crypto crypto => SignableRepresentation (HeaderBody crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Crypto crypto => DecCBOR (HeaderBody crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Crypto crypto => EncCBOR (HeaderBody crypto)Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
type Rep (HeaderBody crypto) = D1 ('MetaData "HeaderBody" "Cardano.Protocol.Leios.BlockHeader" "cardano-protocol-0.1.0.0-FgHz3uBkAX6HCSlLyWMI86" 'False) (C1 ('MetaCons "HeaderBody" 'PrefixI 'True) (((S1 ('MetaSel ('Just "hbBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BlockNo) :*: (S1 ('MetaSel ('Just "hbSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "hbPrev") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PrevHash))) :*: (S1 ('MetaSel ('Just "hbVk") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (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 'DecidedUnpack) (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 'DecidedUnpack) (Rec0 ProtVer) :*: (S1 ('MetaSel ('Just "hbBlockBodyContainsLeiosCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "hbEbAnnouncement") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe EbAnnouncement)))))))Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader

datadata EbAnnouncement

Source#

Announcement of an Endorser Block (EB).

Constructors

EbAnnouncement
- ebAnnouncementHash :: !SafeHash EraIndependentEb
- ebAnnouncementSize :: !Word32
  Size of the EB block closure

Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

Eq EbAnnouncementDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Show EbAnnouncementDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
Generic EbAnnouncementDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
NFData EbAnnouncementDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
NoThunks EbAnnouncementDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
DecCBOR EbAnnouncementDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
EncCBOR EbAnnouncementDefined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader
type Rep EbAnnouncement = D1 ('MetaData "EbAnnouncement" "Cardano.Protocol.Leios.BlockHeader" "cardano-protocol-0.1.0.0-FgHz3uBkAX6HCSlLyWMI86" 'False) (C1 ('MetaCons "EbAnnouncement" 'PrefixI 'True) (S1 ('MetaSel ('Just "ebAnnouncementHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash EraIndependentEb)) :*: S1 ('MetaSel ('Just "ebAnnouncementSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32)))Defined in cardano-protocol-0.1.0.0 · Cardano.Protocol.Leios.BlockHeader

valueheaderHash :: Header crypto -> Hash HASH EraIndependentBlockHeader

valueheaderSize :: Header crypto -> Int