Low-Level C Sockets bindings for Idris. Used by higher-level, cleverer things.
Types used by Network.Socket.Raw and Network.Socket.
Original (C) SimonJF, MIT Licensed, 2014
Modified (C) The Idris Community, 2015, 2016
Backlog used within listen() call -- number of incoming calls
Protocol Number.
Generally good enough to just set it to 0.
The metadata about a socket
Network Addresses
Not implemented (yet)
Used when there's a parse error
SocketDescriptor: Native C Socket Descriptor
SocketError: Error thrown by a socket operation
Socket Families
The ones that people might actually use. We're not going to need US
Government proprietary ones.
Unspecified
IP / UDP etc. IPv4
IP / UDP etc. IPv6
Socket Types.
Not a socket, used in certain operations
TCP
UDP
Raw sockets
Parses a textual representation of an IPv4 address into a SocketAddress