| abort | Network.TypedProtocol.Documentation.DefaultMain |
| ActiveAgency | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR |
| activeAgency | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR |
| ActiveAgency' | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR |
| ActiveState | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| Agency | Network.TypedProtocol.Core, Network.TypedProtocol |
| AgencyID | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| AnyMessage | |
| 1 (Type/Class) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Data Constructor) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 3 (Type/Class) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| AnyMessageAndAgency | |
| 1 (Data Constructor) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Data Constructor) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| AnyState | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| AsClient | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| assertLineStart | Network.TypedProtocol.Documentation.Text |
| AsServer | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| AtFst | Network.TypedProtocol.Trans.Wedge |
| AtSnd | Network.TypedProtocol.Trans.Wedge |
| Await | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer |
| 2 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.Peer |
| 5 (Data Constructor) | Network.TypedProtocol.Stateful.Peer.Client |
| 6 (Data Constructor) | Network.TypedProtocol.Stateful.Peer.Server |
| Build | Network.TypedProtocol.Documentation.Text |
| buildBare | Network.TypedProtocol.Documentation.Text |
| Bytes | |
| 1 (Type/Class) | Network.TypedProtocol.Stateful.ReqResp.Codec |
| 2 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Codec |
| Channel | |
| 1 (Type/Class) | Network.TypedProtocol.Channel |
| 2 (Data Constructor) | Network.TypedProtocol.Channel |
| channelEffect | Network.TypedProtocol.Channel |
| Client | |
| 1 (Type/Class) | Network.TypedProtocol.Peer.Client |
| 2 (Data Constructor) | Network.TypedProtocol.Driver.Simple |
| 3 (Type/Class) | Network.TypedProtocol.Stateful.Peer.Client |
| ClientAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| ClientAgencyID | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| ClientHasAgency | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR |
| ClientPipelined | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 2 (Type/Class) | Network.TypedProtocol.Peer.Client |
| Codec | |
| 1 (Type/Class) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Data Constructor) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 3 (Type/Class) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| CodecFailure | |
| 1 (Type/Class) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| 2 (Data Constructor) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| CodecFailureOutOfInput | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| codecPingPong | |
| 1 (Function) | Network.TypedProtocol.PingPong.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.PingPong.Codec |
| codecPingPongId | Network.TypedProtocol.PingPong.Codec |
| codecReqResp | |
| 1 (Function) | Network.TypedProtocol.ReqResp.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.ReqResp.Codec |
| 3 (Function) | Network.TypedProtocol.Stateful.ReqResp.Codec |
| codecReqRespId | |
| 1 (Function) | Network.TypedProtocol.ReqResp.Codec |
| 2 (Function) | Network.TypedProtocol.Stateful.ReqResp.Codec |
| Collect | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer |
| 2 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| CollectPipelined | |
| 1 (Data Constructor) | Network.TypedProtocol.PingPong.Client |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp.Client |
| connect | |
| 1 (Function) | Network.TypedProtocol.Proofs, Network.TypedProtocol |
| 2 (Function) | Network.TypedProtocol.Stateful.Proofs |
| connectPipelined | Network.TypedProtocol.Proofs, Network.TypedProtocol |
| ConsQ | Network.TypedProtocol.Proofs, Network.TypedProtocol |
| convertCborDecoderBS | Network.TypedProtocol.Codec.CBOR |
| convertCborDecoderLBS | Network.TypedProtocol.Codec.CBOR |
| createConnectedBufferedChannels | Network.TypedProtocol.Channel |
| createConnectedBufferedChannelsUnbounded | Network.TypedProtocol.Channel |
| createConnectedChannels | Network.TypedProtocol.Channel |
| createPipelineTestChannels | Network.TypedProtocol.Channel |
| decode | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| DecodeDone | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Driver, Network.TypedProtocol.Stateful.Codec.CBOR |
| DecodeFail | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Driver, Network.TypedProtocol.Stateful.Codec.CBOR |
| DecodePartial | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Driver, Network.TypedProtocol.Stateful.Codec.CBOR |
| DecodeStep | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Driver, Network.TypedProtocol.Stateful.Codec.CBOR |
| decodeTerminatedFrame | Network.TypedProtocol.PingPong.Codec |
| defaultMain | Network.TypedProtocol.Documentation.DefaultMain, Network.TypedProtocol.Documentation |
| delayChannel | Network.TypedProtocol.Channel |
| describeProtocol | Network.TypedProtocol.Documentation.TH, Network.TypedProtocol.Documentation |
| Description | |
| 1 (Type/Class) | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| 2 (Data Constructor) | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| descriptionParagraphs | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| DeserialiseFailure | |
| 1 (Type/Class) | Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec.CBOR |
| 2 (Data Constructor) | Network.TypedProtocol.Codec.CBOR |
| Done | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer |
| 2 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.Peer |
| 5 (Data Constructor) | Network.TypedProtocol.Stateful.Peer.Client |
| 6 (Data Constructor) | Network.TypedProtocol.Stateful.Peer.Server |
| Driver | |
| 1 (Type/Class) | Network.TypedProtocol.Driver, Network.TypedProtocol |
| 2 (Data Constructor) | Network.TypedProtocol.Driver, Network.TypedProtocol |
| 3 (Type/Class) | Network.TypedProtocol.Stateful.Driver |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.Driver |
| driverSimple | Network.TypedProtocol.Driver.Simple |
| Effect | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer |
| 2 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.Peer |
| 5 (Data Constructor) | Network.TypedProtocol.Stateful.Peer.Client |
| 6 (Data Constructor) | Network.TypedProtocol.Stateful.Peer.Server |
| EmptyQ | Network.TypedProtocol.Proofs, Network.TypedProtocol |
| encode | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| enqueue | Network.TypedProtocol.Proofs, Network.TypedProtocol |
| fieldSpecAnnotations | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| fieldSpecToHTML | Network.TypedProtocol.Documentation.Html |
| fieldTypeToHtml | Network.TypedProtocol.Documentation.Html |
| FileAPI | Network.TypedProtocol.Stateful.ReqResp.Type |
| FileRPC | Network.TypedProtocol.Stateful.ReqResp.Type |
| fileRPCServer | Network.TypedProtocol.Stateful.ReqResp.Examples |
| fixedInputChannel | Network.TypedProtocol.Channel |
| FlipAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| flipPair | Network.TypedProtocol.Documentation.GraphViz |
| forgetPipelined | Network.TypedProtocol.Proofs, Network.TypedProtocol |
| formatFieldSize | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| formatStateRef | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| getRenderer | Network.TypedProtocol.Documentation.DefaultMain |
| h | Network.TypedProtocol.Documentation.Text |
| handlesAsChannel | Network.TypedProtocol.Channel |
| hoistChannel | Network.TypedProtocol.Channel |
| hoistCodec | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| hoistDecodeStep | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| hProtocolToSVG | Network.TypedProtocol.Documentation.GraphViz |
| indent | Network.TypedProtocol.Documentation.Text |
| initialDState | |
| 1 (Function) | Network.TypedProtocol.Driver, Network.TypedProtocol |
| 2 (Function) | Network.TypedProtocol.Stateful.Driver |
| IsActiveState | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR |
| isoCodec | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| isoDecodeStep | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| isoKleisliChannel | Network.TypedProtocol.Channel |
| IsPipelined | Network.TypedProtocol.Core, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |
| liftCodec | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| link | Network.TypedProtocol.Documentation.Text |
| loggingChannel | Network.TypedProtocol.Channel |
| MainOptions | |
| 1 (Type/Class) | Network.TypedProtocol.Documentation.DefaultMain |
| 2 (Data Constructor) | Network.TypedProtocol.Documentation.DefaultMain |
| mapFailureCodec | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| mapFailureDecodeStep | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| Message | Network.TypedProtocol.Core, Network.TypedProtocol, Network.TypedProtocol, Network.TypedProtocol.PingPong.Type, Network.TypedProtocol.ReqResp.Type, Network.TypedProtocol.ReqResp2.Type, Network.TypedProtocol.Stateful.ReqResp.Type, Network.TypedProtocol.Trans.Wedge |
| MessageDescription | |
| 1 (Type/Class) | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| 2 (Data Constructor) | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| messageDescription | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| messageFromState | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| messageID | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| messageInfo | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| messageName | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| messagePayload | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| messageTOC | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| messageToState | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| mkCodecCborLazyBS | |
| 1 (Function) | Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec.CBOR |
| mkCodecCborStrictBS | |
| 1 (Function) | Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec.CBOR |
| moListProtocols | Network.TypedProtocol.Documentation.DefaultMain |
| moOutputFile | Network.TypedProtocol.Documentation.DefaultMain |
| moOutputFormat | Network.TypedProtocol.Documentation.DefaultMain |
| MsgDone | |
| 1 (Data Constructor) | Network.TypedProtocol.PingPong.Type |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp.Type |
| 3 (Data Constructor) | Network.TypedProtocol.ReqResp2.Type |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Type |
| MsgFst | Network.TypedProtocol.Trans.Wedge |
| MsgFstToSnd | Network.TypedProtocol.Trans.Wedge |
| MsgPing | Network.TypedProtocol.PingPong.Type |
| MsgPong | Network.TypedProtocol.PingPong.Type |
| MsgReq | |
| 1 (Data Constructor) | Network.TypedProtocol.ReqResp.Type |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp2.Type |
| 3 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Type |
| MsgReq' | Network.TypedProtocol.ReqResp2.Type |
| MsgResp | |
| 1 (Data Constructor) | Network.TypedProtocol.ReqResp.Type |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp2.Type |
| 3 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Type |
| MsgResp' | Network.TypedProtocol.ReqResp2.Type |
| MsgSnd | Network.TypedProtocol.Trans.Wedge |
| MsgSndToFst | Network.TypedProtocol.Trans.Wedge |
| MsgStart | Network.TypedProtocol.Trans.Wedge |
| mvarsAsChannel | Network.TypedProtocol.Channel |
| N | Network.TypedProtocol.Core, Network.TypedProtocol.Peer, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |
| Nat | Network.TypedProtocol.Core, Network.TypedProtocol.Peer, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |
| natToInt | Network.TypedProtocol.Core, Network.TypedProtocol.Peer, Network.TypedProtocol |
| newline | Network.TypedProtocol.Documentation.Text |
| NobodyAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| NobodyAgencyID | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| NobodyHasAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| NobodyHasAgencyProof | Network.TypedProtocol.Core, Network.TypedProtocol |
| NonPipelined | Network.TypedProtocol.Core, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |
| notActiveState | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR |
| ol | Network.TypedProtocol.Documentation.Text |
| OutputAuto | Network.TypedProtocol.Documentation.DefaultMain |
| OutputFormat | Network.TypedProtocol.Documentation.DefaultMain |
| OutputHtml | Network.TypedProtocol.Documentation.DefaultMain |
| OutputJSON | Network.TypedProtocol.Documentation.DefaultMain |
| OutputText | Network.TypedProtocol.Documentation.DefaultMain |
| Outstanding | Network.TypedProtocol.Core, Network.TypedProtocol.Peer, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |
| p | Network.TypedProtocol.Documentation.Text |
| parseOutputFormat | Network.TypedProtocol.Documentation.DefaultMain |
| Peer | |
| 1 (Type/Class) | Network.TypedProtocol.Peer |
| 2 (Type/Class) | Network.TypedProtocol.Stateful.Peer |
| PeerPipelined | |
| 1 (Type/Class) | Network.TypedProtocol.Peer, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server |
| 2 (Data Constructor) | Network.TypedProtocol.Peer |
| PeerRole | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| PingPong | Network.TypedProtocol.PingPong.Type |
| PingPong2 | Network.TypedProtocol.Trans.Wedge |
| pingPong2Client | Network.TypedProtocol.Trans.Wedge |
| pingPong2Client' | Network.TypedProtocol.Trans.Wedge |
| PingPongClient | Network.TypedProtocol.PingPong.Client |
| pingPongClientCount | Network.TypedProtocol.PingPong.Examples |
| pingPongClientFlood | Network.TypedProtocol.PingPong.Examples |
| PingPongClientIdle | Network.TypedProtocol.PingPong.Client |
| 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 |
| 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 |
| Pipelined | Network.TypedProtocol.Core, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |
| pipelineInterleaving | Network.TypedProtocol.Proofs, Network.TypedProtocol |
| pMainOptions | Network.TypedProtocol.Documentation.DefaultMain |
| promoteToPipelined | Network.TypedProtocol.Proofs, Network.TypedProtocol |
| prop_codec | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| prop_codecM | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| prop_codecs_compat | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| prop_codecs_compatM | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| prop_codec_binary_compat | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| prop_codec_binary_compatM | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| prop_codec_splits | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| prop_codec_splitsM | |
| 1 (Function) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Function) | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| Protocol | Network.TypedProtocol.Core, Network.TypedProtocol |
| ProtocolDescription | |
| 1 (Type/Class) | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| 2 (Data Constructor) | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| protocolDescription | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| protocolIdentifier | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| protocolMessages | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| protocolName | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| protocolStates | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| protocolTOC | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| protocolToDot | Network.TypedProtocol.Documentation.GraphViz |
| protocolToDotFile | Network.TypedProtocol.Documentation.GraphViz, Network.TypedProtocol.Documentation |
| protocolToSVGFile | Network.TypedProtocol.Documentation.GraphViz, Network.TypedProtocol.Documentation |
| protocolToSvgMem | Network.TypedProtocol.Documentation.Html |
| Queue | Network.TypedProtocol.Proofs, Network.TypedProtocol |
| 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 |
| renderDescriptions | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| renderDiagramSvg | Network.TypedProtocol.Documentation.Html |
| renderFieldSpec | Network.TypedProtocol.Documentation.Text |
| renderFieldType | Network.TypedProtocol.Documentation.Text |
| renderHaddock | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| renderMessage | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| renderMessageRef | Network.TypedProtocol.Documentation.Text |
| renderProtocol | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| renderProtocolDescriptions | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| renderState | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| renderSubfield | Network.TypedProtocol.Documentation.Text |
| renderSubfields | Network.TypedProtocol.Documentation.Text |
| renderTOC | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| 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 |
| runBuild | Network.TypedProtocol.Documentation.Text |
| 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 |
| S | Network.TypedProtocol.Core, Network.TypedProtocol.Peer, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |
| send | Network.TypedProtocol.Channel |
| sendMessage | |
| 1 (Function) | Network.TypedProtocol.Driver, Network.TypedProtocol |
| 2 (Function) | Network.TypedProtocol.Stateful.Driver |
| SendMsgDone | |
| 1 (Data Constructor) | Network.TypedProtocol.PingPong.Client |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Stateful.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 | |
| 1 (Data Constructor) | Network.TypedProtocol.ReqResp.Client |
| 2 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Client |
| SendMsgReqPipelined | Network.TypedProtocol.ReqResp.Client |
| Server | |
| 1 (Type/Class) | Network.TypedProtocol.Peer.Server |
| 2 (Data Constructor) | Network.TypedProtocol.Driver.Simple |
| 3 (Type/Class) | Network.TypedProtocol.Stateful.Peer.Server |
| ServerAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| ServerAgencyID | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| ServerHasAgency | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR |
| ServerPipelined | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| 2 (Type/Class) | Network.TypedProtocol.Peer.Server |
| showAnyMessage | Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| simpleFileAPI | Network.TypedProtocol.Stateful.ReqResp.Examples |
| simpleFileRPCServer | Network.TypedProtocol.Stateful.ReqResp.Examples |
| SingAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| SingAsClient | Network.TypedProtocol.Core, Network.TypedProtocol |
| SingAsServer | Network.TypedProtocol.Core, Network.TypedProtocol |
| SingBusy | |
| 1 (Data Constructor) | Network.TypedProtocol.PingPong.Type |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp.Type |
| 3 (Data Constructor) | Network.TypedProtocol.ReqResp2.Type |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Type |
| SingBusy' | Network.TypedProtocol.ReqResp2.Type |
| SingClientAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| SingDone | |
| 1 (Data Constructor) | Network.TypedProtocol.PingPong.Type |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp.Type |
| 3 (Data Constructor) | Network.TypedProtocol.ReqResp2.Type |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Type |
| SingIdle | |
| 1 (Data Constructor) | Network.TypedProtocol.PingPong.Type |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp.Type |
| 3 (Data Constructor) | Network.TypedProtocol.ReqResp2.Type |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Type |
| SingNobodyAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| SingPeerRole | Network.TypedProtocol.Core, Network.TypedProtocol |
| SingServerAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| SingStart | Network.TypedProtocol.Trans.Wedge |
| SingStFst | Network.TypedProtocol.Trans.Wedge |
| SingStIdle | Network.TypedProtocol.Trans.Wedge |
| SingStSnd | Network.TypedProtocol.Trans.Wedge |
| SingWedge | Network.TypedProtocol.Trans.Wedge |
| socketAsChannel | Network.TypedProtocol.Channel |
| Some | |
| 1 (Type/Class) | Network.TypedProtocol.Stateful.ReqResp.Codec |
| 2 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Codec |
| SomeMessage | |
| 1 (Type/Class) | Network.TypedProtocol.Driver, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Driver, Network.TypedProtocol.Stateful.Codec.CBOR |
| 2 (Data Constructor) | Network.TypedProtocol.Driver, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Driver, Network.TypedProtocol.Stateful.Codec.CBOR |
| SomeState | |
| 1 (Type/Class) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| 2 (Data Constructor) | Network.TypedProtocol.Codec, Network.TypedProtocol.Codec.CBOR |
| SPingPong | Network.TypedProtocol.PingPong.Type |
| SReqResp | |
| 1 (Type/Class) | Network.TypedProtocol.ReqResp.Type |
| 2 (Type/Class) | Network.TypedProtocol.Stateful.ReqResp.Type |
| SReqResp2 | Network.TypedProtocol.ReqResp2.Type |
| State | |
| 1 (Data Constructor) | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| 2 (Type/Class) | Network.TypedProtocol.Stateful.ReqResp.Type |
| StateAgency | Network.TypedProtocol.Core, Network.TypedProtocol, Network.TypedProtocol |
| StateBusy | Network.TypedProtocol.Stateful.ReqResp.Type |
| StateDone | Network.TypedProtocol.Stateful.ReqResp.Type |
| stateID | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| StateIdle | Network.TypedProtocol.Stateful.ReqResp.Type |
| StateRef | Network.TypedProtocol.Documentation.Types, Network.TypedProtocol.Documentation |
| stateTOC | |
| 1 (Function) | Network.TypedProtocol.Documentation.Text |
| 2 (Function) | Network.TypedProtocol.Documentation.Html |
| StateToken | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR, Network.TypedProtocol.Stateful.Codec.CBOR |
| stateToken | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| StateTokenI | Network.TypedProtocol.Core, Network.TypedProtocol.Codec, Network.TypedProtocol, Network.TypedProtocol.Codec.CBOR, Network.TypedProtocol.Stateful.Codec, Network.TypedProtocol.Stateful.Codec.CBOR |
| StBusy | |
| 1 (Data Constructor) | Network.TypedProtocol.PingPong.Type |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp.Type |
| 3 (Data Constructor) | Network.TypedProtocol.ReqResp2.Type |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Type |
| StBusy' | Network.TypedProtocol.ReqResp2.Type |
| StDone | |
| 1 (Data Constructor) | Network.TypedProtocol.PingPong.Type |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp.Type |
| 3 (Data Constructor) | Network.TypedProtocol.ReqResp2.Type |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Type |
| StFst | Network.TypedProtocol.Trans.Wedge |
| StIdle | |
| 1 (Data Constructor) | Network.TypedProtocol.PingPong.Type |
| 2 (Data Constructor) | Network.TypedProtocol.ReqResp.Type |
| 3 (Data Constructor) | Network.TypedProtocol.ReqResp2.Type |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.ReqResp.Type |
| 5 (Data Constructor) | Network.TypedProtocol.Trans.Wedge |
| string | Network.TypedProtocol.Documentation.Text |
| stringLine | Network.TypedProtocol.Documentation.Text |
| StSnd | Network.TypedProtocol.Trans.Wedge |
| subfieldsToHTML | Network.TypedProtocol.Documentation.Html |
| subfieldToHtmlTR | Network.TypedProtocol.Documentation.Html |
| Succ | Network.TypedProtocol.Core, Network.TypedProtocol.Peer, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |
| TerminalStates | |
| 1 (Type/Class) | Network.TypedProtocol.Proofs, Network.TypedProtocol, Network.TypedProtocol.Stateful.Proofs |
| 2 (Data Constructor) | Network.TypedProtocol.Proofs, Network.TypedProtocol, Network.TypedProtocol.Stateful.Proofs |
| TheyHaveAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| TheyHaveAgencyProof | Network.TypedProtocol.Core, Network.TypedProtocol |
| TOC | |
| 1 (Type/Class) | Network.TypedProtocol.Documentation.Text |
| 2 (Data Constructor) | Network.TypedProtocol.Documentation.Text |
| 3 (Type/Class) | Network.TypedProtocol.Documentation.Html |
| 4 (Data Constructor) | Network.TypedProtocol.Documentation.Html |
| TraceRecvMsg | Network.TypedProtocol.Driver.Simple |
| TraceSendMsg | Network.TypedProtocol.Driver.Simple |
| TraceSendRecv | Network.TypedProtocol.Driver.Simple |
| ul | Network.TypedProtocol.Documentation.Text |
| unsafeIntToNat | Network.TypedProtocol.Core, Network.TypedProtocol.Peer, Network.TypedProtocol |
| Wedge | Network.TypedProtocol.Trans.Wedge |
| WeHaveAgency | Network.TypedProtocol.Core, Network.TypedProtocol |
| WeHaveAgencyProof | Network.TypedProtocol.Core, Network.TypedProtocol |
| withIndent | Network.TypedProtocol.Documentation.Text |
| wrapDocument | Network.TypedProtocol.Documentation.Html |
| write | Network.TypedProtocol.Documentation.Text |
| WriteFile | Network.TypedProtocol.Stateful.ReqResp.Type |
| Yield | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer |
| 2 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| 4 (Data Constructor) | Network.TypedProtocol.Stateful.Peer |
| 5 (Data Constructor) | Network.TypedProtocol.Stateful.Peer.Client |
| 6 (Data Constructor) | Network.TypedProtocol.Stateful.Peer.Server |
| YieldPipelined | |
| 1 (Data Constructor) | Network.TypedProtocol.Peer |
| 2 (Data Constructor) | Network.TypedProtocol.Peer.Client |
| 3 (Data Constructor) | Network.TypedProtocol.Peer.Server |
| Z | Network.TypedProtocol.Core, Network.TypedProtocol.Peer, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |
| Zero | Network.TypedProtocol.Core, Network.TypedProtocol.Peer, Network.TypedProtocol.Peer.Client, Network.TypedProtocol.Peer.Server, Network.TypedProtocol |