| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Api.ChainSync.Client
Synopsis
- newtype ChainSyncClient header point tip (m :: Type -> Type) a = ChainSyncClient {
- runChainSyncClient :: m (ClientStIdle header point tip m a)
- data ClientStIdle header point tip (m :: Type -> Type) a where
- SendMsgRequestNext :: forall header point tip (m :: Type -> Type) a. ClientStNext header point tip m a -> m (ClientStNext header point tip m a) -> ClientStIdle header point tip m a
- SendMsgFindIntersect :: forall point header tip (m :: Type -> Type) a. [point] -> ClientStIntersect header point tip m a -> ClientStIdle header point tip m a
- SendMsgDone :: forall a header point tip (m :: Type -> Type). a -> ClientStIdle header point tip m a
- data ClientStNext header point tip (m :: Type -> Type) a = ClientStNext {
- recvMsgRollForward :: header -> tip -> ChainSyncClient header point tip m a
- recvMsgRollBackward :: point -> tip -> ChainSyncClient header point tip m a
- data ClientStIntersect header point tip (m :: Type -> Type) a = ClientStIntersect {
- recvMsgIntersectFound :: point -> tip -> ChainSyncClient header point tip m a
- recvMsgIntersectNotFound :: tip -> ChainSyncClient header point tip m a
- chainSyncClientNull :: forall (m :: Type -> Type) header point tip a. MonadTimer m => ChainSyncClient header point tip m a
- mapChainSyncClient :: forall header header' point point' tip tip' (m :: Type -> Type) a. Functor m => (point -> point') -> (point' -> point) -> (header' -> header) -> (tip' -> tip) -> ChainSyncClient header point tip m a -> ChainSyncClient header' point' tip' m a
Protocol type for the client
The protocol states from the point of view of the client.
newtype ChainSyncClient header point tip (m :: Type -> Type) a #
Constructors
| ChainSyncClient | |
Fields
| |
data ClientStIdle header point tip (m :: Type -> Type) a where #
Constructors
| SendMsgRequestNext :: forall header point tip (m :: Type -> Type) a. ClientStNext header point tip m a -> m (ClientStNext header point tip m a) -> ClientStIdle header point tip m a | |
| SendMsgFindIntersect :: forall point header tip (m :: Type -> Type) a. [point] -> ClientStIntersect header point tip m a -> ClientStIdle header point tip m a | |
| SendMsgDone :: forall a header point tip (m :: Type -> Type). a -> ClientStIdle header point tip m a |
data ClientStNext header point tip (m :: Type -> Type) a #
Constructors
| ClientStNext | |
Fields
| |
data ClientStIntersect header point tip (m :: Type -> Type) a #
Constructors
| ClientStIntersect | |
Fields
| |
Null chain sync client
chainSyncClientNull :: forall (m :: Type -> Type) header point tip a. MonadTimer m => ChainSyncClient header point tip m a #
Utilities
mapChainSyncClient :: forall header header' point point' tip tip' (m :: Type -> Type) a. Functor m => (point -> point') -> (point' -> point) -> (header' -> header) -> (tip' -> tip) -> ChainSyncClient header point tip m a -> ChainSyncClient header' point' tip' m a #