Make (charrua-client.Dhcp

Parameters

module Network : Mirage_net.S

module E : Ethernet.S

module Arp : Arp.S

Signature

include Tcpip.Ip.S
  with type ipaddr = Ipaddr.V4.t
   and type prefix = Ipaddr.V4.Prefix.t

type nonrec error = private [>

| Tcpip__Ip.error

]

val pp_error : error Fmt.t

type ipaddr = Ipaddr.V4.t

val pp_ipaddr : ipaddr Fmt.t

type prefix = Ipaddr.V4.Prefix.t

val pp_prefix : prefix Fmt.t

type t

val disconnect : t -> unit Lwt.t

type callback = src:ipaddr -> dst:ipaddr -> Cstruct.t -> unit Lwt.t

val input : 
  t ->
  tcp:callback ->
  udp:callback ->
  default:(proto:int -> callback) ->
  Cstruct.t ->
  unit Lwt.t

val write : 
  t ->
  ?fragment:bool ->
  ?ttl:int ->
  ?src:ipaddr ->
  ipaddr ->
  Tcpip__Ip.proto ->
  ?size:int ->
  (Cstruct.t -> int) ->
  Cstruct.t list ->
  (unit, error) Stdlib.result Lwt.t

val pseudoheader : 
  t ->
  ?src:ipaddr ->
  ipaddr ->
  Tcpip__Ip.proto ->
  int ->
  Cstruct.t

val src : t -> dst:ipaddr -> ipaddr

val get_ip : t -> ipaddr list

deprecated this function will be removed soon, use [configured_ips] instead.

val configured_ips : t -> prefix list

val mtu : t -> dst:ipaddr -> int

val connect : 
  ?no_init:bool ->
  ?cidr:Ipaddr.V4.Prefix.t ->
  ?gateway:Ipaddr.V4.t ->
  ?options:Dhcp_wire.dhcp_option list ->
  ?requests:Dhcp_wire.option_code list ->
  Network.t ->
  E.t ->
  Arp.t ->
  t Lwt.t

Connect to an ipv4 device using information from a DHCP lease. If cidr is provided, no DHCP requests will be done, but instead a static IPv4 (Tcpip.Ip.S) stack will be used. If no_init is provided and true, nothing will be initialized (for dual IPv4 and IPv6 stack where only the IPv6 part should be used).