package containers

  1. Overview
  2. Docs

Module CCListLabels.RefSource

Sourcetype 'a t = 'a list ref
Sourceval push : 'a t -> 'a -> unit

push rlist e adds an element e at the head of rlist.

Sourceval pop : 'a t -> 'a option

pop rlist removes and returns Some e (the first element of rlist) or None if the rlist is empty

Sourceval pop_exn : 'a t -> 'a

pop_exn rlist removes and returns the first element of rlist. Unsafe version of pop.

  • raises Failure

    if the list is empty.

Sourceval create : unit -> 'a t

create () creates a new empty reference list.

Sourceval clear : _ t -> unit

clear rlist removes all elements of rlist.

Sourceval lift : ('a list -> 'b) -> 'a t -> 'b

lift f rlist applies a list function f to the content of rlist.

Sourceval 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.