package mnet-dhcp

  1. Overview
  2. Docs
A DHCP client integration for the mnet TCP/IP stack

Install 

dune-project
 Dependency

github.com Readme Changelog MIT License Edit opam file Versions (4)

Authors

  1. R
    Robur <team@robur.coop>

Maintainers

  1. R
    Robur <team@robur.coop>

Sources

mnet-0.0.7.tbz
sha256=efcef0d0452c6b6b5d5a618bff47250fd873d4cd317d0a51ee349c4a5cb84d9a
sha512=5c0d2b5a1967c592138525f6f706457b45833f4f86a98c7cede0128edce4104e227361025bacc4c888bf73499c8438df95d51f990f93515cd4a2ce5f89e01caa

doc/mnet-dhcp/Mnet_dhcp/Or_static/index.html

Module Mnet_dhcp.Or_staticSource

Sourcetype _ kind =
  1. | Dhcp : {
    1. timeout : int option;
    2. config : config;
    } -> (t * Mnet.TCP.state * Mnet.UDP.state * lease) kind
    (*

    Dhcp { timeout; config } is a witness for a stack.

    *)
  2. | Static : {
    1. ipv4addr : Ipaddr.V4.Prefix.t;
    2. gateway : Ipaddr.V4.t option;
    } -> (Mnet.stack * Mnet.TCP.state * Mnet.UDP.state) kind
    (*

    Static { ipv4addr; gateway } is a witness for a Mnet.stack with ipv4 configuration

    *)

'dhcp_or_static w is a type witness for either a static Mnet.stack or a DHCP stack.

Sourcetype stack =
  1. | Stack : _ kind -> stack
    (*

    Any witness is an existential holding a witness

    *)
Sourceval dhcp : ?timeout:int -> config -> (t * Mnet.TCP.state * Mnet.UDP.state * lease) kind
Sourceval stack : ?ipv6:IPv6.mode -> ?max:int option -> name:string -> 'dyn kind -> 'dyn Mkernel.arg

stack ?ipv6 ?max ~name witness is either a static Mnet.stack or a DHCP stack.

Sourceval kill : 'dyn kind -> 'dyn -> unit

kill witness dev calls either Mnet.kill or kill.

Sourceval tcp : 'dyn kind -> 'dyn -> Mnet.TCP.state
Sourceval udp : 'dyn kind -> 'dyn -> Mnet.UDP.state
Sourceval lease : 'dyn kind -> 'dyn -> lease option