package tcpip

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package tcpip

tcpip
- Tcpip
  - Ip
    
    S
  - Stack
    
    V4V6
    
    IP
    
    TCP
    
    UDP
  - Tcp
    
    Keepalive
    
    S
  - Udp
    
    S
tcpip.checksum
- Tcpip_checksum
tcpip.icmpv4
- Icmpv4
  - Make
    
    I
  - S
- Icmpv4_packet
  - Marshal
  - Unmarshal
- Icmpv4_wire
tcpip.icmpv4-socket
- Icmpv4_socket
tcpip.ipv4
- Fragments
  - Cache
  - K
  - V
- Ipv4_packet
  - Marshal
  - Unmarshal
- Ipv4_wire
- Routing
  - Make
    
    A
    
    Log
- Static_ipv4
  - Make
    
    A
    
    E
    
    R
    
    Entropy
tcpip.ipv6
- Ipv6
  - Make
    
    E
    
    N
    
    R
    
    Entropy
    
    T
- Ipv6_wire
  - Icmpv6
  - Llopt
  - Na
  - Ns
  - Opt
  - Opt_prefix
  - Pingv6
  - Ra
  - Redirect
  - Rs
- Ndpv6
tcpip.stack-direct
- Tcpip_stack_direct
  - IPV4V6
    
    Ipv4
    
    Ipv6
  - MakeV4V6
    
    Arpv4
    
    Ethernet
    
    Icmpv4
    
    Ip
    
    Netif
    
    Random
    
    Entropy
    
    Tcp
    
    Time
    
    Udp
  - TCPV4V6
    
    S
    
    IP
    
    TCP
    
    UDP
tcpip.stack-socket
tcpip.tcp
- Tcp
  - Ack
    
    Delayed
    
    T
    
    Immediate
    
    M
  - Flow
    
    Make
    
    IP
    
    R
    
    Entropy
    
    TM
  - Keepalive
    
    Make
    
    T
  - Options
  - Segment
    
    Rx
    
    ACK
    
    T
    
    Tx
    
    Time
  - Sequence
  - State
    
    Make
    
    Time
  - Stats
    
    Gc
  - Tcp_packet
    
    Marshal
    
    Unmarshal
  - Tcp_wire
  - Tcptimer
    
    Make
    
    T
  - User_buffer
    
    Rx
    
    Tx
    
    TXS
    
    Time
  - Window
    
    Make
  - Wire
    
    Make
    
    Ip
tcpip.tcp_socket_options
- Tcp_socket_options
tcpip.tcpv4v6-socket
- Tcp_socket
- Tcpv4v6_socket
tcpip.udp
- Udp
  - Make
    
    IP
    
    R
    
    Entropy
- Udp_packet
  - Marshal
  - Unmarshal
- Udp_wire
tcpip.udpv4v6-socket
- Udpv4v6_socket
  - Log

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module N : Mirage_net.S

module E : Ethernet.S

module R : Mirage_crypto_rng_mirage.S

module T : Mirage_time.S

module Clock : Mirage_clock.MCLOCK

Signature

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

type nonrec error = private [>

| Tcpip.Ip.error

]

The type for IP errors.

val pp_error : error Fmt.t

pp_error is the pretty-printer for errors.

type ipaddr = Ipaddr.V6.t

The type for IP addresses.

val pp_ipaddr : ipaddr Fmt.t

pp_ipaddr is the pretty-printer for IP addresses.

type prefix = Ipaddr.V6.Prefix.t

The type for the IP address and netmask.

val pp_prefix : prefix Fmt.t

pp_prefix is the pretty-printer for the prefix.

type t

The type representing the internal state of the IP layer.

val disconnect : t -> unit Lwt.t

Disconnect from the IP layer. While this might take some time to complete, it can never result in an error.

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

An input continuation used by the parsing functions to pass on an input packet down the stack.

callback ~src ~dst buf will be called with src and dst containing the source and destination IP address respectively, and buf will be a buffer pointing at the start of the IP payload.

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

input ~tcp ~udp ~default ip buf demultiplexes an incoming buffer that contains an IP frame. It examines the protocol header and passes the result onto either the tcp or udp function, or the default function for unknown IP protocols.

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

write t ~fragment ~ttl ~src dst proto ~size headerf payload allocates a buffer, writes the IP header, and calls the headerf function. This may write to the provided buffer of size (default 0). If size + ip header exceeds the maximum transfer unit, an error is returned. The payload is appended. The optional fragment argument defaults to true, in which case multiple IP-fragmented frames are sent if the payload is too big for a single frame. When it is false, the don't fragment bit is set and if the payload and header would exceed the maximum transfer unit, an error is returned.

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

pseudoheader t ~src dst proto len gives a pseudoheader suitable for use in TCP or UDP checksum calculation based on t.

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

src ip ~dst is the source address to be used to send a packet to dst. In the case of IPv4, this will always return the same IP, which is the only one set.

val get_ip : t -> ipaddr list

Get the IP addresses associated with this interface. For IPv4, only one IP address can be set at a time, so the list will always be of length 1 (and may be the default value, [10.0.0.2]).

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

val configured_ips : t -> prefix list

Get the prefix associated with this interface. For IPv4, only one prefix can be set at a time, so the list will always be of length 1, e.g. [10.0.0.2/24].

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

mtu ~dst ip is the Maximum Transmission Unit of the ip i.e. the maximum size of the payload, not including the IP header.

val connect : 
  ?no_init:bool ->
  ?handle_ra:bool ->
  ?cidr:Ipaddr.V6.Prefix.t ->
  ?gateway:Ipaddr.V6.t ->
  N.t ->
  E.t ->
  t Lwt.t