typed-protocols-examples-0.1.0.0: Examples and tests for the typed-protocols framework
Contents
Index
Index
AnyMessage
1 (Type/Class)
Network.TypedProtocol.Codec
2 (Data Constructor)
Network.TypedProtocol.Codec
AnyMessageAndAgency
1 (Type/Class)
Network.TypedProtocol.Codec
2 (Data Constructor)
Network.TypedProtocol.Codec
AsClient
Network.TypedProtocol.Codec
AsServer
Network.TypedProtocol.Codec
Channel
1 (Type/Class)
Network.TypedProtocol.Channel
2 (Data Constructor)
Network.TypedProtocol.Channel
channelEffect
Network.TypedProtocol.Channel
ClientAgency
Network.TypedProtocol.Codec
ClientHasAgency
Network.TypedProtocol.PingPong.Type, Network.TypedProtocol.ReqResp.Type
Codec
1 (Type/Class)
Network.TypedProtocol.Codec
2 (Data Constructor)
Network.TypedProtocol.Codec
CodecFailure
1 (Type/Class)
Network.TypedProtocol.Codec
2 (Data Constructor)
Network.TypedProtocol.Codec
CodecFailureOutOfInput
Network.TypedProtocol.Codec
codecPingPong
Network.TypedProtocol.PingPong.Codec
codecReqResp
Network.TypedProtocol.ReqResp.Codec
CollectPipelined
1 (Data Constructor)
Network.TypedProtocol.PingPong.Client
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Client
createConnectedBufferedChannels
Network.TypedProtocol.Channel
createConnectedChannels
Network.TypedProtocol.Channel
createPipelineTestChannels
Network.TypedProtocol.Channel
decode
Network.TypedProtocol.Codec
DecodeDone
Network.TypedProtocol.Codec
DecodeFail
Network.TypedProtocol.Codec
DecodePartial
Network.TypedProtocol.Codec
DecodeStep
Network.TypedProtocol.Codec
decodeTerminatedFrame
Network.TypedProtocol.PingPong.Codec
delayChannel
Network.TypedProtocol.Channel
driverSimple
Network.TypedProtocol.Driver.Simple
encode
Network.TypedProtocol.Codec
fixedInputChannel
Network.TypedProtocol.Channel
handlesAsChannel
Network.TypedProtocol.Channel
hoistChannel
Network.TypedProtocol.Channel
hoistCodec
Network.TypedProtocol.Codec
isoCodec
Network.TypedProtocol.Codec
isoKleisliChannel
Network.TypedProtocol.Channel
loggingChannel
Network.TypedProtocol.Channel
mapFailureCodec
Network.TypedProtocol.Codec
Message
Network.TypedProtocol.PingPong.Type, Network.TypedProtocol.ReqResp.Type
MsgDone
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
MsgPing
Network.TypedProtocol.PingPong.Type
MsgPong
Network.TypedProtocol.PingPong.Type
MsgReq
Network.TypedProtocol.ReqResp.Type
MsgResp
Network.TypedProtocol.ReqResp.Type
mvarsAsChannel
Network.TypedProtocol.Channel
NobodyHasAgency
Network.TypedProtocol.PingPong.Type, Network.TypedProtocol.ReqResp.Type
PeerHasAgency
Network.TypedProtocol.Codec
PeerRole
Network.TypedProtocol.Codec
PingPong
Network.TypedProtocol.PingPong.Type
PingPongClient
Network.TypedProtocol.PingPong.Client
pingPongClientCount
Network.TypedProtocol.PingPong.Examples
pingPongClientFlood
Network.TypedProtocol.PingPong.Examples
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
PingPongSender
Network.TypedProtocol.PingPong.Client
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
prop_codec
Network.TypedProtocol.Codec
prop_codecM
Network.TypedProtocol.Codec
prop_codec_binary_compat
Network.TypedProtocol.Codec
prop_codec_binary_compatM
Network.TypedProtocol.Codec
prop_codec_splits
Network.TypedProtocol.Codec
prop_codec_splitsM
Network.TypedProtocol.Codec
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
Network.TypedProtocol.ReqResp.Type
ReqRespClient
Network.TypedProtocol.ReqResp.Client
reqRespClientMap
Network.TypedProtocol.ReqResp.Examples
reqRespClientMapPipelined
Network.TypedProtocol.ReqResp.Examples
reqRespClientPeer
Network.TypedProtocol.ReqResp.Client
reqRespClientPeerPipelined
Network.TypedProtocol.ReqResp.Client
ReqRespClientPipelined
1 (Type/Class)
Network.TypedProtocol.ReqResp.Client
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Client
ReqRespSender
Network.TypedProtocol.ReqResp.Client
ReqRespServer
1 (Type/Class)
Network.TypedProtocol.ReqResp.Server
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Server
reqRespServerMapAccumL
Network.TypedProtocol.ReqResp.Examples
reqRespServerPeer
Network.TypedProtocol.ReqResp.Server
runConnectedPeers
Network.TypedProtocol.Driver.Simple
runConnectedPeersPipelined
Network.TypedProtocol.Driver.Simple
runDecoder
Network.TypedProtocol.Codec
runDecoderPure
Network.TypedProtocol.Codec
runDecoderWithChannel
Network.TypedProtocol.Driver.Simple
runPeer
Network.TypedProtocol.Driver.Simple
runPipelinedPeer
Network.TypedProtocol.Driver.Simple
SamePeerHasAgency
1 (Type/Class)
Network.TypedProtocol.Codec
2 (Data Constructor)
Network.TypedProtocol.Codec
send
Network.TypedProtocol.Channel
SendMsgDone
1 (Data Constructor)
Network.TypedProtocol.PingPong.Client
2 (Data Constructor)
Network.TypedProtocol.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
Network.TypedProtocol.ReqResp.Client
SendMsgReqPipelined
Network.TypedProtocol.ReqResp.Client
ServerAgency
Network.TypedProtocol.Codec
ServerHasAgency
Network.TypedProtocol.PingPong.Type, Network.TypedProtocol.ReqResp.Type
SomeMessage
1 (Data Constructor)
Network.TypedProtocol.Codec
2 (Type/Class)
Network.TypedProtocol.Codec
StBusy
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
StDone
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
StIdle
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
TheyHaveAgency
Network.TypedProtocol.Codec
TokBusy
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
TokDone
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
TokIdle
1 (Data Constructor)
Network.TypedProtocol.PingPong.Type
2 (Data Constructor)
Network.TypedProtocol.ReqResp.Type
TraceRecvMsg
Network.TypedProtocol.Driver.Simple
TraceSendMsg
Network.TypedProtocol.Driver.Simple
TraceSendRecv
Network.TypedProtocol.Driver.Simple
WeHaveAgency
Network.TypedProtocol.Codec