Module Ke.FkeSource

include Sigs.F
Sourcetype 'a t

The type of queues containing elements of type 'a.

Sourceexception Empty

Raised when peek_exn or pop_exn is applied to an empty queue.

Sourceval empty : 'a t

An empty queue.

Sourceval is_empty : 'a t -> bool

Return true if the given queue is empty, false otherwise.

Sourceval length : 'a t -> int

Number of elements in the queue.

Sourceval push : 'a t -> 'a -> 'a t

Push element at the end of the queue.

Sourceval cons : 'a t -> 'a -> 'a t

Push element at the front of the queue.

Sourceval peek : 'a t -> 'a option

peek q returns the first element in the queue q, without removing it from the queue. If q is empty, it returns None.

Sourceval peek_exn : 'a t -> 'a

Same as peek but it raises an exception if q is empty.

Sourceval pop : 'a t -> ('a * 'a t) option

Get and remove the first element. If q is empty, it returns None.

Sourceval pop_exn : 'a t -> 'a * 'a t

Same as pop but it raises an exception if q is empty.

Sourceval tail : 'a t -> ('a t * 'a) option

Get and remove the last element. If q is empty, it returns None.

Sourceval tail_exn : 'a t -> 'a t * 'a

Same as tail but it raises an exception if q is empty.

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

Sourceval rev_iter : ('a -> unit) -> 'a t -> unit

rev_iter f q applies f in turn to all elements of q, from the most recently entered to the least recently entered. The queue itself is unchanged.

Sourceval fold : ('acc -> 'x -> 'acc) -> 'acc -> 'x t -> 'acc

fold f a q is equivalent to List.fold_left f a l, where l is the list of q's elements. The queue remains unchanged.

Sourceval pp : ?sep:unit Fmt.t -> 'a Fmt.t -> 'a t Fmt.t

Pretty-printer of t.

Sourceval dump : 'a Fmt.t -> 'a t Fmt.t

Human-readable pretty-printer of t.