Plasma GitLab Archive
Projects Blog Knowledge

Module Netsockaddr

module Netsockaddr: sig .. end
Parsing of socket addresses

type socksymbol = [ `Inet of Unix.inet_addr * int
| `Inet_byname of string * int
| `Unix of string ]
Symbolic socket names:

  • `Inet(ip,port): An internet socket with IP ip and the given port
  • `Inet_byname(n,port): An internet socket with the IP resulting from the resolution of the name n, and with the given port
  • `Unix p: A Unix Domain socket with the path p
Use Uq_resolver.sockaddr_of_socksymbol to convert to a Unix.sockaddr (and resolve names).
val socksymbol_of_string : string -> socksymbol
Parses designations of the forms:
  • <IPv4>:port
  • [<IPv4_or_IPv6]:port
  • <name>:port
  • /path
  • ./path
Raises Failure on parse error.
val string_of_socksymbol : socksymbol -> string
The reverse function
val norm_socksymbol : socksymbol -> socksymbol
Normalizes numeric IP addresses: if the address is an IPv4 address mapped to the IPv6 address space, the real IPv4 address is returned. This also works for numeric addresses in string form, whose writing is also normalized.

E.g.

  • norm_socksymbol (`Inet_by_name("::ffff:127.0.0.1", 80)) returns `Inet_by_name("127.0.0.1",80)
  • norm_socksymbol (`Inet_by_name("0::1",80)) returns `Inet_by_name("::1", 80)

val ipv6_socksymbol : socksymbol -> socksymbol
IPv6-ification of numeric IP addresses: IPv4 addresses are mapped to the IPv6 address space. This also works for numeric addresses in string form, whose writing is also normalized.

E.g.

  • norm_socksymbol (`Inet_by_name("127.0.0.1", 80)) returns `Inet_by_name("::ffff:127.0.0.1",80)
  • norm_socksymbol (`Inet_by_name("0::1",80)) returns `Inet_by_name("::1", 80)

This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml