package containers-data

You can search for identifiers within the package.

in-package search v0.2.0

A set of advanced datatypes for containers

Install

sha256=1e7992cb2e59c0d2290d1b6c3a31531b3f310be6170b8ef3dde17ccd876b5b79

sha512=bb124e69ad0690f88393e18eee499be07761e767593558867aab32f643466b43258ced503170b154ca3b56dbd68987abd6d9438cf473707ec9866511589a5b84

Sourcetype elt

Type of elements

Sourcetype t

Heap of elt, whose priority is increased or decreased incrementally (see decrease for instance)

Sourceval create : unit -> t

Create a heap

Sourceval decrease : t -> elt -> unit

decrease h x decreases the value associated to x within h

Sourceval increase : t -> elt -> unit

increase h x increases the value associated to x within h

Sourceval in_heap : elt -> bool

Sourceval size : t -> int

Number of integers within the heap

Sourceval is_empty : t -> bool

Sourceval clear : t -> unit

Clear the content of the heap

Sourceval insert : t -> elt -> unit

Insert a new element into the heap

Sourceval remove_min : t -> elt

Remove and return the integer that has the lowest value from the heap

Sourceval filter : t -> (elt -> bool) -> unit

Filter out values that don't satisfy the predicate