GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages
Weak.S(3) OCamldoc Weak.S(3)

Weak.S - The output signature of the functor Weak.Make.

Module type Weak.S

Module type S = sig end

The output signature of the functor Weak.Make .

type data

The type of the elements stored in the table.

type t

The type of tables that contain elements of type data . Note that weak hash sets cannot be marshaled using Pervasives.output_value or the functions of the Marshal module.

val create : int -> t

create n creates a new empty weak hash set, of initial size n . The table will grow as needed.

val clear : t -> unit

Remove all elements from the table.

val merge : t -> data -> data

merge t x returns an instance of x found in t if any, or else adds x to t and return x .

val add : t -> data -> unit

add t x adds x to t . If there is already an instance of x in t , it is unspecified which one will be returned by subsequent calls to find and merge .

val remove : t -> data -> unit

remove t x removes from t one instance of x . Does nothing if there is no instance of x in t .

val find : t -> data -> data

find t x returns an instance of x found in t . Raise Not_found if there is no such element.

val find_opt : t -> data -> data option

find_opt t x returns an instance of x found in t or None if there is no such element.

Since 4.05

val find_all : t -> data -> data list

find_all t x returns a list of all the instances of x found in t .

val mem : t -> data -> bool

mem t x returns true if there is at least one instance of x in t , false otherwise.

val iter : (data -> unit) -> t -> unit

iter f t calls f on each element of t , in some unspecified order. It is not specified what happens if f tries to change t itself.

val fold : (data -> 'a -> 'a) -> t -> 'a -> 'a

fold f t init computes (f d1 (... (f dN init))) where d1 ... dN are the elements of t in some unspecified order. It is not specified what happens if f tries to change t itself.

val count : t -> int

Count the number of elements in the table. count t gives the same result as fold (fun _ n -> n+1) t 0 but does not delay the deallocation of the dead elements.

val stats : t -> int * int * int * int * int * int

Return statistics on the table. The numbers are, in order: table length, number of entries, sum of bucket lengths, smallest bucket length, median bucket length, biggest bucket length.

source: 2022-04-09

Search for    or go to Top of page |  Section 3 |  Main Index

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with ManDoc.