Plasma GitLab Archive
Projects Blog Knowledge

sig
  type datagram_type = [ `Inet6_udp | `Inet_udp | `Unix_dgram ]
  class type wrapped_datagram_socket =
    object
      method datagram_type : Uq_datagram.datagram_type
      method descriptor : Unix.file_descr
      method recvfrom :
        string ->
        int -> int -> Unix.msg_flag list -> int * Uq_engines.sockspec
      method sendto :
        string ->
        int -> int -> Unix.msg_flag list -> Uq_engines.sockspec -> int
      method shut_down : unit -> unit
      method socket_domain : Unix.socket_domain
      method socket_protocol : int
      method socket_type : Unix.socket_type
    end
  class type datagram_socket_provider =
    object
      method create_datagram_socket :
        Uq_datagram.datagram_type ->
        Unixqueue.event_system ->
        Uq_datagram.wrapped_datagram_socket Uq_engines.engine
    end
  val datagram_provider :
    ?proxy:#Uq_datagram.datagram_socket_provider ->
    Uq_datagram.datagram_type ->
    Unixqueue.event_system ->
    Uq_datagram.wrapped_datagram_socket Uq_engines.engine
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml