tcpip 6.3.0 · OCaml Package

tcpip

type direct_ipv4_input =
  src:Ipaddr.V4.t ->
  dst:Ipaddr.V4.t ->
  Cstruct.t ->
  unit Lwt.t

module type UDPV4_DIRECT =
  Mirage_protocols.UDP
    with type ipaddr = Ipaddr.V4.t
     and type ipinput = direct_ipv4_input

module type TCPV4_DIRECT =
  Mirage_protocols.TCP
    with type ipaddr = Ipaddr.V4.t
     and type ipinput = direct_ipv4_input

module Make
  (Time : Mirage_time.S)
  (Random : Mirage_random.S)
  (Netif : Mirage_net.S)
  (Ethernet : Mirage_protocols.ETHERNET)
  (Arpv4 : Mirage_protocols.ARP)
  (Ipv4 : Mirage_protocols.IP with type ipaddr = Ipaddr.V4.t)
  (Icmpv4 : Mirage_protocols.ICMP with type ipaddr = Ipaddr.V4.t)
  (Udpv4 : UDPV4_DIRECT)
  (Tcpv4 : TCPV4_DIRECT) : 
  sig ... end

type direct_ipv6_input =
  src:Ipaddr.V6.t ->
  dst:Ipaddr.V6.t ->
  Cstruct.t ->
  unit Lwt.t

module type UDPV6_DIRECT =
  Mirage_protocols.UDP
    with type ipaddr = Ipaddr.V6.t
     and type ipinput = direct_ipv6_input

module type TCPV6_DIRECT =
  Mirage_protocols.TCP
    with type ipaddr = Ipaddr.V6.t
     and type ipinput = direct_ipv6_input

module MakeV6
  (Time : Mirage_time.S)
  (Random : Mirage_random.S)
  (Netif : Mirage_net.S)
  (Ethernet : Mirage_protocols.ETHERNET)
  (Ipv6 : Mirage_protocols.IP with type ipaddr = Ipaddr.V6.t)
  (Udpv6 : UDPV6_DIRECT)
  (Tcpv6 : TCPV6_DIRECT) : 
  sig ... end

type direct_ipv4v6_input =
  src:Ipaddr.t ->
  dst:Ipaddr.t ->
  Cstruct.t ->
  unit Lwt.t

module type UDPV4V6_DIRECT =
  Mirage_protocols.UDP
    with type ipaddr = Ipaddr.t
     and type ipinput = direct_ipv4v6_input

module type TCPV4V6_DIRECT =
  Mirage_protocols.TCP
    with type ipaddr = Ipaddr.t
     and type ipinput = direct_ipv4v6_input

module IPV4V6
  (Ipv4 : Mirage_protocols.IPV4)
  (Ipv6 : Mirage_protocols.IPV6) : 
  sig ... end

module MakeV4V6
  (Time : Mirage_time.S)
  (Random : Mirage_random.S)
  (Netif : Mirage_net.S)
  (Ethernet : Mirage_protocols.ETHERNET)
  (Arpv4 : Mirage_protocols.ARP)
  (Ip : Mirage_protocols.IP with type ipaddr = Ipaddr.t)
  (Icmpv4 : Mirage_protocols.ICMP with type ipaddr = Ipaddr.V4.t)
  (Udp : UDPV4V6_DIRECT)
  (Tcp : TCPV4V6_DIRECT) : 
  sig ... end

package tcpip