package union-find-lattice

You can search for identifiers within the package.

in-package search v0.2.0

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/module-type-S/index.html

Module type `HetHashtbl.S`Source

type 'a t

type 'key key

type ('key, 'a) value

type 'b key_value =

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

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

val clear : 'a t -> unit

val reset : 'a t -> unit

val copy : 'a t -> 'a t

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

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

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

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

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

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

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

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

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

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

type 'a polyiter = {

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

}

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

type ('a, 'b) polyfiltermap = {

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

}

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

type ('a, 'acc) polyfold = {

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

}

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

val length : 'a t -> int

val stats : 'a t -> Hashtbl.statistics

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