| ReadFile | Network.TypedProtocol.Stateful.ReqResp.Type |
| Receiver | |
| 1 (Type/Class) | Network.TypedProtocol.Peer |
| 2 (Type/Class) | Network.TypedProtocol.Peer.Client |
| 3 (Type/Class) | Network.TypedProtocol.Peer.Server |
| ReceiverAwait | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer |
| 2 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| ReceiverDone | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer |
| 2 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| ReceiverEffect | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer |
| 2 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| recv | Network.TypedProtocol.Channel |
| recvMessage | |
| 1 (Function) | Network.TypedProtocol.Driver, Network.TypedProtocol |
| 2 (Function) | Network.TypedProtocol.Stateful.Driver |
| recvMsgDone | |
| 1 (Function) | Network.TypedProtocol.PingPong.Server |
| 2 (Function) | Network.TypedProtocol.ReqResp.Server |
| recvMsgPing | Network.TypedProtocol.PingPong.Server |
| recvMsgReq | Network.TypedProtocol.ReqResp.Server |
| ReflClientAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| ReflNobodyAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| ReflRelativeAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| ReflServerAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| Relative | Network.TypedProtocol.Core, Network.TypedProtocol |
| RelativeAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| removeState | Network.TypedProtocol.Stateful.Proofs |
| 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 |
| runClientPipelined | Network.TypedProtocol.Peer.Client |
| runConnectedPeers | Network.TypedProtocol.Driver.Simple |
| runConnectedPeersAsymmetric | Network.TypedProtocol.Driver.Simple |
| runConnectedPeersPipelined | Network.TypedProtocol.Driver.Simple |
| runDecoder | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| runDecoderPure | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| runDecoderWithChannel | Network.TypedProtocol.Driver.Simple |
| runPeer | Network.TypedProtocol.Driver.Simple |
| runPeerPipelined | Network.TypedProtocol.Peer |
| runPeerWithDriver | |
| 1 (Function) | Network.TypedProtocol.Driver, Network.TypedProtocol |
| 2 (Function) | Network.TypedProtocol.Stateful.Driver |
| runPipelinedPeer | Network.TypedProtocol.Driver.Simple |
| runPipelinedPeerWithDriver | Network.TypedProtocol.Driver, Network.TypedProtocol |
| runServerPipelined | Network.TypedProtocol.Peer.Server |