Module Ephemeron.GenHashTable

module GenHashTable: sig .. end

Define a hash table on generic containers which have a notion of "death" and aliveness. If a binding is dead the hash table can automatically remove it.

type equal =

`\|`	`ETrue`
`\|`	`EFalse`
`\|`	`EDead`	`(*`	the container is dead	`*)`

module MakeSeeded:

functor (H : sig

type t

keys

type 'a container

contains keys and the associated data

val hash : int -> t -> int

same as Hashtbl.SeededHashedType

val equal : 'a container ->
       t -> Ephemeron.GenHashTable.equal

equality predicate used to compare a key with the one in a container. Can return EDead if the keys in the container are dead

val create : t ->
       'a -> 'a container

create key data creates a container from some initials keys and one data

val get_key : 'a container ->
       t option

get_key cont returns the keys if they are all alive

val get_data : 'a container -> 'a option

get_data cont returns the data if it is alive

val set_key_data : 'a container ->
       t -> 'a -> unit

set_key_data cont modifies the key and data

val check_key : 'a container -> bool

check_key cont checks if all the keys contained in the data are alive

end) -> Ephemeron.SeededS  with type key = H.t

Functor building an implementation of an hash table that use the container for keeping the information given

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.