typed-protocols-0.1.0.0: A framework for strongly typed protocols

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.Core, Network.TypedProtocol.Codec, Network.TypedProtocol
AsServerNetwork.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol
AwaitNetwork.TypedProtocol.Core, Network.TypedProtocol
ClientAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol
ClientHasAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol, Network.TypedProtocol
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
connectNetwork.TypedProtocol.Proofs, Network.TypedProtocol
connectPipelinedNetwork.TypedProtocol.Proofs, Network.TypedProtocol
ConsQNetwork.TypedProtocol.Proofs, Network.TypedProtocol
decodeNetwork.TypedProtocol.Codec
DecodeDoneNetwork.TypedProtocol.Codec
DecodeFailNetwork.TypedProtocol.Codec
DecodePartialNetwork.TypedProtocol.Codec
DecodeStepNetwork.TypedProtocol.Codec
DoneNetwork.TypedProtocol.Core, Network.TypedProtocol
Driver 
1 (Type/Class)Network.TypedProtocol.Driver, Network.TypedProtocol
2 (Data Constructor)Network.TypedProtocol.Driver, Network.TypedProtocol
EffectNetwork.TypedProtocol.Core, Network.TypedProtocol
EmptyQNetwork.TypedProtocol.Proofs, Network.TypedProtocol
encodeNetwork.TypedProtocol.Codec
enqueueNetwork.TypedProtocol.Proofs, Network.TypedProtocol
exclusionLemma_ClientAndServerHaveAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol
exclusionLemma_NobodyAndClientHaveAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol
exclusionLemma_NobodyAndServerHaveAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol
FlipAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol
fmapPeerPipelinedNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
forgetPipelinedNetwork.TypedProtocol.Proofs, Network.TypedProtocol
hoistCodecNetwork.TypedProtocol.Codec
isoCodecNetwork.TypedProtocol.Codec
mapFailureCodecNetwork.TypedProtocol.Codec
MessageNetwork.TypedProtocol.Core, Network.TypedProtocol, Network.TypedProtocol
NNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
NatNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
natToIntNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
NobodyHasAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol, Network.TypedProtocol
OutstandingNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
PeerNetwork.TypedProtocol.Core, Network.TypedProtocol
PeerHasAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol
PeerPipelined 
1 (Type/Class)Network.TypedProtocol.Pipelined, Network.TypedProtocol
2 (Data Constructor)Network.TypedProtocol.Pipelined, Network.TypedProtocol
PeerReceiverNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
PeerRoleNetwork.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol
PeerSenderNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
pipelineInterleavingNetwork.TypedProtocol.Proofs, Network.TypedProtocol
prop_codecNetwork.TypedProtocol.Codec
prop_codecMNetwork.TypedProtocol.Codec
prop_codecs_compatNetwork.TypedProtocol.Codec
prop_codecs_compatMNetwork.TypedProtocol.Codec
prop_codec_binary_compatNetwork.TypedProtocol.Codec
prop_codec_binary_compatMNetwork.TypedProtocol.Codec
prop_codec_splitsNetwork.TypedProtocol.Codec
prop_codec_splitsMNetwork.TypedProtocol.Codec
ProtocolNetwork.TypedProtocol.Core, Network.TypedProtocol
QueueNetwork.TypedProtocol.Proofs, Network.TypedProtocol
ReceiverAwaitNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
ReceiverDoneNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
ReceiverEffectNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
recvMessageNetwork.TypedProtocol.Driver, Network.TypedProtocol
runDecoderNetwork.TypedProtocol.Codec
runDecoderPureNetwork.TypedProtocol.Codec
runPeerWithDriverNetwork.TypedProtocol.Driver, Network.TypedProtocol
runPipelinedPeerWithDriverNetwork.TypedProtocol.Driver, Network.TypedProtocol
SNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
SamePeerHasAgency 
1 (Type/Class)Network.TypedProtocol.Codec
2 (Data Constructor)Network.TypedProtocol.Codec
SenderAwaitNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
SenderCollectNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
SenderDoneNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
SenderEffectNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
SenderPipelineNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
SenderYieldNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
sendMessageNetwork.TypedProtocol.Driver, Network.TypedProtocol
ServerAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol
ServerHasAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol, Network.TypedProtocol
SomeMessage 
1 (Type/Class)Network.TypedProtocol.Driver, Network.TypedProtocol.Codec, Network.TypedProtocol
2 (Data Constructor)Network.TypedProtocol.Driver, Network.TypedProtocol.Codec, Network.TypedProtocol
startDStateNetwork.TypedProtocol.Driver, Network.TypedProtocol
SuccNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
TerminalStates 
1 (Type/Class)Network.TypedProtocol.Proofs, Network.TypedProtocol
2 (Data Constructor)Network.TypedProtocol.Proofs, Network.TypedProtocol
TheyHaveAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol
TokAsClientNetwork.TypedProtocol.Core, Network.TypedProtocol
TokAsServerNetwork.TypedProtocol.Core, Network.TypedProtocol
TokPeerRoleNetwork.TypedProtocol.Core, Network.TypedProtocol
unsafeIntToNatNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
WeHaveAgencyNetwork.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol
YieldNetwork.TypedProtocol.Core, Network.TypedProtocol
ZNetwork.TypedProtocol.Pipelined, Network.TypedProtocol
ZeroNetwork.TypedProtocol.Pipelined, Network.TypedProtocol