package obatcher

You can search for identifiers within the package.

in-package search v0.2.0

A Framework for building Batched Concurrent Data Structures

Install

sha256=2ee8f97a1e4a55899f8fdc48aa422e553d6a4d256e71b59e4257448beaf27dd3

sha512=61d0645dc5bd6955f3e663f133d27d9c8c61081e24bc8d88e73f86380432e783fa50bc4d980a9b17ccb949f6af9b90ef834f379ec9171b692745f05d9a34c0f9

module V : Map.OrderedType

Sourceval (.!()) : 'a Utils.Finite_vector.t -> int -> 'a

Sourcemodule Sequential : sig ... end

Sourcemodule Batched : sig ... end

include sig ... end

Sourcetype 'a t = 'a Obatcher.Make_Poly(Batched).t

Sourceval init : ?cfg:Batched.cfg -> unit -> 'a t

Sourceval exec : 'a t -> ('a, 'b) Batched.op -> 'b

Sourceval get_internal : 'a t -> 'a Batched.t

Sourceval insert : 'a t -> V.t -> 'a -> unit

Sourceval search : 'a t -> V.t -> 'a option

Sourceval size : 'a t -> int

On This Page