diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 10:15:53 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-04 10:15:53 +0000 |
commit | 61bd8ace6bdb2652f4d51d64e3239a7105f56c26 (patch) | |
tree | e8b957df0957c1b483d41d68973824e280445548 /stdlib/queue.mli | |
parent | 8f9ea2a7b886e3e0a5cfd76b11fe79d083a7f20c (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.mli | 28 |
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. *) |