Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Network.Protocol.Handshake.Client

Synopsis

handshakeClientPeer ∷ Ord vNumber ⇒ VersionDataCodec Term vNumber vData → (vData → vData → Accept vData) → Versions vNumber vData r → Peer (Handshake vNumber Term) AsClient StPropose m (Either (HandshakeProtocolError vNumber) (HandshakeResult r vNumber vData))
decodeQueryResult ∷ (vNumber → bytes → Either Text vData) → Map vNumber bytes → HandshakeResult r vNumber vData
encodeVersions ∷ ∀ vNumber r vParams vData. (vNumber → vData → vParams) → Versions vNumber vData r → Map vNumber vParams
acceptOrRefuse ∷ ∀ vParams vNumber vData r. Ord vNumber ⇒ VersionDataCodec vParams vNumber vData → (vData → vData → Accept vData) → Versions vNumber vData r → Map vNumber vParams → Either (RefuseReason vNumber) (r, vNumber, vData)

Documentation

handshakeClientPeer ∷ Ord vNumber ⇒ VersionDataCodec Term vNumber vData → (vData → vData → Accept vData) → Versions vNumber vData r → Peer (Handshake vNumber Term) AsClient StPropose m (Either (HandshakeProtocolError vNumber) (HandshakeResult r vNumber vData)) Source #

Handshake client which offers Versions vNumber vData to the remote peer.

TODO: GADT encoding of the client (Handshake.Client module).

decodeQueryResult ∷ (vNumber → bytes → Either Text vData) → Map vNumber bytes → HandshakeResult r vNumber vData Source #

encodeVersions ∷ ∀ vNumber r vParams vData. (vNumber → vData → vParams) → Versions vNumber vData r → Map vNumber vParams Source #

Arguments

∷ ∀ vParams vNumber vData r. Ord vNumber
⇒ VersionDataCodec vParams vNumber vData
→ (vData → vData → Accept vData)
→ Versions vNumber vData r
→ Map vNumber vParams	proposed versions received either with `MsgProposeVersions` or `MsgReplyVersions`
→ Either (RefuseReason vNumber) (r, vNumber, vData)