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
Parses a textual representation of an IPv4 address into a SocketAddress
Socket Types.
Not a socket, used in certain operations
TCP
UDP
Raw sockets
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
SocketError: Error thrown by a socket operation
SocketDescriptor: Native C Socket Descriptor
Network Addresses
Not implemented (yet)
Used when there's a parse error
The metadata about a socket
Protocol Number.
Generally good enough to just set it to 0.
Backlog used within listen() call -- number of incoming calls