aboutsummaryrefslogtreecommitdiff
path: root/trunk/glibIvy.mli
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 *)