Safe Haskell	None
Language	Haskell2010

Bcc.Api.ChainSync.ClientPipelined

Contents

Pipelined protocol type for the client
Implementation Helpers
Type level natural numbers
Utilities

Synopsis

newtype ChainSyncClientPipelined header point tip (m ∷ Type → Type) a = ChainSyncClientPipelined {
- runChainSyncClientPipelined ∷ m (ClientPipelinedStIdle 'Z header point tip m a)
}
data ClientPipelinedStIdle (n ∷ N) header point tip (m ∷ Type → Type) a where
- SendMsgRequestNext ∷ ∀ header point tip (m ∷ Type → Type) a. ClientStNext 'Z header point tip m a → m (ClientStNext 'Z header point tip m a) → ClientPipelinedStIdle 'Z header point tip m a
- SendMsgRequestNextPipelined ∷ ∀ (n ∷ N) header point tip (m ∷ Type → Type) a. ClientPipelinedStIdle ('S n) header point tip m a → ClientPipelinedStIdle n header point tip m a
- SendMsgFindIntersect ∷ ∀ point header tip (m ∷ Type → Type) a. [point] → ClientPipelinedStIntersect header point tip m a → ClientPipelinedStIdle 'Z header point tip m a
- CollectResponse ∷ ∀ (m ∷ Type → Type) (n1 ∷ N) header point tip a. Maybe (m (ClientPipelinedStIdle ('S n1) header point tip m a)) → ClientStNext n1 header point tip m a → ClientPipelinedStIdle ('S n1) header point tip m a
- SendMsgDone ∷ ∀ a header point tip (m ∷ Type → Type). a → ClientPipelinedStIdle 'Z header point tip m a
data ClientStNext (n ∷ N) header point tip (m ∷ Type → Type) a = ClientStNext {
- recvMsgRollForward ∷ header → tip → m (ClientPipelinedStIdle n header point tip m a)
- recvMsgRollBackward ∷ point → tip → m (ClientPipelinedStIdle n header point tip m a)
}
data ClientPipelinedStIntersect header point tip (m ∷ Type → Type) a = ClientPipelinedStIntersect {
- recvMsgIntersectFound ∷ point → tip → m (ClientPipelinedStIdle 'Z header point tip m a)
- recvMsgIntersectNotFound ∷ tip → m (ClientPipelinedStIdle 'Z header point tip m a)
}
data ChainSyncInstruction header point tip
- = RollForward !header !tip
- | RollBackward !point !tip
data PipelineDecision (n ∷ N) where
- Request ∷ PipelineDecision 'Z
- Pipeline ∷ ∀ (n ∷ N). PipelineDecision n
- CollectOrPipeline ∷ ∀ (n1 ∷ N). PipelineDecision ('S n1)
- Collect ∷ ∀ (n1 ∷ N). PipelineDecision ('S n1)
data MkPipelineDecision where
- MkPipelineDecision ∷ (∀ (n ∷ N). Nat n → WithOrigin BlockNo → WithOrigin BlockNo → (PipelineDecision n, MkPipelineDecision)) → MkPipelineDecision
runPipelineDecision ∷ ∀ (n ∷ N). MkPipelineDecision → Nat n → WithOrigin BlockNo → WithOrigin BlockNo → (PipelineDecision n, MkPipelineDecision)
constantPipelineDecision ∷ (∀ (n ∷ N). Nat n → WithOrigin BlockNo → WithOrigin BlockNo → PipelineDecision n) → MkPipelineDecision
pipelineDecisionMax ∷ ∀ (n ∷ N). Word32 → Nat n → WithOrigin BlockNo → WithOrigin BlockNo → PipelineDecision n
pipelineDecisionMin ∷ ∀ (n ∷ N). Word32 → Nat n → WithOrigin BlockNo → WithOrigin BlockNo → PipelineDecision n
pipelineDecisionLowHighMark ∷ Word32 → Word32 → MkPipelineDecision
data N
- = Z
- | S N
data Nat (n ∷ N) where
- pattern Succ ∷ ∀ m n. () ⇒ m ~ 'S n ⇒ Nat n → Nat m
- pattern Zero ∷ () ⇒ 'Z ~ n ⇒ Nat n
natToInt ∷ ∀ (n ∷ N). Nat n → Int
mapChainSyncClientPipelined ∷ ∀ header header' point point' tip tip' (m ∷ Type → Type) a. Functor m ⇒ (point → point') → (point' → point) → (header' → header) → (tip' → tip) → ChainSyncClientPipelined header point tip m a → ChainSyncClientPipelined header' point' tip' m a

Pipelined protocol type for the client

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

newtype ChainSyncClientPipelined header point tip (m ∷ Type → Type) a #

Constructors

ChainSyncClientPipelined
Fields runChainSyncClientPipelined ∷ m (ClientPipelinedStIdle 'Z header point tip m a)

data ClientPipelinedStIdle (n ∷ N) header point tip (m ∷ Type → Type) a where #

Constructors

SendMsgRequestNext ∷ ∀ header point tip (m ∷ Type → Type) a. ClientStNext 'Z header point tip m a → m (ClientStNext 'Z header point tip m a) → ClientPipelinedStIdle 'Z header point tip m a
SendMsgRequestNextPipelined ∷ ∀ (n ∷ N) header point tip (m ∷ Type → Type) a. ClientPipelinedStIdle ('S n) header point tip m a → ClientPipelinedStIdle n header point tip m a
SendMsgFindIntersect ∷ ∀ point header tip (m ∷ Type → Type) a. [point] → ClientPipelinedStIntersect header point tip m a → ClientPipelinedStIdle 'Z header point tip m a
CollectResponse ∷ ∀ (m ∷ Type → Type) (n1 ∷ N) header point tip a. Maybe (m (ClientPipelinedStIdle ('S n1) header point tip m a)) → ClientStNext n1 header point tip m a → ClientPipelinedStIdle ('S n1) header point tip m a
SendMsgDone ∷ ∀ a header point tip (m ∷ Type → Type). a → ClientPipelinedStIdle 'Z header point tip m a

data ClientStNext (n ∷ N) header point tip (m ∷ Type → Type) a #

Constructors

ClientStNext
Fields recvMsgRollForward ∷ header → tip → m (ClientPipelinedStIdle n header point tip m a) recvMsgRollBackward ∷ point → tip → m (ClientPipelinedStIdle n header point tip m a)

data ClientPipelinedStIntersect header point tip (m ∷ Type → Type) a #

Constructors

ClientPipelinedStIntersect
Fields recvMsgIntersectFound ∷ point → tip → m (ClientPipelinedStIdle 'Z header point tip m a) recvMsgIntersectNotFound ∷ tip → m (ClientPipelinedStIdle 'Z header point tip m a)

data ChainSyncInstruction header point tip #

Constructors

RollForward !header !tip
RollBackward !point !tip

Implementation Helpers

It's generally idiomatic to use these functions to implement your pipelined client. It aids in deciding when to make pipelined requests vs process received responses.

data PipelineDecision (n ∷ N) where #

Constructors

Request ∷ PipelineDecision 'Z
Pipeline ∷ ∀ (n ∷ N). PipelineDecision n
CollectOrPipeline ∷ ∀ (n1 ∷ N). PipelineDecision ('S n1)
Collect ∷ ∀ (n1 ∷ N). PipelineDecision ('S n1)

data MkPipelineDecision where #

Constructors

MkPipelineDecision ∷ (∀ (n ∷ N). Nat n → WithOrigin BlockNo → WithOrigin BlockNo → (PipelineDecision n, MkPipelineDecision)) → MkPipelineDecision

runPipelineDecision ∷ ∀ (n ∷ N). MkPipelineDecision → Nat n → WithOrigin BlockNo → WithOrigin BlockNo → (PipelineDecision n, MkPipelineDecision) #

constantPipelineDecision ∷ (∀ (n ∷ N). Nat n → WithOrigin BlockNo → WithOrigin BlockNo → PipelineDecision n) → MkPipelineDecision #

pipelineDecisionMax ∷ ∀ (n ∷ N). Word32 → Nat n → WithOrigin BlockNo → WithOrigin BlockNo → PipelineDecision n #

pipelineDecisionMin ∷ ∀ (n ∷ N). Word32 → Nat n → WithOrigin BlockNo → WithOrigin BlockNo → PipelineDecision n #

pipelineDecisionLowHighMark ∷ Word32 → Word32 → MkPipelineDecision #

Type level natural numbers

data N #

Constructors

Z
S N

data Nat (n ∷ N) where #

Bundled Patterns

pattern Succ ∷ ∀ m n. () ⇒ m ~ 'S n ⇒ Nat n → Nat m
pattern Zero ∷ () ⇒ 'Z ~ n ⇒ Nat n

Instances

Instances details

Show (Nat n)
Instance details Defined in Network.TypedProtocol.Pipelined Methods showsPrec ∷ Int → Nat n → ShowS Source # show ∷ Nat n → String Source # showList ∷ [Nat n] → ShowS Source #

natToInt ∷ ∀ (n ∷ N). Nat n → Int #

Utilities

mapChainSyncClientPipelined ∷ ∀ header header' point point' tip tip' (m ∷ Type → Type) a. Functor m ⇒ (point → point') → (point' → point) → (header' → header) → (tip' → tip) → ChainSyncClientPipelined header point tip m a → ChainSyncClientPipelined header' point' tip' m a #