blob: 3df31b6bcb9a0cef4e7061b3d1733877ee0ed47e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
val main : unit -> unit
(** Glib main loop *)
type channel
(** Channel handled by the main loop *)
val set_up_channel : Unix.file_descr -> (unit -> unit) -> (channel -> unit) -> channel
(** [set_up_channel fd delete read] gives the opportunity to the main loop
to call [read] when data is available on [fd] and [delete] when [fd] is
closed *)
val close_channel : channel -> unit
(** Stops the handling of a channel by the main loop *)
|
