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.Core , Network.TypedProtocol.Codec , Network.TypedProtocol |
| AsServer | Network.TypedProtocol.Core , Network.TypedProtocol.Codec , Network.TypedProtocol |
| Await | Network.TypedProtocol.Core , Network.TypedProtocol |
| ClientAgency | Network.TypedProtocol.Core , Network.TypedProtocol.Codec , Network.TypedProtocol |
| ClientHasAgency | Network.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 |
| CodecFailureOutOfInput | Network.TypedProtocol.Codec |
| connect | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| connectPipelined | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| ConsQ | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| decode | Network.TypedProtocol.Codec |
| DecodeDone | Network.TypedProtocol.Codec |
| DecodeFail | Network.TypedProtocol.Codec |
| DecodePartial | Network.TypedProtocol.Codec |
| DecodeStep | Network.TypedProtocol.Codec |
| Done | Network.TypedProtocol.Core , Network.TypedProtocol |
| Driver | |
| 1 (Type/Class) | Network.TypedProtocol.Driver , Network.TypedProtocol |
| 2 (Data Constructor) | Network.TypedProtocol.Driver , Network.TypedProtocol |
| Effect | Network.TypedProtocol.Core , Network.TypedProtocol |
| EmptyQ | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| encode | Network.TypedProtocol.Codec |
| enqueue | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| exclusionLemma_ClientAndServerHaveAgency | Network.TypedProtocol.Core , Network.TypedProtocol |
| exclusionLemma_NobodyAndClientHaveAgency | Network.TypedProtocol.Core , Network.TypedProtocol |
| exclusionLemma_NobodyAndServerHaveAgency | Network.TypedProtocol.Core , Network.TypedProtocol |
| FlipAgency | Network.TypedProtocol.Core , Network.TypedProtocol |
| fmapPeerPipelined | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| forgetPipelined | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| hoistCodec | Network.TypedProtocol.Codec |
| isoCodec | Network.TypedProtocol.Codec |
| mapFailureCodec | Network.TypedProtocol.Codec |
| Message | Network.TypedProtocol.Core , Network.TypedProtocol, Network.TypedProtocol |
| N | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| Nat | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| natToInt | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| NobodyHasAgency | Network.TypedProtocol.Core , Network.TypedProtocol, Network.TypedProtocol |
| Outstanding | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| Peer | Network.TypedProtocol.Core , Network.TypedProtocol |
| PeerHasAgency | Network.TypedProtocol.Core , Network.TypedProtocol.Codec , Network.TypedProtocol |
| PeerPipelined | |
| 1 (Type/Class) | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| 2 (Data Constructor) | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| PeerReceiver | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| PeerRole | Network.TypedProtocol.Core , Network.TypedProtocol.Codec , Network.TypedProtocol |
| PeerSender | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| pipelineInterleaving | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| prop_codec | Network.TypedProtocol.Codec |
| prop_codecM | Network.TypedProtocol.Codec |
| prop_codecs_compat | Network.TypedProtocol.Codec |
| prop_codecs_compatM | 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 |
| Protocol | Network.TypedProtocol.Core , Network.TypedProtocol |
| Queue | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| ReceiverAwait | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| ReceiverDone | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| ReceiverEffect | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| recvMessage | Network.TypedProtocol.Driver , Network.TypedProtocol |
| runDecoder | Network.TypedProtocol.Codec |
| runDecoderPure | Network.TypedProtocol.Codec |
| runPeerWithDriver | Network.TypedProtocol.Driver , Network.TypedProtocol |
| runPipelinedPeerWithDriver | Network.TypedProtocol.Driver , Network.TypedProtocol |
| S | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| SamePeerHasAgency | |
| 1 (Type/Class) | Network.TypedProtocol.Codec |
| 2 (Data Constructor) | Network.TypedProtocol.Codec |
| SenderAwait | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| SenderCollect | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| SenderDone | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| SenderEffect | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| SenderPipeline | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| SenderYield | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| sendMessage | Network.TypedProtocol.Driver , Network.TypedProtocol |
| ServerAgency | Network.TypedProtocol.Core , Network.TypedProtocol.Codec , Network.TypedProtocol |
| ServerHasAgency | Network.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 |
| startDState | Network.TypedProtocol.Driver , Network.TypedProtocol |
| Succ | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| TerminalStates | |
| 1 (Type/Class) | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| 2 (Data Constructor) | Network.TypedProtocol.Proofs , Network.TypedProtocol |
| TheyHaveAgency | Network.TypedProtocol.Core , Network.TypedProtocol.Codec , Network.TypedProtocol |
| TokAsClient | Network.TypedProtocol.Core , Network.TypedProtocol |
| TokAsServer | Network.TypedProtocol.Core , Network.TypedProtocol |
| TokPeerRole | Network.TypedProtocol.Core , Network.TypedProtocol |
| unsafeIntToNat | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| WeHaveAgency | Network.TypedProtocol.Core , Network.TypedProtocol.Codec , Network.TypedProtocol |
| Yield | Network.TypedProtocol.Core , Network.TypedProtocol |
| Z | Network.TypedProtocol.Pipelined , Network.TypedProtocol |
| Zero | Network.TypedProtocol.Pipelined , Network.TypedProtocol |