Module `Rke.Weighted`Source

Sourcetype ('a, 'b) t

The type of queues containing elements of type 'a.

Sourceexception Full

Raised when push_exn or N.push_exn is applied to an empty queue.

Sourceexception Empty

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

Sourceval is_empty : ('a, 'b) t -> bool

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

Sourceval create : ?capacity:int -> ('a, 'b) Bigarray.kind -> ('a, 'b) t * int

Return a new queue, initially empty with the real capacity of it.

Sourceval length : ('a, 'b) t -> int

Number of elements in the queue.

Sourceval available : ('a, 'b) t -> int

Free cells availables on the queue.

Sourceval push_exn : ('a, 'b) t -> 'a -> unit

push_exn q x adds the elements x at the end of the queue q. It raises Full if the given queue q is full.

Sourceval push : ('a, 'b) t -> 'a -> unit option

push q x is the same as push_exn but returns None if it fails.

Sourceval pop : ('a, 'b) t -> 'a option

pop q removes and returns the first element in the given queue q. If q is empty, it returns None.

Sourceval pop_exn : ('a, 'b) t -> 'a

pop_exn q is the same as pop but it raises an Empty if the given queue is empty.

Sourceval peek : ('a, 'b) t -> 'a option

peek q returns the first element in the given queue q. If q is empty, it returns None.

Sourceval peek_exn : ('a, 'b) t -> 'a

peek_exn q returns the first element in the given queue q. If q is empty, it raises Empty.

Sourceval cons_exn : ('a, 'b) t -> 'a -> unit

cons_exn q x adds element x at the front of the given queue q. It raises Full if the queue is full.

Sourceval cons : ('a, 'b) t -> 'a -> unit option

cons q x adds element x at the front of the given queue q. It returns None if it fails.

Sourceval copy : ('a, 'b) t -> ('a, 'b) t

Return a copy of the given queue.

Sourceval clear : ('a, 'b) t -> unit

Discard all elements from a queue.

Sourceval compress : ('a, 'b) t -> unit

Compress queue, read cursor will be setted to 0 and data will be move to. This operation allows to provide much more space for a push/N.push operation - but it can not ensure enough free space.

Sourcemodule N : sig ... end

Sourceval iter : ('a -> unit) -> ('a, 'b) 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, 'b) t -> unit

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, 'b) 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, 'b) t Fmt.t

Pretty-printer of t.

Sourceval dump : 'a Fmt.t -> ('a, 'b) t Fmt.t

Human-readable pretty-printer of t.

Source

val unsafe_bigarray : 
  ('a, 'b) t ->
  ('a, 'b, Bigarray.c_layout) Bigarray.Array1.t

/ *

Sourceval from : ('a, 'b, Bigarray.c_layout) Bigarray.Array1.t -> ('a, 'b) t

package ke

Module Rke.WeightedSource

Module `Rke.Weighted`Source