diff options
Diffstat (limited to 'trunk/glibIvy.mli')
| -rw-r--r-- | trunk/glibIvy.mli | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/trunk/glibIvy.mli b/trunk/glibIvy.mli new file mode 100644 index 0000000..3df31b6 --- /dev/null +++ b/trunk/glibIvy.mli @@ -0,0 +1,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 *) |