Module `Ipaddr.V4`Source

A collection of functions for IPv4 addresses.

Sourcetype t

Type of the internet protocol v4 address of a host

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

Converts the low bytes of four int values into an abstract V4.t.

Text string conversion

These manipulate human-readable IPv4 addresses (for example 192.168.1.2).

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

of_string s is the address t represented by the human-readable IPv4 address s. Returns a human-readable error string if parsing failed.

Sourceval of_string_exn : string -> t

of_string_exn s is the address t represented as a human-readable IPv4 address s. Raises Parse_error if s is invalid or truncated.

Sourceval of_string_raw : string -> int ref -> t

of_string_raw s off acts 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. s will a Parse_error exception if it is an invalid or truncated IP address.

Source

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

with_port_of_string ~default s is the address t represented by the human-readble IPv4 address s with a possibly port :<port> (otherwise, we take the default value).

Sourceval to_string : t -> string

to_string ipv4 is the dotted decimal string representation of ipv4, i.e. XXX.XX.X.XXX.

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

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

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

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

Octets conversion

These manipulate IPv4 addresses represented as a sequence of four bytes. (e.g for example 0xc0a80102 will be the representation of the human-readable 192.168.1.2 address.

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

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

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

of_octets_exn ipv4_octets is the IPv4 address represented by ipv4_octets starting from offset off. Raises Parse_error if ipv4_octets is not at least off+4 bytes long. off defaults to 0.

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

write_octets ?off ipv4 b writes the ipv4 as octets to b starting from offset off. b must be at least off+4 long or an error is returned.

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

write_octets_exn ?off ipv4 b writes the ipv4 as octets to b starting from offset off. b must be at least off+4 long or a Parse_error is raised.

Sourceval to_octets : t -> string

to_octets ipv4 returns the 4 bytes representing the ipv4 octets.

Int conversion

Sourceval of_int32 : int32 -> t

of_int32 ipv4_packed is the address represented by ipv4_packed.

Sourceval to_int32 : t -> int32

to_int32 ipv4 is the 32-bit packed encoding of ipv4.

Sourceval of_int16 : (int * int) -> t

of_int16 ipv4_packed is the address represented by ipv4_packed.

Sourceval to_int16 : t -> int * int

to_int16 ipv4 is the 16-bit packed encoding of ipv4.

MAC conversion

Sourceval multicast_to_mac : t -> Macaddr.t

multicast_to_mac ipv4 is the MAC address corresponding to the multicast address ipv4. Described by RFC 1112.

Host conversion

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

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

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

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

Utility functions

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

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

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

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

Common addresses

Sourceval any : t

any is 0.0.0.0.

Sourceval unspecified : t

unspecified is 0.0.0.0.

Sourceval broadcast : t

broadcast is 255.255.255.255.

Sourceval nodes : t

nodes is 224.0.0.1.

Sourceval routers : t

routers is 224.0.0.2.

Sourceval localhost : t

localhost is 127.0.0.1.

Sourcemodule Prefix : sig ... end

A module for manipulating IPv4 network prefixes (CIDR).

Sourceval scope : t -> scope

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

Sourceval is_global : t -> bool

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

Sourceval is_multicast : t -> bool

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

Sourceval is_private : t -> bool

is_private ipv4 is a predicate indicating whether ipv4 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

package ipaddr

Module Ipaddr.V4Source