typed-protocols-examples-0.1.0.0: Examples and tests for the typed-protocols framework

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
AsClientNetwork.TypedProtocol.Codec
AsServerNetwork.TypedProtocol.Codec
Channel 
1 (Type/Class)Network.TypedProtocol.Channel
2 (Data Constructor)Network.TypedProtocol.Channel
channelEffectNetwork.TypedProtocol.Channel
ClientAgencyNetwork.TypedProtocol.Codec
ClientHasAgencyNetwork.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
CodecFailureOutOfInputNetwork.TypedProtocol.Codec
codecPingPongNetwork.TypedProtocol.PingPong.Codec
codecReqRespNetwork.TypedProtocol.ReqResp.Codec
CollectPipelined 
1 (Data Constructor)Network.TypedProtocol.PingPong.Client
2 (Data Constructor)Network.TypedProtocol.ReqResp.Client
createConnectedBufferedChannelsNetwork.TypedProtocol.Channel
createConnectedChannelsNetwork.TypedProtocol.Channel
createPipelineTestChannelsNetwork.TypedProtocol.Channel
decodeNetwork.TypedProtocol.Codec
DecodeDoneNetwork.TypedProtocol.Codec
DecodeFailNetwork.TypedProtocol.Codec
DecodePartialNetwork.TypedProtocol.Codec
DecodeStepNetwork.TypedProtocol.Codec
decodeTerminatedFrameNetwork.TypedProtocol.PingPong.Codec
delayChannelNetwork.TypedProtocol.Channel
driverSimpleNetwork.TypedProtocol.Driver.Simple
encodeNetwork.TypedProtocol.Codec
fixedInputChannelNetwork.TypedProtocol.Channel
handlesAsChannelNetwork.TypedProtocol.Channel
hoistChannelNetwork.TypedProtocol.Channel
hoistCodecNetwork.TypedProtocol.Codec
isoCodecNetwork.TypedProtocol.Codec
isoKleisliChannelNetwork.TypedProtocol.Channel
loggingChannelNetwork.TypedProtocol.Channel
mapFailureCodecNetwork.TypedProtocol.Codec
MessageNetwork.TypedProtocol.PingPong.Type, Network.TypedProtocol.ReqResp.Type
MsgDone 
1 (Data Constructor)Network.TypedProtocol.PingPong.Type
2 (Data Constructor)Network.TypedProtocol.ReqResp.Type
MsgPingNetwork.TypedProtocol.PingPong.Type
MsgPongNetwork.TypedProtocol.PingPong.Type
MsgReqNetwork.TypedProtocol.ReqResp.Type
MsgRespNetwork.TypedProtocol.ReqResp.Type
mvarsAsChannelNetwork.TypedProtocol.Channel
NobodyHasAgencyNetwork.TypedProtocol.PingPong.Type, Network.TypedProtocol.ReqResp.Type
PeerHasAgencyNetwork.TypedProtocol.Codec
PeerRoleNetwork.TypedProtocol.Codec
PingPongNetwork.TypedProtocol.PingPong.Type
PingPongClientNetwork.TypedProtocol.PingPong.Client
pingPongClientCountNetwork.TypedProtocol.PingPong.Examples
pingPongClientFloodNetwork.TypedProtocol.PingPong.Examples
pingPongClientPeerNetwork.TypedProtocol.PingPong.Client
pingPongClientPeerPipelinedNetwork.TypedProtocol.PingPong.Client
PingPongClientPipelined 
1 (Type/Class)Network.TypedProtocol.PingPong.Client
2 (Data Constructor)Network.TypedProtocol.PingPong.Client
pingPongClientPipelinedLimitedNetwork.TypedProtocol.PingPong.Examples
pingPongClientPipelinedMaxNetwork.TypedProtocol.PingPong.Examples
pingPongClientPipelinedMinNetwork.TypedProtocol.PingPong.Examples
PingPongSenderNetwork.TypedProtocol.PingPong.Client
PingPongServer 
1 (Type/Class)Network.TypedProtocol.PingPong.Server
2 (Data Constructor)Network.TypedProtocol.PingPong.Server
pingPongServerCountNetwork.TypedProtocol.PingPong.Examples
pingPongServerPeerNetwork.TypedProtocol.PingPong.Server
pingPongServerStandardNetwork.TypedProtocol.PingPong.Examples
prop_codecNetwork.TypedProtocol.Codec
prop_codecMNetwork.TypedProtocol.Codec
prop_codec_binary_compatNetwork.TypedProtocol.Codec
prop_codec_binary_compatMNetwork.TypedProtocol.Codec
prop_codec_splitsNetwork.TypedProtocol.Codec
prop_codec_splitsMNetwork.TypedProtocol.Codec
recvNetwork.TypedProtocol.Channel
recvMsgDone 
1 (Function)Network.TypedProtocol.PingPong.Server
2 (Function)Network.TypedProtocol.ReqResp.Server
recvMsgPingNetwork.TypedProtocol.PingPong.Server
recvMsgReqNetwork.TypedProtocol.ReqResp.Server
ReqRespNetwork.TypedProtocol.ReqResp.Type
ReqRespClientNetwork.TypedProtocol.ReqResp.Client
reqRespClientMapNetwork.TypedProtocol.ReqResp.Examples
reqRespClientMapPipelinedNetwork.TypedProtocol.ReqResp.Examples
reqRespClientPeerNetwork.TypedProtocol.ReqResp.Client
reqRespClientPeerPipelinedNetwork.TypedProtocol.ReqResp.Client
ReqRespClientPipelined 
1 (Type/Class)Network.TypedProtocol.ReqResp.Client
2 (Data Constructor)Network.TypedProtocol.ReqResp.Client
ReqRespSenderNetwork.TypedProtocol.ReqResp.Client
ReqRespServer 
1 (Type/Class)Network.TypedProtocol.ReqResp.Server
2 (Data Constructor)Network.TypedProtocol.ReqResp.Server
reqRespServerMapAccumLNetwork.TypedProtocol.ReqResp.Examples
reqRespServerPeerNetwork.TypedProtocol.ReqResp.Server
runConnectedPeersNetwork.TypedProtocol.Driver.Simple
runConnectedPeersPipelinedNetwork.TypedProtocol.Driver.Simple
runDecoderNetwork.TypedProtocol.Codec
runDecoderPureNetwork.TypedProtocol.Codec
runDecoderWithChannelNetwork.TypedProtocol.Driver.Simple
runPeerNetwork.TypedProtocol.Driver.Simple
runPipelinedPeerNetwork.TypedProtocol.Driver.Simple
SamePeerHasAgency 
1 (Type/Class)Network.TypedProtocol.Codec
2 (Data Constructor)Network.TypedProtocol.Codec
sendNetwork.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
SendMsgPingNetwork.TypedProtocol.PingPong.Client
SendMsgPingPipelinedNetwork.TypedProtocol.PingPong.Client
SendMsgReqNetwork.TypedProtocol.ReqResp.Client
SendMsgReqPipelinedNetwork.TypedProtocol.ReqResp.Client
ServerAgencyNetwork.TypedProtocol.Codec
ServerHasAgencyNetwork.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
TheyHaveAgencyNetwork.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
TraceRecvMsgNetwork.TypedProtocol.Driver.Simple
TraceSendMsgNetwork.TypedProtocol.Driver.Simple
TraceSendRecvNetwork.TypedProtocol.Driver.Simple
WeHaveAgencyNetwork.TypedProtocol.Codec