| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Storage.ChainDB.Impl.Follower
Description
Followers
Synopsis
- closeAllFollowers :: IOLike m => ChainDbEnv m blk -> m ()
- newFollower :: forall m blk b. ( IOLike m, HasHeader blk, GetHeader blk, HasNestedContent Header blk, EncodeDiskDep ( NestedCtxt Header ) blk) => ChainDbHandle m blk -> ResourceRegistry m -> ChainType -> BlockComponent blk b -> m ( Follower m blk b)
- switchFork :: forall m blk b. ( HasHeader blk, HasHeader ( Header blk)) => Point blk -> AnchoredFragment ( Header blk) -> FollowerState m blk b -> FollowerState m blk b
Documentation
closeAllFollowers :: IOLike m => ChainDbEnv m blk -> m () Source #
Close all open block and header
Follower
s.
newFollower :: forall m blk b. ( IOLike m, HasHeader blk, GetHeader blk, HasNestedContent Header blk, EncodeDiskDep ( NestedCtxt Header ) blk) => ChainDbHandle m blk -> ResourceRegistry m -> ChainType -> BlockComponent blk b -> m ( Follower m blk b) Source #
Arguments
| :: forall m blk b. ( HasHeader blk, HasHeader ( Header blk)) | |
| => Point blk |
Intersection point between old and new chain |
| -> AnchoredFragment ( Header blk) |
The new chain |
| -> FollowerState m blk b | |
| -> FollowerState m blk b |
Update the given
FollowerState
to account for switching the current
chain to the given fork (which might just be an extension of the
current chain).
PRECONDITION: the intersection point must be within the fragment bounds of the new chain