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-3.0.0.tbz

sha256=424e5a4631f5935a1436093b614917210b00259d16700912488ba4cd148115d1

sha512=fa54ce05101fafe905c6db2e5fa7ad79d714ec3b580add4ff711bad37fc9545a58795f69056d62f6c18d8c87d424acc1992ab7fb667652e980d182d4ed80ba16

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

Module `Util.Hashtbl`Source

include module type of Stdlib.Hashtbl

type (!'a, !'b) t = ('a, 'b) Stdlib__Hashtbl.t

val create : ?random:bool -> int -> ('a, 'b) t

val clear : ('a, 'b) t -> unit

val reset : ('a, 'b) t -> unit

val copy : ('a, 'b) t -> ('a, 'b) t

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

val find : ('a, 'b) t -> 'a -> 'b

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

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

val mem : ('a, 'b) t -> 'a -> bool

val remove : ('a, 'b) t -> 'a -> unit

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

val iter : ('a -> 'b -> unit) -> ('a, 'b) t -> unit

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

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

val length : ('a, 'b) t -> int

val randomize : unit -> unit

val is_randomized : unit -> bool

val rebuild : ?random:bool -> ('a, 'b) t -> ('a, 'b) t

type statistics = Stdlib__Hashtbl.statistics = {

num_bindings : int;
num_buckets : int;
max_bucket_length : int;
bucket_histogram : int array;

}

val stats : ('a, 'b) t -> statistics

val to_seq : ('a, 'b) t -> ('a * 'b) Stdlib.Seq.t

val to_seq_keys : ('a, 'b) t -> 'a Stdlib.Seq.t

val to_seq_values : ('a, 'b) t -> 'b Stdlib.Seq.t

val add_seq : ('a, 'b) t -> ('a * 'b) Stdlib.Seq.t -> unit

val replace_seq : ('a, 'b) t -> ('a * 'b) Stdlib.Seq.t -> unit

val of_seq : ('a * 'b) Stdlib.Seq.t -> ('a, 'b) t

module type HashedType = sig ... end

module type S = sig ... end

module Make (H : HashedType) : sig ... end

module type SeededHashedType = sig ... end

module type SeededS = sig ... end

module MakeSeeded (H : SeededHashedType) : sig ... end

val hash : 'a -> int

val seeded_hash : int -> 'a -> int

val hash_param : int -> int -> 'a -> int

val seeded_hash_param : int -> int -> int -> 'a -> int

include Show2 with type ('a, 'b) t := ('a, 'b) t

Source

val pp : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  (Stdlib.Format.formatter -> 'b -> unit) ->
  Stdlib.Format.formatter ->
  ('a, 'b) t ->
  unit