Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.MiniProtocol.ChainSync.Server

Contents

Trace events

Synopsis

data Tip b
chainSyncBlockServerFollower :: ChainDB m blk -> ResourceRegistry m -> m ( Follower m blk ( WithPoint blk ( Serialised blk)))
chainSyncBlocksServer :: forall m blk. ( IOLike m, HasHeader ( Header blk)) => Tracer m ( TraceChainSyncServerEvent blk) -> ChainDB m blk -> Follower m blk ( WithPoint blk ( Serialised blk)) -> ChainSyncServer ( Serialised blk) ( Point blk) ( Tip blk) m ()
chainSyncHeaderServerFollower :: ChainDB m blk -> ChainType -> ResourceRegistry m -> m ( Follower m blk ( WithPoint blk ( SerialisedHeader blk)))
chainSyncHeadersServer :: forall m blk. ( IOLike m, HasHeader ( Header blk)) => Tracer m ( TraceChainSyncServerEvent blk) -> ChainDB m blk -> Follower m blk ( WithPoint blk ( SerialisedHeader blk)) -> ChainSyncServer ( SerialisedHeader blk) ( Point blk) ( Tip blk) m ()
data BlockingType
- = Blocking
- | NonBlocking
data TraceChainSyncServerEvent blk = TraceChainSyncServerUpdate ( Tip blk) ( ChainUpdate blk ( Point blk)) BlockingType Enclosing

Documentation

data Tip b Source #

Used in chain-sync protocol to advertise the tip of the server's chain.

Instances

Instances details

StandardHash b => Eq ( Tip b)
Instance details Defined in Ouroboros.Network.Block Methods (==) :: Tip b -> Tip b -> Bool Source # (/=) :: Tip b -> Tip b -> Bool Source #
StandardHash b => Show ( Tip b)
Instance details Defined in Ouroboros.Network.Block Methods showsPrec :: Int -> Tip b -> ShowS Source # show :: Tip b -> String Source # showList :: [ Tip b] -> ShowS Source #
Generic ( Tip b)
Instance details Defined in Ouroboros.Network.Block Associated Types type Rep ( Tip b) :: Type -> Type Source # Methods from :: Tip b -> Rep ( Tip b) x Source # to :: Rep ( Tip b) x -> Tip b Source #
StandardHash b => NoThunks ( Tip b)
Instance details Defined in Ouroboros.Network.Block Methods noThunks :: Context -> Tip b -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Tip b -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Tip b) -> String Source #
Condense ( HeaderHash b) => Condense ( Tip b) Source #
Instance details Defined in Ouroboros.Consensus.Util.Condense Methods condense :: Tip b -> String Source #
ShowProxy b => ShowProxy ( Tip b :: Type )
Instance details Defined in Ouroboros.Network.Block Methods showProxy :: Proxy ( Tip b) -> String Source #
type Rep ( Tip b)
Instance details Defined in Ouroboros.Network.Block type Rep ( Tip b) = D1 (' MetaData "Tip" "Ouroboros.Network.Block" "ouroboros-network-0.1.0.1-2UgqzRSdBh49QYumtriFSI" ' False ) ( C1 (' MetaCons "TipGenesis" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "Tip" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 SlotNo ) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( HeaderHash b)) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedUnpack ) ( Rec0 BlockNo ))))

chainSyncBlockServerFollower :: ChainDB m blk -> ResourceRegistry m -> m ( Follower m blk ( WithPoint blk ( Serialised blk))) Source #

chainSyncBlocksServer :: forall m blk. ( IOLike m, HasHeader ( Header blk)) => Tracer m ( TraceChainSyncServerEvent blk) -> ChainDB m blk -> Follower m blk ( WithPoint blk ( Serialised blk)) -> ChainSyncServer ( Serialised blk) ( Point blk) ( Tip blk) m () Source #

Chain Sync Server for blocks for a given a ChainDB .

The local node-to-client protocol uses the chain sync mini-protocol with chains of full blocks (rather than a header / body split).

chainSyncHeaderServerFollower :: ChainDB m blk -> ChainType -> ResourceRegistry m -> m ( Follower m blk ( WithPoint blk ( SerialisedHeader blk))) Source #

chainSyncHeadersServer :: forall m blk. ( IOLike m, HasHeader ( Header blk)) => Tracer m ( TraceChainSyncServerEvent blk) -> ChainDB m blk -> Follower m blk ( WithPoint blk ( SerialisedHeader blk)) -> ChainSyncServer ( SerialisedHeader blk) ( Point blk) ( Tip blk) m () Source #

Chain Sync Server for block headers for a given a ChainDB .

The node-to-node protocol uses the chain sync mini-protocol with chain headers (and fetches blocks separately with the block fetch mini-protocol).

Trace events

data BlockingType Source #

Whether reading a ChainSync server update instruction was blocking or non-blocking.

Constructors

Blocking
NonBlocking

Instances

Instances details

Eq BlockingType Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Server Methods (==) :: BlockingType -> BlockingType -> Bool Source # (/=) :: BlockingType -> BlockingType -> Bool Source #
Ord BlockingType Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Server Methods compare :: BlockingType -> BlockingType -> Ordering Source # (<) :: BlockingType -> BlockingType -> Bool Source # (<=) :: BlockingType -> BlockingType -> Bool Source # (>) :: BlockingType -> BlockingType -> Bool Source # (>=) :: BlockingType -> BlockingType -> Bool Source # max :: BlockingType -> BlockingType -> BlockingType Source # min :: BlockingType -> BlockingType -> BlockingType Source #
Show BlockingType Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Server Methods showsPrec :: Int -> BlockingType -> ShowS Source # show :: BlockingType -> String Source # showList :: [ BlockingType ] -> ShowS Source #

data TraceChainSyncServerEvent blk Source #

Events traced by the Chain Sync Server.

Constructors

TraceChainSyncServerUpdate	Send a `ChainUpdate` message.
Fields ( Tip blk) Tip of the currently selected chain. ( ChainUpdate blk ( Point blk)) The whole headers/blocks in the traced `ChainUpdate` are substituted with their corresponding `Point` . BlockingType Enclosing

Instances

Instances details

StandardHash blk => Eq ( TraceChainSyncServerEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Server Methods (==) :: TraceChainSyncServerEvent blk -> TraceChainSyncServerEvent blk -> Bool Source # (/=) :: TraceChainSyncServerEvent blk -> TraceChainSyncServerEvent blk -> Bool Source #
StandardHash blk => Show ( TraceChainSyncServerEvent blk) Source #
Instance details Defined in Ouroboros.Consensus.MiniProtocol.ChainSync.Server Methods showsPrec :: Int -> TraceChainSyncServerEvent blk -> ShowS Source # show :: TraceChainSyncServerEvent blk -> String Source # showList :: [ TraceChainSyncServerEvent blk] -> ShowS Source #