Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package saturn_lockfree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A lock-free skiplist.
The type of a lock-free skiplist containing bindings of keys of type 'k to values of type 'v.
val create : ?max_height:int -> compare:('k -> 'k -> int) -> unit -> ('k, 'v) tcreate ~compare () creates a new empty skiplist where keys are ordered based on the given compare function.
Note that the polymorphic Stdlib.compare function has relatively high overhead and it is usually better to use a type specific compare function such as Int.compare or String.compare.
The optional max_height argument determines the maximum height of nodes in the skiplist and directly affects the performance of the skiplist. The current implementation does not adjust height automatically.
val max_height_of : ('k, 'v) t -> intmax_height_of s returns the maximum height of nodes of the skiplist s as specified to create.
val find_opt : ('k, 'v) t -> 'k -> 'v optionfind_opt s k tries to find a binding of k to v from the skiplist s and returns Some v in case such a binding was found or return None in case no such binding was found.
val mem : ('k, 'v) t -> 'k -> boolmem s k determines whether the skiplist s contained a binding of k.
val try_add : ('k, 'v) t -> 'k -> 'v -> booltry_add s k v tries to add a new binding of k to v into the skiplist s and returns true on success. Otherwise the skiplist already contained a binding of k and false is returned.
val try_remove : ('k, 'v) t -> 'k -> booltry_remove s k tries to remove a binding of k from the skiplist and returns true on success. Otherwise the skiplist did not contain a binding of k and false is returned.
val length : ('k, 'v) t -> intlength s computes the number of bindings in the skiplist s.