typed-protocols-examples
Quick Jump
Contents
Index
Index
AtFst
Network.TypedProtocol.Trans.Wedge
AtSnd
Network.TypedProtocol.Trans.Wedge
Bytes
1 (Type/Class)
Network.TypedProtocol.Stateful.ReqResp.Codec
2 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Codec
Channel
1 (Type/Class)
Network.TypedProtocol.Channel
2 (Data Constructor)
Network.TypedProtocol.Channel
channelEffect
Network.TypedProtocol.Channel
Client
Network.TypedProtocol.Driver.Simple
codecPingPong
1 (Function)
Network.TypedProtocol.PingPong.Codec.CBOR
2 (Function)
Network.TypedProtocol.PingPong.Codec
codecPingPongId
Network.TypedProtocol.PingPong.Codec
codecReqResp
1 (Function)
Network.TypedProtocol.ReqResp.Codec.CBOR
2 (Function)
Network.TypedProtocol.ReqResp.Codec
3 (Function)
Network.TypedProtocol.Stateful.ReqResp.Codec
codecReqRespId
1 (Function)
Network.TypedProtocol.ReqResp.Codec
2 (Function)
Network.TypedProtocol.Stateful.ReqResp.Codec
CollectPipelined
1 (Data Constructor)
Network.TypedProtocol.PingPong.Client
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Client
createConnectedBufferedChannels
Network.TypedProtocol.Channel
createConnectedBufferedChannelsUnbounded
Network.TypedProtocol.Channel
createConnectedChannels
Network.TypedProtocol.Channel
createPipelineTestChannels
Network.TypedProtocol.Channel
decodeTerminatedFrame
Network.TypedProtocol.PingPong.Codec
delayChannel
Network.TypedProtocol.Channel
driverSimple
Network.TypedProtocol.Driver.Simple
FileAPI
Network.TypedProtocol.Stateful.ReqResp.Type
FileRPC
Network.TypedProtocol.Stateful.ReqResp.Type
fileRPCServer
Network.TypedProtocol.Stateful.ReqResp.Examples
fixedInputChannel
Network.TypedProtocol.Channel
handlesAsChannel
Network.TypedProtocol.Channel
hoistChannel
Network.TypedProtocol.Channel
isoKleisliChannel
Network.TypedProtocol.Channel
loggingChannel
Network.TypedProtocol.Channel
Message
Network.TypedProtocol.PingPong.Type, Network.TypedProtocol.ReqResp.Type, Network.TypedProtocol.ReqResp2.Type, Network.TypedProtocol.Stateful.ReqResp.Type, Network.TypedProtocol.Trans.Wedge
MsgDone
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
3 (Data Constructor)
Network.TypedProtocol.ReqResp2.Type
4 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Type
MsgFst
Network.TypedProtocol.Trans.Wedge
MsgFstToSnd
Network.TypedProtocol.Trans.Wedge
MsgPing
Network.TypedProtocol.PingPong.Type
MsgPong
Network.TypedProtocol.PingPong.Type
MsgReq
1 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp2.Type
3 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Type
MsgReq'
Network.TypedProtocol.ReqResp2.Type
MsgResp
1 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp2.Type
3 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Type
MsgResp'
Network.TypedProtocol.ReqResp2.Type
MsgSnd
Network.TypedProtocol.Trans.Wedge
MsgSndToFst
Network.TypedProtocol.Trans.Wedge
MsgStart
Network.TypedProtocol.Trans.Wedge
mvarsAsChannel
Network.TypedProtocol.Channel
PingPong
Network.TypedProtocol.PingPong.Type
PingPong2
Network.TypedProtocol.Trans.Wedge
pingPong2Client
Network.TypedProtocol.Trans.Wedge
pingPong2Client'
Network.TypedProtocol.Trans.Wedge
PingPongClient
Network.TypedProtocol.PingPong.Client
pingPongClientCount
Network.TypedProtocol.PingPong.Examples
pingPongClientFlood
Network.TypedProtocol.PingPong.Examples
PingPongClientIdle
Network.TypedProtocol.PingPong.Client
pingPongClientPeer
Network.TypedProtocol.PingPong.Client
pingPongClientPeerPipelined
Network.TypedProtocol.PingPong.Client
PingPongClientPipelined
1 (Type/Class)
Network.TypedProtocol.PingPong.Client
2 (Data Constructor)
Network.TypedProtocol.PingPong.Client
pingPongClientPipelinedLimited
Network.TypedProtocol.PingPong.Examples
pingPongClientPipelinedMax
Network.TypedProtocol.PingPong.Examples
pingPongClientPipelinedMin
Network.TypedProtocol.PingPong.Examples
PingPongServer
1 (Type/Class)
Network.TypedProtocol.PingPong.Server
2 (Data Constructor)
Network.TypedProtocol.PingPong.Server
pingPongServerCount
Network.TypedProtocol.PingPong.Examples
pingPongServerPeer
Network.TypedProtocol.PingPong.Server
pingPongServerStandard
Network.TypedProtocol.PingPong.Examples
ReadFile
Network.TypedProtocol.Stateful.ReqResp.Type
recv
Network.TypedProtocol.Channel
recvMsgDone
1 (Function)
Network.TypedProtocol.PingPong.Server
2 (Function)
Network.TypedProtocol.ReqResp.Server
recvMsgPing
Network.TypedProtocol.PingPong.Server
recvMsgReq
Network.TypedProtocol.ReqResp.Server
ReqResp
1 (Type/Class)
Network.TypedProtocol.ReqResp.Type
2 (Type/Class)
Network.TypedProtocol.Stateful.ReqResp.Type
ReqResp2
Network.TypedProtocol.ReqResp2.Type
reqResp2Client
Network.TypedProtocol.ReqResp2.Client
ReqRespClient
1 (Type/Class)
Network.TypedProtocol.ReqResp.Client
2 (Type/Class)
Network.TypedProtocol.Stateful.ReqResp.Client
reqRespClient
Network.TypedProtocol.ReqResp.Examples
reqRespClientMap
Network.TypedProtocol.ReqResp.Examples
reqRespClientMapPipelined
Network.TypedProtocol.ReqResp.Examples
reqRespClientPeer
1 (Function)
Network.TypedProtocol.ReqResp.Client
2 (Function)
Network.TypedProtocol.Stateful.ReqResp.Client
reqRespClientPeerIdle
Network.TypedProtocol.ReqResp.Client
reqRespClientPeerPipelined
Network.TypedProtocol.ReqResp.Client
ReqRespClientPipelined
1 (Type/Class)
Network.TypedProtocol.ReqResp.Client
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Client
reqRespHandleReq
Network.TypedProtocol.Stateful.ReqResp.Server
ReqRespIdle
Network.TypedProtocol.ReqResp.Client
ReqRespServer
1 (Type/Class)
Network.TypedProtocol.ReqResp.Server
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Server
3 (Type/Class)
Network.TypedProtocol.Stateful.ReqResp.Server
4 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Server
reqRespServerDone
Network.TypedProtocol.Stateful.ReqResp.Server
reqRespServerMapAccumL
Network.TypedProtocol.ReqResp.Examples
reqRespServerPeer
1 (Function)
Network.TypedProtocol.ReqResp.Server
2 (Function)
Network.TypedProtocol.Stateful.ReqResp.Server
requestOnce
Network.TypedProtocol.ReqResp.Client
Role
Network.TypedProtocol.Driver.Simple
runConnectedPeers
Network.TypedProtocol.Driver.Simple
runConnectedPeersAsymmetric
Network.TypedProtocol.Driver.Simple
runConnectedPeersPipelined
Network.TypedProtocol.Driver.Simple
runDecoderWithChannel
Network.TypedProtocol.Driver.Simple
runPeer
Network.TypedProtocol.Driver.Simple
runPipelinedPeer
Network.TypedProtocol.Driver.Simple
send
Network.TypedProtocol.Channel
SendMsgDone
1 (Data Constructor)
Network.TypedProtocol.PingPong.Client
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Client
3 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Client
SendMsgDonePipelined
1 (Data Constructor)
Network.TypedProtocol.PingPong.Client
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Client
SendMsgPing
Network.TypedProtocol.PingPong.Client
SendMsgPingPipelined
Network.TypedProtocol.PingPong.Client
SendMsgReq
1 (Data Constructor)
Network.TypedProtocol.ReqResp.Client
2 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Client
SendMsgReqPipelined
Network.TypedProtocol.ReqResp.Client
Server
Network.TypedProtocol.Driver.Simple
simpleFileAPI
Network.TypedProtocol.Stateful.ReqResp.Examples
simpleFileRPCServer
Network.TypedProtocol.Stateful.ReqResp.Examples
SingBusy
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
3 (Data Constructor)
Network.TypedProtocol.ReqResp2.Type
4 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Type
SingBusy'
Network.TypedProtocol.ReqResp2.Type
SingDone
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
3 (Data Constructor)
Network.TypedProtocol.ReqResp2.Type
4 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Type
SingIdle
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
3 (Data Constructor)
Network.TypedProtocol.ReqResp2.Type
4 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Type
SingStart
Network.TypedProtocol.Trans.Wedge
SingStFst
Network.TypedProtocol.Trans.Wedge
SingStIdle
Network.TypedProtocol.Trans.Wedge
SingStSnd
Network.TypedProtocol.Trans.Wedge
SingWedge
Network.TypedProtocol.Trans.Wedge
socketAsChannel
Network.TypedProtocol.Channel
Some
1 (Type/Class)
Network.TypedProtocol.Stateful.ReqResp.Codec
2 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Codec
SPingPong
Network.TypedProtocol.PingPong.Type
SReqResp
1 (Type/Class)
Network.TypedProtocol.ReqResp.Type
2 (Type/Class)
Network.TypedProtocol.Stateful.ReqResp.Type
SReqResp2
Network.TypedProtocol.ReqResp2.Type
State
Network.TypedProtocol.Stateful.ReqResp.Type
StateBusy
Network.TypedProtocol.Stateful.ReqResp.Type
StateDone
Network.TypedProtocol.Stateful.ReqResp.Type
StateIdle
Network.TypedProtocol.Stateful.ReqResp.Type
StBusy
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
3 (Data Constructor)
Network.TypedProtocol.ReqResp2.Type
4 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Type
StBusy'
Network.TypedProtocol.ReqResp2.Type
StDone
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
3 (Data Constructor)
Network.TypedProtocol.ReqResp2.Type
4 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Type
StFst
Network.TypedProtocol.Trans.Wedge
StIdle
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
3 (Data Constructor)
Network.TypedProtocol.ReqResp2.Type
4 (Data Constructor)
Network.TypedProtocol.Stateful.ReqResp.Type
5 (Data Constructor)
Network.TypedProtocol.Trans.Wedge
StSnd
Network.TypedProtocol.Trans.Wedge
TraceRecvMsg
Network.TypedProtocol.Driver.Simple
TraceSendMsg
Network.TypedProtocol.Driver.Simple
TraceSendRecv
Network.TypedProtocol.Driver.Simple
Wedge
Network.TypedProtocol.Trans.Wedge
WriteFile
Network.TypedProtocol.Stateful.ReqResp.Type