| peerSharingClientCollect | Ouroboros.Network.Protocol.PeerSharing.Examples |
| peerSharingCodec | Ouroboros.Network.Protocol.PeerSharing.Codec.CDDL |
| peerSharingServerReplicate | Ouroboros.Network.Protocol.PeerSharing.Examples |
| PipeliningDepth | |
| 1 (Type/Class) | Test.Data.PipeliningDepth |
| 2 (Data Constructor) | Test.Data.PipeliningDepth |
| points | Ouroboros.Network.Protocol.ChainSync.Examples, Ouroboros.Network.Protocol.ChainSync.ExamplesPipelined |
| prop_acceptable_symmetric | Ouroboros.Network.Protocol.Handshake.Test |
| prop_acceptable_symmetric_NodeToClient | Ouroboros.Network.Protocol.Handshake.Test |
| prop_acceptable_symmetric_NodeToNode | Ouroboros.Network.Protocol.Handshake.Test |
| prop_acceptable_symmetric_VersionData | Ouroboros.Network.Protocol.Handshake.Test |
| prop_acceptOrRefuse_symmetric | Ouroboros.Network.Protocol.Handshake.Test |
| prop_acceptOrRefuse_symmetric_NodeToClient | Ouroboros.Network.Protocol.Handshake.Test |
| prop_acceptOrRefuse_symmetric_NodeToNode | Ouroboros.Network.Protocol.Handshake.Test |
| prop_acceptOrRefuse_symmetric_VersionData | Ouroboros.Network.Protocol.Handshake.Test |
| prop_arbitrary_ArbitraryValidVersions | Ouroboros.Network.Protocol.Handshake.Test |
| prop_arbitrary_ArbitraryVersions | Ouroboros.Network.Protocol.Handshake.Test |
| prop_byteLimits | |
| 1 (Function) | Ouroboros.Network.Protocol.PeerSharing.Test |
| 2 (Function) | Ouroboros.Network.Protocol.KeepAlive.Test |
| prop_channel | |
| 1 (Function) | Ouroboros.Network.Protocol.PeerSharing.Test |
| 2 (Function) | Ouroboros.Network.Protocol.KeepAlive.Test |
| 3 (Function) | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_asymmetric | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_asymmetric_IO | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_asymmetric_ST | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_IO | |
| 1 (Function) | Ouroboros.Network.Protocol.PeerSharing.Test |
| 2 (Function) | Ouroboros.Network.Protocol.KeepAlive.Test |
| 3 (Function) | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_IO | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_NodeToClient_IO | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_NodeToClient_SimNet | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_NodeToClient_ST | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_NodeToNode_IO | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_NodeToNode_SimNet | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_NodeToNode_ST | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_sim | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_SimNet | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_simultaneous_open_ST | Ouroboros.Network.Protocol.Handshake.Test |
| prop_channel_ST | |
| 1 (Function) | Ouroboros.Network.Protocol.PeerSharing.Test |
| 2 (Function) | Ouroboros.Network.Protocol.KeepAlive.Test |
| 3 (Function) | Ouroboros.Network.Protocol.Handshake.Test |
| prop_codec_cbor | |
| 1 (Function) | Ouroboros.Network.Protocol.PeerSharing.Test |
| 2 (Function) | Ouroboros.Network.Protocol.Handshake.Test |
| prop_codec_cborM | Test.Ouroboros.Network.Protocol.Utils |
| prop_codec_Handshake | Ouroboros.Network.Protocol.Handshake.Test |
| prop_codec_PeerSharing | Ouroboros.Network.Protocol.PeerSharing.Test |
| prop_codec_RefuseReason | Ouroboros.Network.Protocol.Handshake.Test |
| prop_codec_splits2 | Ouroboros.Network.Protocol.PeerSharing.Test |
| prop_codec_splits2_Handshake | Ouroboros.Network.Protocol.Handshake.Test |
| prop_codec_splits3 | Ouroboros.Network.Protocol.PeerSharing.Test |
| prop_codec_splits3_Handshake | Ouroboros.Network.Protocol.Handshake.Test |
| prop_codec_st_cborM | Test.Ouroboros.Network.Protocol.Utils |
| prop_codec_st_valid_cbor_encoding | Test.Ouroboros.Network.Protocol.Utils |
| prop_codec_v2 | Ouroboros.Network.Protocol.KeepAlive.Test |
| prop_codec_v2_splits2 | Ouroboros.Network.Protocol.KeepAlive.Test |
| prop_codec_v2_splits3 | Ouroboros.Network.Protocol.KeepAlive.Test |
| prop_codec_v2_valid_cbor | Ouroboros.Network.Protocol.KeepAlive.Test |
| prop_codec_valid_cbor | |
| 1 (Function) | Ouroboros.Network.Protocol.PeerSharing.Test |
| 2 (Function) | Ouroboros.Network.Protocol.Handshake.Test |
| prop_codec_valid_cbor_encoding | Test.Ouroboros.Network.Protocol.Utils |
| prop_connect | |
| 1 (Function) | Ouroboros.Network.Protocol.PeerSharing.Test |
| 2 (Function) | Ouroboros.Network.Protocol.KeepAlive.Test |
| 3 (Function) | Ouroboros.Network.Protocol.Handshake.Test |
| prop_direct | |
| 1 (Function) | Ouroboros.Network.Protocol.PeerSharing.Test |
| 2 (Function) | Ouroboros.Network.Protocol.KeepAlive.Test |
| prop_peerSharing_symmetric | Ouroboros.Network.Protocol.Handshake.Test |
| prop_peerSharing_symmetric_NodeToNode_SimNet | Ouroboros.Network.Protocol.Handshake.Test |
| prop_pipe_asymmetric_IO | Ouroboros.Network.Protocol.Handshake.Test |
| prop_pipe_IO | Ouroboros.Network.Protocol.Handshake.Test |
| prop_query_version | Ouroboros.Network.Protocol.Handshake.Test |
| prop_query_version_NodeToClient_IO | Ouroboros.Network.Protocol.Handshake.Test |
| prop_query_version_NodeToClient_SimNet | Ouroboros.Network.Protocol.Handshake.Test |
| prop_query_version_NodeToClient_ST | Ouroboros.Network.Protocol.Handshake.Test |
| prop_query_version_NodeToNode_IO | Ouroboros.Network.Protocol.Handshake.Test |
| prop_query_version_NodeToNode_SimNet | Ouroboros.Network.Protocol.Handshake.Test |
| prop_query_version_NodeToNode_ST | Ouroboros.Network.Protocol.Handshake.Test |
| prop_shrink_ArbitraryValidVersions | Ouroboros.Network.Protocol.Handshake.Test |
| pureClient | Ouroboros.Network.Protocol.ChainSync.Examples |
| pureHandshake | Ouroboros.Network.Protocol.Handshake.Direct |