summaryrefslogtreecommitdiffstats
path: root/stdlib/queue.mli
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1995-05-04 10:15:53 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1995-05-04 10:15:53 +0000
commit61bd8ace6bdb2652f4d51d64e3239a7105f56c26 (patch)
treee8b957df0957c1b483d41d68973824e280445548 /stdlib/queue.mli
parent8f9ea2a7b886e3e0a5cfd76b11fe79d083a7f20c (diff)
Passage a la version bootstrappee (franchissement du Rubicon)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/queue.mli')
-rw-r--r--stdlib/queue.mli28
1 files changed, 28 insertions, 0 deletions
diff --git a/stdlib/queue.mli b/stdlib/queue.mli
new file mode 100644
index 000000000..297e81afa
--- /dev/null
+++ b/stdlib/queue.mli
@@ -0,0 +1,28 @@
+(* Queues *)
+
+(* This module implements queues (FIFOs), with in-place modification. *)
+
+type 'a t
+ (* The type of queues containing elements of type ['a]. *)
+
+exception Empty
+ (* Raised when [take] is applied to an empty queue. *)
+
+val new: unit -> 'a t
+ (* Return a new queue, initially empty. *)
+val add: 'a -> 'a t -> unit
+ (* [add x q] adds the element [x] at the end of the queue [q]. *)
+val take: 'a t -> 'a
+ (* [take q] removes and returns the first element in queue [q],
+ or raises [Empty] if the queue is empty. *)
+val peek: 'a t -> 'a
+ (* [peek q] returns the first element in queue [q], without removing
+ it from the queue, or raises [Empty] if the queue is empty. *)
+val clear : 'a t -> unit
+ (* Discard all elements from a queue. *)
+val length: 'a t -> int
+ (* Return the number of elements in a queue. *)
+val iter: ('a -> 'b) -> 'a t -> unit
+ (* [iter f q] applies [f] in turn to all elements of [q], from the
+ least recently entered to the most recently entered.
+ The queue itself is unchanged. *)