CCList.Ref
type 'a t = 'a list ref
val push : 'a t -> 'a -> unit
push rlist e
adds an element e
at the head of rlist
.
val pop : 'a t -> 'a option
pop rlist
removes and returns Some e
(the first element of rlist
) or None
if the rlist
is empty
val pop_exn : 'a t -> 'a
pop_exn rlist
removes and returns the first element of rlist
. Unsafe version of pop
.
val create : unit -> 'a t
create ()
creates a new empty reference list.
val clear : _ t -> unit
clear rlist
removes all elements of rlist
.
val lift : ('a list -> 'b) -> 'a t -> 'b
lift f rlist
applies a list function f
to the content of rlist
.
val push_list : 'a t -> 'a list -> unit
push_list rlist l
adds elements of the list l
at the beginning of the list ref rlist
. Elements at the end of the list l
will be at the beginning of the list ref rlist
.