Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Protocol.ChainSync.Type

Description

The type of the chain synchronisation protocol.

Since we are using a typed protocol framework this is in some sense the definition of the protocol: what is allowed and what is not allowed.

Synopsis

data ChainSync header point tip where
- StIdle :: forall header point tip. ChainSync header point tip
- StNext :: forall header point tip. StNextKind -> ChainSync header point tip
- StIntersect :: forall header point tip. ChainSync header point tip
- StDone :: forall header point tip. ChainSync header point tip
data SingChainSync (k :: ChainSync header point tip) where
- SingIdle :: forall {header} {point} {tip}. SingChainSync ('StIdle :: ChainSync header point tip)
- SingNext :: forall {header} {point} {tip} (k1 :: StNextKind). SingNextKind k1 -> SingChainSync ('StNext k1 :: ChainSync header point tip)
- SingIntersect :: forall {header} {point} {tip}. SingChainSync ('StIntersect :: ChainSync header point tip)
- SingDone :: forall {header} {point} {tip}. SingChainSync ('StDone :: ChainSync header point tip)
data StNextKind where
- StCanAwait :: StNextKind
- StMustReply :: StNextKind
data SingNextKind (k :: StNextKind) where
- SingCanAwait :: SingNextKind 'StCanAwait
- SingMustReply :: SingNextKind 'StMustReply
data TokNextKind (k :: StNextKind) where
- TokCanAwait :: TokNextKind 'StCanAwait
- TokMustReply :: TokNextKind 'StMustReply

Documentation

data ChainSync header point tip where Source #

A kind to identify our protocol, and the types of the states in the state transition diagram of the protocol.

Constructors

StIdle :: forall header point tip. ChainSync header point tip	Both client and server are idle. The client can send a request and the server is waiting for a request.
StNext :: forall header point tip. StNextKind -> ChainSync header point tip	The client has sent a next update request. The client is now waiting for a response, and the server is busy getting ready to send a response. There are two possibilities here, since the server can send a reply immediately or it can send an initial await message followed later by the normal reply.
StIntersect :: forall header point tip. ChainSync header point tip	The client has sent an intersection request. The client is now waiting for a response, and the server is busy getting ready to send a response.
StDone :: forall header point tip. ChainSync header point tip	Both the client and server are in the terminal state. They're done.

Instances

Instances details

(ShowProxy header, ShowProxy tip) => ShowProxy (ChainSync header point tip :: Type) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

Methods

showProxy :: Proxy (ChainSync header point tip) -> String

(NFData header, NFData point, NFData tip) => NFData (Message (ChainSync header point tip) from to) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

Methods

rnf :: Message (ChainSync header point tip) from to -> () #

(Show header, Show point, Show tip) => Show (Message (ChainSync header point tip) from to) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

Methods

showsPrec :: Int -> Message (ChainSync header point tip) from to -> ShowS #

show :: Message (ChainSync header point tip) from to -> String #

showList :: [Message (ChainSync header point tip) from to] -> ShowS #

Protocol (ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

Associated Types

type StateToken
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type type StateToken = SingChainSync :: ChainSync header point tip -> Type

StateTokenI ('StDone :: ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

Methods

stateToken :: StateToken ('StDone :: ChainSync header point tip) #

StateTokenI ('StIdle :: ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

Methods

stateToken :: StateToken ('StIdle :: ChainSync header point tip) #

StateTokenI ('StIntersect :: ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

Methods

stateToken :: StateToken ('StIntersect :: ChainSync header point tip) #

SingI k => StateTokenI ('StNext k :: ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

Methods

stateToken :: StateToken ('StNext k :: ChainSync header point tip) #

data Message (ChainSync header point tip) (from :: ChainSync header point tip) (to :: ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

data Message (ChainSync header point tip) (from :: ChainSync header point tip) (to :: ChainSync header point tip) where

MsgRequestNext :: forall header point tip. Message (ChainSync header point tip) ('StIdle :: ChainSync header point tip) ('StNext 'StCanAwait :: ChainSync header point tip)
MsgAwaitReply :: forall header point tip. Message (ChainSync header point tip) ('StNext 'StCanAwait :: ChainSync header point tip) ('StNext 'StMustReply :: ChainSync header point tip)
MsgRollForward :: forall header tip point (any :: StNextKind). header -> tip -> Message (ChainSync header point tip) ('StNext any :: ChainSync header point tip) ('StIdle :: ChainSync header point tip)
MsgRollBackward :: forall point tip header (any :: StNextKind). point -> tip -> Message (ChainSync header point tip) ('StNext any :: ChainSync header point tip) ('StIdle :: ChainSync header point tip)
MsgFindIntersect :: forall point header tip. [point] -> Message (ChainSync header point tip) ('StIdle :: ChainSync header point tip) ('StIntersect :: ChainSync header point tip)
MsgIntersectFound :: forall point tip header. point -> tip -> Message (ChainSync header point tip) ('StIntersect :: ChainSync header point tip) ('StIdle :: ChainSync header point tip)
MsgIntersectNotFound :: forall tip header point. tip -> Message (ChainSync header point tip) ('StIntersect :: ChainSync header point tip) ('StIdle :: ChainSync header point tip)
MsgDone :: forall header point tip. Message (ChainSync header point tip) ('StIdle :: ChainSync header point tip) ('StDone :: ChainSync header point tip)

type StateToken Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

type StateToken = SingChainSync :: ChainSync header point tip -> Type

type StateAgency ('StDone :: ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

type StateAgency ('StDone :: ChainSync header point tip) = 'NobodyAgency

type StateAgency ('StIdle :: ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

type StateAgency ('StIdle :: ChainSync header point tip) = 'ClientAgency

type StateAgency ('StIntersect :: ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

type StateAgency ('StIntersect :: ChainSync header point tip) = 'ServerAgency

type StateAgency ('StNext _1 :: ChainSync header point tip) Source #

Instance details

Defined in Ouroboros.Network.Protocol.ChainSync.Type

type StateAgency ('StNext _1 :: ChainSync header point tip) = 'ServerAgency

data SingChainSync (k :: ChainSync header point tip) where Source #

Singletons for ChainSync state types.

Constructors

SingIdle :: forall {header} {point} {tip}. SingChainSync ('StIdle :: ChainSync header point tip)
SingNext :: forall {header} {point} {tip} (k1 :: StNextKind). SingNextKind k1 -> SingChainSync ('StNext k1 :: ChainSync header point tip)
SingIntersect :: forall {header} {point} {tip}. SingChainSync ('StIntersect :: ChainSync header point tip)
SingDone :: forall {header} {point} {tip}. SingChainSync ('StDone :: ChainSync header point tip)

Instances

Instances details

Show (SingChainSync k) Source #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type Methods showsPrec :: Int -> SingChainSync k -> ShowS # show :: SingChainSync k -> String # showList :: [SingChainSync k] -> ShowS #

data StNextKind where Source #

Sub-cases of the StNext state. This is needed since the server can either send one reply back, or two.

Constructors

StCanAwait :: StNextKind	The server can reply or send an await msg.
StMustReply :: StNextKind	The server must now reply, having already sent an await message.

Instances

Instances details

SingI 'StCanAwait Source #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type Methods sing :: Sing 'StCanAwait #
SingI 'StMustReply Source #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type Methods sing :: Sing 'StMustReply #
type Sing Source #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type type Sing = SingNextKind

data SingNextKind (k :: StNextKind) where Source #

Constructors

SingCanAwait :: SingNextKind 'StCanAwait
SingMustReply :: SingNextKind 'StMustReply

Instances

Instances details

Show (SingNextKind k) Source #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type Methods showsPrec :: Int -> SingNextKind k -> ShowS # show :: SingNextKind k -> String # showList :: [SingNextKind k] -> ShowS #

data TokNextKind (k :: StNextKind) where Source #

Constructors

TokCanAwait :: TokNextKind 'StCanAwait
TokMustReply :: TokNextKind 'StMustReply

Instances

Instances details

NFData (TokNextKind k) Source #
Instance details Defined in Ouroboros.Network.Protocol.ChainSync.Type Methods rnf :: TokNextKind k -> () #