aboutsummaryrefslogtreecommitdiff
path: root/tkIvy.mli
diff options
context:
space:
mode:
authorbuisson2005-04-29 09:35:43 +0000
committerbuisson2005-04-29 09:35:43 +0000
commit22c1e6dbe7cf74936e5ca29eadeff81312ccc506 (patch)
tree3304815b956eb5c76674fa2763d3da8a2e73394f /tkIvy.mli
parent23abb4b87c7e40ed259dd02f653516f60e55ade4 (diff)
downloadivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.zip
ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.gz
ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.bz2
ivy-ocaml-22c1e6dbe7cf74936e5ca29eadeff81312ccc506.tar.xz
Initial revision
Diffstat (limited to 'tkIvy.mli')
-rw-r--r--tkIvy.mli13
1 files changed, 13 insertions, 0 deletions
diff --git a/tkIvy.mli b/tkIvy.mli
new file mode 100644
index 0000000..9d56a4d
--- /dev/null
+++ b/tkIvy.mli
@@ -0,0 +1,13 @@
+val main : unit -> unit
+(** Tk 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 *)