cardano-api-1.28.0
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.ChainSync.Client

Synopsis

Protocol type for the client

The protocol states from the point of view of the client.

newtype ChainSyncClient header point tip (m ∷ TypeType) a #

Constructors

ChainSyncClient 

Fields

data ClientStIdle header point tip (m ∷ TypeType) a where #

Constructors

SendMsgRequestNext ∷ ∀ header point tip (m ∷ TypeType) a. ClientStNext header point tip m a → m (ClientStNext header point tip m a) → ClientStIdle header point tip m a 
SendMsgFindIntersect ∷ ∀ point header tip (m ∷ TypeType) a. [point] → ClientStIntersect header point tip m a → ClientStIdle header point tip m a 
SendMsgDone ∷ ∀ a header point tip (m ∷ TypeType). a → ClientStIdle header point tip m a 

data ClientStNext header point tip (m ∷ TypeType) a #

Constructors

ClientStNext 

Fields

data ClientStIntersect header point tip (m ∷ TypeType) a #

Constructors

ClientStIntersect 

Fields

Null chain sync client

chainSyncClientNull ∷ ∀ (m ∷ TypeType) header point tip a. MonadTimer m ⇒ ChainSyncClient header point tip m a #

Utilities

mapChainSyncClient ∷ ∀ header header' point point' tip tip' (m ∷ TypeType) a. Functor m ⇒ (point → point') → (point' → point) → (header' → header) → (tip' → tip) → ChainSyncClient header point tip m a → ChainSyncClient header' point' tip' m a #