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=372df86e2a41e86c959c28a3392eb2ffd89754d1e5af2aaa09537654af57b1da

sha512=7d87d44065612095fa0342a9c95a2c4cfdf73d5af47c6fce24262cf2870c36dee70ebecd056113aa9c1643256bc032c08530f5083061c44602c0da5a132c2d6c

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