ipaddr

A library for manipulation of IP (and MAC) address representations
Overview Documentation
IN THIS PACKAGE
Module Ipaddr
exception Parse_error of string * string

Parse_error (err,packet) is raised when parsing of the IP address syntax fails. err contains a human-readable error and packet is the original octet list that failed to parse.

type scope =
| Point
| Interface
| Admin
| Site
| Organization
| Global

Type of ordered address scope classifications

val string_of_scope : scope -> string

string_of_scope scope returns a human-readable representation of scope.

val scope_of_string : string -> ( scope, [> `Msg of string ] ) result

scope_of_string s returns a scope from a string representation of s. Valid string values for s can be obtained via string_of_scope.

val pp_scope : Format.formatter -> scope -> unit

pp_scope fmt scope outputs a human-readable representation of scope to the fmt formatter.

module V4 : sig ... end

A collection of functions for IPv4 addresses.

module V6 : sig ... end

A collection of functions for IPv6 addresses.

type ('v4, 'v6) v4v6 =
| V4 of 'v4
| V6 of 'v6

Type of either an IPv4 value or an IPv6 value

type t = ( V4.t, V6.t ) v4v6

Type of any IP address

val to_string : t -> string

to_string addr is the text string representation of addr.

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

to_buffer buf addr writes the text string representation of addr into buf.

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

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

val of_string_exn : string -> t

of_string_exn s parses s as an IPv4 or IPv6 address. Raises Parse_error if s is not a valid string representation of an IP address.

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

Same as of_string_exn but returns a result type instead of raising an exception.

val 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.

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

with_port_of_string ~default s parses s as an IPv4 or IPv6 address with a possible port seperated by a ':' (if not, we use default). For IPv6, due to the ':' separator, only a full expansion of the IPv6 plus the port lets us to interpret the last :<int> as the 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.
val v4_of_v6 : V6.t -> V4.t option

v4_of_v6 ipv6 is the IPv4 representation of the IPv6 address ipv6. If ipv6 is not an IPv4-mapped address, None is returned.

val to_v4 : t -> V4.t option

to_v4 addr is the IPv4 representation of addr.

val v6_of_v4 : V4.t -> V6.t

v6_of_v4 ipv4 is the IPv6 representation of the IPv4 address ipv4.

val to_v6 : t -> V6.t

to_v6 addr is the IPv6 representation of addr.

val scope : t -> scope

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

val is_global : t -> bool

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

val is_multicast : t -> bool

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

val is_private : t -> bool

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

val multicast_to_mac : t -> Macaddr.t

multicast_to_mac addr is the MAC address corresponding to the multicast address addr. See V4.multicast_to_mac and V6.multicast_to_mac.

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

to_domain_name addr is the domain name label list for reverse lookups of addr. This includes the .in-addr.arpa or .ip6.arpa suffix.

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

of_domain_name name is Some t if the name has an .in-addr.arpa or ip6.arpa suffix, and an IP address prefixed.

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

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

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

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

module Prefix : sig ... end
include Map.OrderedType with type t := t
val 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.

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