Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Util.TentativeState

Synopsis

data TentativeState blk
- = LastInvalidTentative !( SelectView ( BlockProtocol blk))
- | NoLastInvalidTentative
preferToLastInvalidTentative :: forall blk. LedgerSupportsProtocol blk => BlockConfig blk -> TentativeState blk -> Header blk -> Bool

Documentation

data TentativeState blk Source #

Tentative header state in the context of diffusion pipelining. This is used to check/enforce the monotonicity requirement on invalid tentative block bodies.

During chain selection, we maintain the last invalid tentative header to ensure that the stream of tentative headers we sent downstream whose blocks turned out to be invalid are strictly improving.
In the BlockFetch client, we use it to enforce this property for each upstream peer.

Constructors

LastInvalidTentative !( SelectView ( BlockProtocol blk))
NoLastInvalidTentative

Instances

Instances details

Eq ( SelectView ( BlockProtocol blk)) => Eq ( TentativeState blk) Source #
Instance details Defined in Ouroboros.Consensus.Util.TentativeState Methods (==) :: TentativeState blk -> TentativeState blk -> Bool Source # (/=) :: TentativeState blk -> TentativeState blk -> Bool Source #
Show ( SelectView ( BlockProtocol blk)) => Show ( TentativeState blk) Source #
Instance details Defined in Ouroboros.Consensus.Util.TentativeState Methods showsPrec :: Int -> TentativeState blk -> ShowS Source # show :: TentativeState blk -> String Source # showList :: [ TentativeState blk] -> ShowS Source #
Generic ( TentativeState blk) Source #
Instance details Defined in Ouroboros.Consensus.Util.TentativeState Associated Types type Rep ( TentativeState blk) :: Type -> Type Source # Methods from :: TentativeState blk -> Rep ( TentativeState blk) x Source # to :: Rep ( TentativeState blk) x -> TentativeState blk Source #
NoThunks ( SelectView ( BlockProtocol blk)) => NoThunks ( TentativeState blk) Source #
Instance details Defined in Ouroboros.Consensus.Util.TentativeState Methods noThunks :: Context -> TentativeState blk -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TentativeState blk -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TentativeState blk) -> String Source #
type Rep ( TentativeState blk) Source #
Instance details Defined in Ouroboros.Consensus.Util.TentativeState type Rep ( TentativeState blk) = D1 (' MetaData "TentativeState" "Ouroboros.Consensus.Util.TentativeState" "ouroboros-consensus-0.1.0.1-DT4Cvwf63DZKctsEvaJqCU" ' False ) ( C1 (' MetaCons "LastInvalidTentative" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( SelectView ( BlockProtocol blk)))) :+: C1 (' MetaCons "NoLastInvalidTentative" ' PrefixI ' False ) ( U1 :: Type -> Type ))

preferToLastInvalidTentative :: forall blk. LedgerSupportsProtocol blk => BlockConfig blk -> TentativeState blk -> Header blk -> Bool Source #