aboutsummaryrefslogtreecommitdiff
path: root/trunk/ivyLoop.mli
diff options
context:
space:
mode:
authorhattenberger2013-03-27 13:17:19 +0000
committerhattenberger2013-03-27 13:17:19 +0000
commita17272283c803e13258e5dc6b19533c672ceee18 (patch)
tree0fa7737e21fe1147c860a84b18676cd99a80fdb1 /trunk/ivyLoop.mli
parent003d66dc1fabc063372e4f03265935d0ccaefd78 (diff)
downloadivy-ocaml-a17272283c803e13258e5dc6b19533c672ceee18.zip
ivy-ocaml-a17272283c803e13258e5dc6b19533c672ceee18.tar.gz
ivy-ocaml-a17272283c803e13258e5dc6b19533c672ceee18.tar.bz2
ivy-ocaml-a17272283c803e13258e5dc6b19533c672ceee18.tar.xz
some fixes in ivy-ocaml tag 1.2
Diffstat (limited to 'trunk/ivyLoop.mli')
-rw-r--r--trunk/ivyLoop.mli25
1 files changed, 25 insertions, 0 deletions
diff --git a/trunk/ivyLoop.mli b/trunk/ivyLoop.mli
new file mode 100644
index 0000000..5c84843
--- /dev/null
+++ b/trunk/ivyLoop.mli
@@ -0,0 +1,25 @@
+val main : unit -> unit
+(** Starts the loop which handles asynchronous communications. The standard
+version does not return until IVY is explictly stopped *)
+
+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 *)
+
+type timer
+(** Timer identifier *)
+
+val timer : int -> int -> (timer -> unit) -> timer
+(** [timer n ms cb] sets a timer which will call [n] times the callback [cb]
+with a period of [ms] milliseconds *)
+
+val remove_timer : timer -> unit
+(** [remove_timer t] stops the timer [t] *)
+