ouroboros-consensus-0.18.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ouroboros.Consensus.Block.EBB

Description

Generic infrastructure for working with EBBs

Synopsis

Documentation

data IsEBB Source #

Whether a block is an Epoch Boundary Block (EBB)

See Ouroboros.Storage.ImmutableDB.API for a discussion of EBBs. Key idiosyncracies:

  • An EBB carries no unique information.
  • An EBB has the same BlockNo as its predecessor.
  • EBBs are vestigial. As of Shelley, nodes no longer forge EBBs: they are only a legacy/backwards-compatibility concern.

Constructors

IsEBB 
IsNotEBB 

Instances

Instances details
Generic IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

Associated Types

type Rep IsEBB ∷ Type → Type #

Methods

from ∷ IsEBB → Rep IsEBB x #

to ∷ Rep IsEBB x → IsEBB #

Show IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

Methods

showsPrec ∷ Int → IsEBB → ShowS #

show ∷ IsEBB → String #

showList ∷ [IsEBB] → ShowS #

Eq IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

Methods

(==) ∷ IsEBB → IsEBB → Bool #

(/=) ∷ IsEBB → IsEBB → Bool #

NoThunks IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

Methods

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

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

showTypeOf ∷ Proxy IsEBB → String Source #

Condense IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

Methods

condense ∷ IsEBB → String Source #

Serialise IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

Methods

encode ∷ IsEBB → Encoding Source #

decode ∷ Decoder s IsEBB Source #

encodeList ∷ [IsEBB] → Encoding Source #

decodeList ∷ Decoder s [IsEBB] Source #

type Rep IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

type Rep IsEBB = D1 ('MetaData "IsEBB" "Ouroboros.Consensus.Block.EBB" "ouroboros-consensus-0.18.0.0-inplace" 'False) (C1 ('MetaCons "IsEBB" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "IsNotEBB" 'PrefixI 'False) (U1 ∷ Type → Type))

fromIsEBB ∷ IsEBB → Bool Source #

toIsEBB ∷ Bool → IsEBB Source #