package ipaddr

  1. Overview
  2. Docs

Module Ipaddr.V6Source

A collection of functions for IPv6 addresses.

Sourcetype t

Type of the internet protocol v6 address of a host

Sourceval make : int -> int -> int -> int -> int -> int -> int -> int -> t

Converts the low bytes of eight int values into an abstract V6.t.

Text string conversion

Sourceval of_string : string -> (t, [> `Msg of string ]) result

of_string ipv6_string is the address represented by the human-readable IPv6 address ipv6_string. Returns a human-readable error string if parsing failed.

Sourceval of_string_exn : string -> t

of_string_exn ipv6_string is the address represented by the human-readable IPv6 address ipv6_string. Raises Parse_error if ipv6_string is invalid or truncated.

Sourceval with_port_of_string : default:int -> string -> (t * int, [> `Msg of string ]) result

with_port_of_string ~default ipv6_string is the address represented by ipv6_string with a possibly :<port> (otherwise, we take the default value). Due to the ':' separator, the user should expand ipv6_string to let us to consider the last :<port> as a port. In other words:

  • ::1:8080 returns the IPv6 ::1:8080 with the default port
  • 0:0:0:0:0:0:0:1:8080 returns ::1 with the port 8080.
Sourceval of_string_raw : string -> int ref -> t

Same as of_string_exn but takes as an extra argument the offset into the string for reading. off will be mutated to an unspecified value during the function call. Raises Parse_error if it is an invalid or truncated IP address.

Sourceval to_string : t -> string

to_string ipv6 is the string representation of ipv6, i.e. XXX:XX:X::XXX:XX.

Sourceval to_buffer : Buffer.t -> t -> unit

to_buffer buf ipv6 writes the string representation of ipv6 into the buffer buf.

Sourceval pp : Format.formatter -> t -> unit

pp f ipv6 outputs a human-readable representation of ipv6 to the formatter f.

Octets conversion

Sourceval of_octets : ?off:int -> string -> (t, [> `Msg of string ]) result

of_octets ?off s is the IPv6 address t represented by the octets s starting from offset off within the string. Returns a human-readable error string if s is not at least off+16 bytes long. off defaults to 0.

Sourceval of_octets_exn : ?off:int -> string -> t

of_octets_exn ?off ipv6_octets is the IPv6 address represented by ipv6_octets, starting from offset off. Raises Parse_error if ipv6_octets is not at least off+16 bytes long. off defaults to 0.

Sourceval write_octets_exn : ?off:int -> t -> bytes -> unit

write_octets_exn ?off ipv6 b writes 16 bytes that encode ipv6 into b starting from offset off within b. b must be at least off+16 bytes long or a Parse_error exception will be raised.

Sourceval write_octets : ?off:int -> t -> bytes -> (unit, [> `Msg of string ]) result

write_octets ?off ipv6 b writes 16 bytes that encode ipv6 into b starting from offset off within b. b must be at least off+16 bytes long or an error is returned.

Sourceval to_octets : t -> string

to_octets ipv6 returns the 16 bytes representing the ipv6 octets.

Int conversion

Sourceval of_int64 : (int64 * int64) -> t

of_int64 (ho, lo) is the IPv6 address represented by two int64.

Sourceval to_int64 : t -> int64 * int64

to_int64 ipv6 is the 128-bit packed encoding of ipv6.

Sourceval of_int32 : (int32 * int32 * int32 * int32) -> t

of_int32 (a, b, c, d) is the IPv6 address represented by four int32.

Sourceval to_int32 : t -> int32 * int32 * int32 * int32

to_int32 ipv6 is the 128-bit packed encoding of ipv6.

Sourceval of_int16 : (int * int * int * int * int * int * int * int) -> t

of_int16 (a, b, c, d, e, f, g, h) is the IPv6 address represented by eight 16-bit int.

Sourceval to_int16 : t -> int * int * int * int * int * int * int * int

to_int16 ipv6 is the 128-bit packed encoding of ipv6.

MAC conversion

Sourceval multicast_to_mac : t -> Macaddr.t

multicast_to_mac ipv6 is the MAC address corresponding to the multicast address ipv6. Described by RFC 2464.

Host conversion

Sourceval to_domain_name : t -> [ `host ] Domain_name.t

to_domain_name ipv6 is the domain name label list for reverse lookups of ipv6. This includes the .ip6.arpa suffix.

Sourceval of_domain_name : 'a Domain_name.t -> t option

of_domain_name name is Some t if the name has an .ip6.arpa suffix, and an IPv6 address prefixed.

Utility functions

Sourceval succ : t -> (t, [> `Msg of string ]) result

succ ipv6 is ip address next to ipv6. Returns a human-readable error string if it's already the highest address.

Sourceval pred : t -> (t, [> `Msg of string ]) result

pred ipv6 is ip address before ipv6. Returns a human-readable error string if it's already the lowest address.

Common addresses

Sourceval unspecified : t

unspecified is ::.

Sourceval localhost : t

localhost is ::1.

Sourceval interface_nodes : t

interface_nodes is ff01::01.

link_nodes is ff02::01.

Sourceval interface_routers : t

interface_routers is ff01::02.

link_routers is ff02::02.

Sourceval site_routers : t

site_routers is ff05::02.

Sourcemodule Prefix : sig ... end

A module for manipulating IPv6 network prefixes (CIDR).

Sourceval scope : t -> scope

scope ipv6 is the classification of ipv6 by the scope hierarchy.

link_address_of_mac mac is the link-local address for an Ethernet interface derived by the IEEE MAC -> EUI-64 map with the Universal/Local bit complemented for IPv6.

Sourceval is_global : t -> bool

is_global ipv6 is a predicate indicating whether ipv6 globally addresses a node.

Sourceval is_multicast : t -> bool

is_multicast ipv6 is a predicate indicating whether ipv6 is a multicast address.

Sourceval is_private : t -> bool

is_private ipv6 is a predicate indicating whether ipv6 privately addresses a node.

include Map.OrderedType with type t := t
Sourceval compare : t -> t -> int

A total ordering function over the keys. This is a two-argument function f such that f e1 e2 is zero if the keys e1 and e2 are equal, f e1 e2 is strictly negative if e1 is smaller than e2, and f e1 e2 is strictly positive if e1 is greater than e2. Example: a suitable ordering function is the generic structural comparison function Stdlib.compare.

Sourcemodule Set : Set.S with type elt := t
Sourcemodule Map : Map.S with type key := t