Safe Haskell | None |
---|---|
Language | Haskell2010 |
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) (r, vNumber, vData))
- acceptOrRefuse :: forall 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) (r, vNumber, vData)) Source #
Handshake client which offers
to the
remote peer.
Versions
vNumber vData
TODO: GADT encoding of the client (
Handshake.Client
module).
:: forall 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
|
-> Either ( RefuseReason vNumber) (r, vNumber, vData) |