core-and-more

Includes core, and some more useful extensions
package core-and-more
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library core-and-more
Module CoreAndMore . PriorityQueueOf

Parameters

Signature

module QueueHeap : sig ... end
type t = QueueHeap.t
val hash_fold_t : Base.Hash.state -> t -> Base.Hash.state
val hash : t -> Base.Hash.hash_value
type element = D.t
val empty : QueueHeap.t
val push : t -> element -> t
val push_all : t -> element list -> t
val from_list : element list -> t
val singleton : element -> t
val pop : t -> (D.t * D.Priority.t * t) option
val pop_exn : t -> D.t * D.Priority.t * t
val peek : t -> D.t option
val peek_exn : t -> D.t
val delete : t -> t option
val delete_exn : t -> t
val all_remaining : t -> (D.t * D.Priority.t) list
val pop_until_min_pri_greater_than : t -> D.Priority.t -> (element * D.Priority.t) list * t
val pop_until_new_priority : t -> (D.Priority.t * element list * t) option
val length : t -> int
val compare : QueueHeap.t -> QueueHeap.t -> int