module Queue: Extlib.ExtQueue.Queue
First-in first-out queues.
This module implements queues (FIFOs), with in-place modification.
Author(s): Xavier Leroy (Base module), David Teller
type 'a
t
'a
.include Queue.Enumerable
exception Empty
val create : unit -> 'a t
val add : 'a -> 'a t -> unit
add x q
adds the element x
at the end of the queue q
.val push : 'a -> 'a t -> unit
push
is a synonym for add
.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 pop : 'a t -> 'a
pop
is a synonym for take
.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 top : 'a t -> 'a
top
is a synonym for peek
.val clear : 'a t -> unit
val copy : 'a t -> 'a t
val is_empty : 'a t -> bool
true
if the given queue is empty, false
otherwise.val length : 'a t -> int
val iter : ('a -> unit) -> '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.val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
fold f accu q
is equivalent to List.fold_left f accu l
,
where l
is the list of q
's elements. The queue remains
unchanged.val transfer : 'a t -> 'a t -> unit
transfer q1 q2
adds all of q1
's elements at the end of
the queue q2
, then clears q1
. It is equivalent to the
sequence iter (fun x -> add x q2) q1; clear q1
, but runs
in constant time.val enum : 'a t -> 'a Enum.t
enum q
returns a destructive enumeration of the elements of queue
q
, from the least recently entered to the most recently entered.
Reading the enumeration will progressively empty q
.val of_enum : 'a Enum.t -> 'a t
of_enum e
returns a new queue containing all the elements of e
.
This is equivalent to calling push
with the first element of the
enumeration, then with the second, etc.val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t
val print : ?first:string ->
?last:string ->
?sep:string ->
('a Extlib.InnerIO.output -> 'b -> unit) ->
'a Extlib.InnerIO.output -> 'b t -> unit