package charrua-server

  1. Overview
  2. Docs

Module Dhcp_server.LeaseSource

Sourcetype t = {
  1. tm_start : int32;
  2. tm_end : int32;
  3. addr : Ipaddr.V4.t;
  4. client_id : Dhcp_wire.client_id;
}
Sourceval make : Dhcp_wire.client_id -> Ipaddr.V4.t -> duration:int32 -> now:int32 -> t
Sourceval make_fixed : Macaddr.t -> Ipaddr.V4.t -> duration:int32 -> now:int32 -> t
Sourceval timeleft : t -> now:int32 -> int32
Sourceval timeleft_exn : t -> now:int32 -> int32
Sourceval timeleft3 : t -> float -> float -> now:int32 -> int32 * int32 * int32
Sourceval extend : t -> now:int32 -> t
Sourceval expired : t -> now:int32 -> bool
Sourceval to_string : t -> string
Sourcetype database
Sourceval make_db : unit -> database
Sourceval db_to_string : database -> string
Sourceval db_of_string : string -> database
Sourceval db_to_list : database -> t list
Sourceval db_equal : database -> database -> bool
Sourceval garbage_collect : database -> now:int32 -> database
Sourceval remove : t -> database -> database
Sourceval replace : t -> database -> database
Sourceval lease_of_client_id : Dhcp_wire.client_id -> database -> t option
Sourceval lease_of_addr : Ipaddr.V4.t -> database -> Dhcp_wire.client_id option
Sourceval addr_allocated : Ipaddr.V4.t -> database -> bool
Sourceval addr_free : Ipaddr.V4.t -> database -> bool
Sourceval get_usable_addr : Dhcp_wire.client_id -> database -> (Ipaddr.V4.t * Ipaddr.V4.t) option -> Ipaddr.V4.t option