Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Block.EBB

Description

Generic infrastructure for working with EBBs

Synopsis

data IsEBB
- = IsEBB
- | IsNotEBB
fromIsEBB :: IsEBB -> Bool
toIsEBB :: Bool -> IsEBB

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 Source # (/=) :: IsEBB -> IsEBB -> Bool Source #
Show IsEBB Source #
Instance details Defined in Ouroboros.Consensus.Block.EBB Methods showsPrec :: Int -> IsEBB -> ShowS Source # show :: IsEBB -> String Source # showList :: [ IsEBB ] -> ShowS Source #
Generic IsEBB Source #
Instance details Defined in Ouroboros.Consensus.Block.EBB Associated Types type Rep IsEBB :: Type -> Type Source # Methods from :: IsEBB -> Rep IsEBB x Source # to :: Rep IsEBB x -> IsEBB Source #
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.1-DT4Cvwf63DZKctsEvaJqCU" ' 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 #