ouroboros-consensus-0.1.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellNone
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
Eq IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

Methods

(==) :: IsEBB -> IsEBB -> Bool #

(/=) :: IsEBB -> IsEBB -> Bool #

Show IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

Methods

showsPrec :: Int -> IsEBB -> ShowS #

show :: IsEBB -> String #

showList :: [IsEBB] -> ShowS #

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 #

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 #

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 #

Condense IsEBB Source # 
Instance details

Defined in Ouroboros.Consensus.Block.EBB

Methods

condense :: IsEBB -> String 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.1.0.0-GfJNvFcM6lj2s5utKAUPEp" 'False) (C1 ('MetaCons "IsEBB" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IsNotEBB" 'PrefixI 'False) (U1 :: Type -> Type))

toIsEBB :: Bool -> IsEBB Source #

fromIsEBB :: IsEBB -> Bool Source #