Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Network.Protocol.KeepAlive.Type

Description

The type of the keep alive protocol.

The keep alive protocol is used for

sending keep alive messages
making round trip measuremnets

Each side will run its own version of the keep alive protocol. It should be configured so that any intermediate state (such as in customer premise equipment or in a carrier grade NAT) is kept alive. This has to be a per-node configuration element as this is about the properties of that nodes network connectivity.

For making round trip measurements its in the interest of the other side to reply promptly.

Synopsis

newtype Cookie = Cookie {
- unCookie :: Word16
}
data KeepAliveProtocolFailure = KeepAliveCookieMissmatch Cookie Cookie
data KeepAlive where
- StClient :: KeepAlive
- StServer :: KeepAlive
- StDone :: KeepAlive

Documentation

newtype Cookie Source #

A 16bit value used to match responses to requests.

Constructors

Cookie
Fields unCookie :: Word16

Instances

data KeepAliveProtocolFailure Source #

Constructors

KeepAliveCookieMissmatch Cookie Cookie

Instances

Instances details

Eq KeepAliveProtocolFailure Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods (==) :: KeepAliveProtocolFailure -> KeepAliveProtocolFailure -> Bool Source # (/=) :: KeepAliveProtocolFailure -> KeepAliveProtocolFailure -> Bool Source #
Show KeepAliveProtocolFailure Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods showsPrec :: Int -> KeepAliveProtocolFailure -> ShowS Source # show :: KeepAliveProtocolFailure -> String Source # showList :: [ KeepAliveProtocolFailure ] -> ShowS Source #
Exception KeepAliveProtocolFailure Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods toException :: KeepAliveProtocolFailure -> SomeException Source # fromException :: SomeException -> Maybe KeepAliveProtocolFailure Source # displayException :: KeepAliveProtocolFailure -> String Source #

data KeepAlive where Source #

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

Constructors

StClient :: KeepAlive	The client can send a request and the server is waiting for a request.
StServer :: KeepAlive	The server is responsible for sending response back.
StDone :: KeepAlive	Both the client and server are in the terminal state. They're done.

Instances

Instances details

Protocol KeepAlive Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Associated Types data Message KeepAlive st st' Source # data ClientHasAgency st Source # data ServerHasAgency st Source # data NobodyHasAgency st Source # Methods exclusionLemma_ClientAndServerHaveAgency :: forall (st :: KeepAlive ). ClientHasAgency st -> ServerHasAgency st -> Void Source # exclusionLemma_NobodyAndClientHaveAgency :: forall (st :: KeepAlive ). NobodyHasAgency st -> ClientHasAgency st -> Void Source # exclusionLemma_NobodyAndServerHaveAgency :: forall (st :: KeepAlive ). NobodyHasAgency st -> ServerHasAgency st -> Void Source #
ShowProxy KeepAlive Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods showProxy :: Proxy KeepAlive -> String Source #
Show ( ClientHasAgency st) Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods showsPrec :: Int -> ClientHasAgency st -> ShowS Source # show :: ClientHasAgency st -> String Source # showList :: [ ClientHasAgency st] -> ShowS Source #
Show ( ServerHasAgency st) Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods showsPrec :: Int -> ServerHasAgency st -> ShowS Source # show :: ServerHasAgency st -> String Source # showList :: [ ServerHasAgency st] -> ShowS Source #
Show ( Message KeepAlive from to) Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods showsPrec :: Int -> Message KeepAlive from to -> ShowS Source # show :: Message KeepAlive from to -> String Source # showList :: [ Message KeepAlive from to] -> ShowS Source #
data Message KeepAlive (from :: KeepAlive ) (to :: KeepAlive ) Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type data Message KeepAlive (from :: KeepAlive ) (to :: KeepAlive ) where MsgKeepAlive :: Cookie -> Message KeepAlive ' StClient ' StServer MsgKeepAliveResponse :: Cookie -> Message KeepAlive ' StServer ' StClient MsgDone :: Message KeepAlive ' StClient ' StDone
data ClientHasAgency (st :: KeepAlive ) Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type data ClientHasAgency (st :: KeepAlive ) where TokClient :: ClientHasAgency ' StClient
data ServerHasAgency (st :: KeepAlive ) Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type data ServerHasAgency (st :: KeepAlive ) where TokServer :: ServerHasAgency ' StServer
data NobodyHasAgency (st :: KeepAlive ) Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type data NobodyHasAgency (st :: KeepAlive ) where TokDone :: NobodyHasAgency ' StDone

Eq Cookie Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods (==) :: Cookie -> Cookie -> Bool Source # (/=) :: Cookie -> Cookie -> Bool Source #
Show Cookie Source #
Instance details Defined in Ouroboros.Network.Protocol.KeepAlive.Type Methods showsPrec :: Int -> Cookie -> ShowS Source # show :: Cookie -> String Source # showList :: [ Cookie ] -> ShowS Source #