Idris2Doc : Network.Socket.Data

Network.Socket.Data

BACKLOG : Int
Backlog used within listen() call -- number of incoming calls
ByteLength : Type
EAGAIN : Int
Port : Type
ProtocolNumber : Type
Protocol Number.

Generally good enough to just set it to 0.
ResultCode : Type
Socket : Type
The metadata about a socket
Totality: total
Constructor: 
SocketAddress : Type
Network Addresses
Totality: total
Constructors:
IPv4Addr : Int -> Int -> Int -> Int -> SocketAddress
IPv6Addr : SocketAddress
Not implemented (yet)
Hostname : String -> SocketAddress
InvalidAddress : SocketAddress
Used when there's a parse error
SocketDescriptor : Type
SocketDescriptor: Native C Socket Descriptor
SocketError : Type
SocketError: Error thrown by a socket operation
SocketFamily : Type
Socket Families

The ones that people might actually use. We're not going to need US
Government proprietary ones.
Totality: total
Constructors:
AF_UNSPEC : SocketFamily
Unspecified
AF_UNIX : SocketFamily
Unix type sockets
AF_INET : SocketFamily
IP / UDP etc. IPv4
AF_INET6 : SocketFamily
IP / UDP etc. IPv6
SocketType : Type
Socket Types.
Totality: total
Constructors:
NotASocket : SocketType
Not a socket, used in certain operations
Stream : SocketType
TCP
Datagram : SocketType
UDP
RawSocket : SocketType
Raw sockets
ToCode : Type -> Type
Parameters: a
Methods:
toCode : a -> Int

Implementations:
ToCodeSocketFamily
ToCodeSocketType
UDPAddrInfo : Type
Totality: total
Constructor: 
UDPRecvData : Type
Totality: total
Constructor: 
getErrno : HasIOio => ioSocketError
getSocketFamily : Int -> MaybeSocketFamily
nullPtr : HasIOio => AnyPtr -> ioBool
parseIPv4 : String -> SocketAddress
Parses a textual representation of an IPv4 address into a SocketAddress
toCode : ToCodea => a -> Int