| $sel:address:Endpoint | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| $sel:context:SocketException | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| $sel:port:Endpoint | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| $sel:reason:SocketException | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Accept | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Bind | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Close | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Connect | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Connection | Socket.Stream.IPv4 |
| Context | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Endpoint | |
| 1 (Type/Class) | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| 2 (Data Constructor) | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| ErrorCode | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| forkAccepted | Socket.Stream.IPv4 |
| forkAcceptedUnmasked | Socket.Stream.IPv4 |
| GetName | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Listen | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Listener | Socket.Stream.IPv4 |
| MessageTruncated | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| NegativeBytesRequested | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Open | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Option | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| OptionValueSize | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Reason | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Receive | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| receive | Socket.Datagram.IPv4.Undestined |
| receiveBoundedByteArray | Socket.Stream.IPv4 |
| receiveByteArray | Socket.Stream.IPv4 |
| receiveMutableByteArray | Socket.Stream.IPv4 |
| receiveMutableByteArraySlice_ | Socket.Datagram.IPv4.Undestined |
| RemoteNotShutdown | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| RemoteShutdown | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Send | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| send | Socket.Datagram.IPv4.Undestined |
| sendByteArray | Socket.Stream.IPv4 |
| sendByteArraySlice | Socket.Stream.IPv4 |
| sendMutableByteArray | Socket.Stream.IPv4 |
| sendMutableByteArraySlice | Socket.Stream.IPv4 |
| Shutdown | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| Socket | |
| 1 (Type/Class) | Socket.Datagram.IPv4.Undestined |
| 2 (Data Constructor) | Socket.Datagram.IPv4.Undestined |
| SocketAddressFamily | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| SocketAddressSize | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| SocketException | |
| 1 (Type/Class) | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| 2 (Data Constructor) | Socket.Datagram.IPv4.Undestined, Socket.Stream.IPv4 |
| withAccepted | Socket.Stream.IPv4 |
| withConnection | Socket.Stream.IPv4 |
| withListener | Socket.Stream.IPv4 |
| withSocket | Socket.Datagram.IPv4.Undestined |