System.UV.Data.DNS

Definitions

data SockFamily : Type

  Socket Families
  
  The ones that people might actually use. We're not going to need US
  Government proprietary ones.

Totality: total
Visibility: public export
Constructors:

AF_UNSPEC : SockFamily

  Unspecified

AF_UNIX : SockFamily

  Unix type sockets

AF_INET : SockFamily

  IP / UDP etc. IPv4

AF_INET6 : SockFamily

   IP / UDP etc. IPv6

Hints:

Eq SockFamily

Eq SockFamily

Show SockFamily

Show SockFamily

data SockType : Type

  Socket Types.

Totality: total
Visibility: public export
Constructors:

Any : SockType

  Any socket type

Stream : SockType

  TCP

Datagram : SockType

  UDP

Raw : SockType

  Raw sockets

Hints:

Eq SockType

Eq SockType

Show SockType

Show SockType

data Protocol : Type

Totality: total
Visibility: public export
Constructors:

IPPROTO_IP : Protocol

IPPROTO_IPV6 : Protocol

IPPROTO_ICMP : Protocol

IPPROTO_RAW : Protocol

IPPROTO_TCP : Protocol

IPPROTO_UDP : Protocol

Hints:

Eq Protocol

Eq Protocol

Show Protocol

Show Protocol

familyCode : SockFamily -> Bits32

Totality: total
Visibility: public export

sockCode : SockType -> Bits32

Totality: total
Visibility: public export

protocolCode : Protocol -> Bits32

Totality: total
Visibility: public export