Plasma GitLab Archive
Projects Blog Knowledge

object
  method add_abort_action :
    Unixqueue_util.group -> (Unixqueue_util.group -> exn -> unit) -> unit
  method add_close_action :
    Unixqueue_util.group ->
    Unix.file_descr * (Unix.file_descr -> unit) -> unit
  method add_event : Unixqueue_util.event -> unit
  method add_handler :
    Unixqueue_util.group ->
    (Unixqueue.event_system ->
     Unixqueue_util.event Equeue.t -> Unixqueue_util.event -> unit) ->
    unit
  method add_resource :
    Unixqueue_util.group -> Unixqueue_util.operation * float -> unit
  method add_weak_resource :
    Unixqueue_util.group -> Unixqueue_util.operation * float -> unit
  method clear : Unixqueue_util.group -> unit
  method exists_resource : Unixqueue_util.operation -> bool
  method is_running : bool
  method new_group : unit -> Unixqueue_util.group
  method new_wait_id : unit -> Unixqueue_util.wait_id
  method private queue_events :
    Unix.file_descr list * Unix.file_descr list * Unix.file_descr list ->
    bool
  method remove_resource :
    Unixqueue_util.group -> Unixqueue_util.operation -> unit
  method run : unit -> unit
  method private setup :
    unit ->
    Unix.file_descr list * Unix.file_descr list * Unix.file_descr list *
    float
  method private source : Unixqueue_util.event Equeue.t -> unit
  method when_blocking : (unit -> unit) -> unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml