package elpi

You can search for identifiers within the package.

in-package search v0.2.0

ELPI - Embeddable λProlog Interpreter

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (7)

Authors

Maintainers

E

Enrico Tassi <enrico.tassi@inria.fr>

Sources

elpi-1.18.1.tbz

sha256=aeb22ffe6542d04cf79d4edfa67cf076e202ded23a97bdc38e001bbf581ddafd

sha512=2f8566266b30f879f10eed3708dbd5ca4722654126736ee3fd66cb56c1bb1c727baa2023ca217ad9665744061e7564a8f32a7092b479aadc044fae2b3b10c3d9

doc/elpi.util/Elpi_util/Util/Hashtbl/MakeSeeded/index.html

Module `Hashtbl.MakeSeeded`Source

Functor building an implementation of the hashtable structure. The functor Hashtbl.MakeSeeded returns a structure containing a type key of keys and a type 'a t of hash tables associating data of type 'a to keys of type key. The operations perform similarly to those of the generic interface, but use the seeded hashing and equality functions specified in the functor argument H instead of generic equality and hashing. The create operation of the result structure supports the ~random optional parameter and returns randomized hash tables if ~random:true is passed or if randomization is globally on (see Hashtbl.randomize).

since 4.00

Parameters

module H : SeededHashedType

Signature

Sourcetype key = H.t

Sourcetype !'a t

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 -> 'a -> unit

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

Sourceval find : 'a t -> key -> 'a

Sourceval find_opt : 'a t -> key -> 'a option

since 4.05

Sourceval find_all : 'a t -> key -> 'a list

Sourceval replace : 'a t -> key -> 'a -> unit

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

Sourceval iter : (key -> 'a -> unit) -> 'a t -> unit

Sourceval filter_map_inplace : (key -> 'a -> 'a option) -> 'a t -> unit

since 4.03

Sourceval fold : (key -> 'a -> 'acc -> 'acc) -> 'a t -> 'acc -> 'acc

Sourceval length : 'a t -> int

Sourceval stats : 'a t -> statistics

Sourceval to_seq : 'a t -> (key * 'a) Seq.t

since 4.07

Sourceval to_seq_keys : _ t -> key Seq.t

since 4.07

Sourceval to_seq_values : 'a t -> 'a Seq.t

since 4.07

Sourceval add_seq : 'a t -> (key * 'a) Seq.t -> unit

since 4.07

Sourceval replace_seq : 'a t -> (key * 'a) Seq.t -> unit

since 4.07

Sourceval of_seq : (key * 'a) Seq.t -> 'a t

since 4.07

On This Page

Parameters
Signature