From 22c1e6dbe7cf74936e5ca29eadeff81312ccc506 Mon Sep 17 00:00:00 2001
From: buisson
Date: Fri, 29 Apr 2005 09:35:43 +0000
Subject: Initial revision

---
 glibIvy.mli | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 glibIvy.mli

(limited to 'glibIvy.mli')

diff --git a/glibIvy.mli b/glibIvy.mli
new file mode 100644
index 0000000..3df31b6
--- /dev/null
+++ b/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 *)
-- 
cgit v1.1