package union-find-lattice

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Persistent union-find data-structures with lattice operations (order, meet, join)

Install

dune-project

Dependency

codex.top Edit opam file Versions (1)

Authors

Maintainers

Sources

union-find-lattice-0.1.0.tbz

sha256=ecaf1444cd0e9d21174d854da0d2eea56d685180cc1e098016e2c66bc809f8ab

sha512=f12612357504879f78094ffa623bf44ec87c7f7adeeea1809c0b74fdf41e51a88958634d51d3f8bd8881c577a635ef81beaff91d0361195f9a65a5724ce096a9

doc/union-find-lattice.utils/Utils/HetHashtbl/MakeSeeded/index.html

Module `HetHashtbl.MakeSeeded`Source

Parameters

module Key : HETEROGENEOUS_SEEDED_HASHED_TYPE

module Value : PatriciaTree.HETEROGENEOUS_VALUE

Signature

Sourcetype 'a t

Sourcetype 'key key = 'key Key.t

Sourcetype ('key, 'a) value = ('key, 'a) Value.t

Sourcetype 'b key_value =

| KeyValue : 'a key * ('a, 'b) value -> 'b key_value

Sourceval create : ?random:bool -> int -> 'a t

Sourceval clear : 'a t -> unit

Sourceval reset : 'a t -> unit

Sourceval copy : 'a t -> 'a t

Sourceval add : 'a t -> 'key key -> ('key, 'a) value -> unit

Sourceval remove : 'a t -> 'b key -> unit

Sourceval find : 'a t -> 'key key -> ('key, 'a) value

Sourceval find_opt : 'a t -> 'key key -> ('key, 'a) value option

Sourceval find_all : 'a t -> 'key key -> ('key, 'a) value list

Sourceval replace : 'a t -> 'key key -> ('key, 'a) value -> unit

Sourceval mem : 'a t -> 'key key -> bool

Sourceval add_seq : 'a t -> 'a key_value Seq.t -> unit

Sourceval replace_seq : 'a t -> 'a key_value Seq.t -> unit

Sourceval of_seq : 'a key_value Seq.t -> 'a t

Sourcetype 'a polyiter = {

f : 'key. 'key key -> ('key, 'a) value -> unit;

}

Sourceval iter : 'a polyiter -> 'a t -> unit

Sourcetype ('a, 'b) polyfiltermap = {

f : 'key. 'key key -> ('key, 'a) value -> ('key, 'b) value option;

}

Sourceval filter_map_inplace : ('a, 'a) polyfiltermap -> 'a t -> unit

Sourcetype ('a, 'acc) polyfold = {

f : 'key. 'key key -> ('key, 'a) value -> 'acc -> 'acc;

}

Sourceval fold : ('a, 'acc) polyfold -> 'a t -> 'acc -> 'acc

Sourceval length : 'a t -> int

Sourceval stats : 'a t -> Hashtbl.statistics

Sourceval to_seq : 'a t -> unit -> 'a key_value Seq.node