Module `Make.Batched`Source

Sourcetype 'a t = 'a Sequential.t

Sourcetype cfg = unit option

Sourcetype ('elt, 'ret) op =

| Insert : V.t * 'elt -> ('elt, unit) op
| Search : V.t -> ('elt, 'elt option) op
| Size : ('elt, int) op

Sourcetype 'a wrapped_op =

| Mk : ('a, 'b) op * 'b Picos.Computation.t -> 'a wrapped_op

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

Sourceval fold_left_map : ('a -> 'b -> 'a * 'c) -> 'a -> 'b list -> 'a * 'c list

Sourceval drop_last : 'a list -> 'a list

Sourceval int_pow : int -> int -> int

Sourceval find_height : t:int -> no_elts:int -> int

Sourceval find_split : ?root:bool -> t:int -> h:int -> int -> int * int * int

Source

val partition_range : 
  ?root:bool ->
  t:int ->
  h:int ->
  (int * int) ->
  int array * int array

Source

val build_node : 
  max_children:int ->
  h:int ->
  int ->
  int ->
  (V.t * 'a) array ->
  'a Sequential.node

Source

val par_build_node : 
  max_children:int ->
  h:int ->
  int ->
  int ->
  (V.t * 'a) array ->
  'a Sequential.node

Source

val build_from_sorted : 
  ?max_children:int ->
  (V.t * 'a) array ->
  int * 'a Sequential.node

Sourceval int_range_downto : int -> int -> int Seq.t

Sourceval flatten : 'a Sequential.node -> (V.t * 'a) Seq.t

Sourceval merge : 'a Seq.t -> 'a Seq.t -> ('a -> 'b) -> unit

Source

val par_rebuild : 
  max_children:int ->
  'a Sequential.node ->
  (V.t * 'a) array ->
  int * 'a Sequential.node

Source

val par_search_node : 
  ?par_threshold:int ->
  ?threshold:int ->
  'a Sequential.node ->
  height:int ->
  keys:(V.t * 'a option Picos.Computation.t) array ->
  range:(int * int) ->
  unit

Source

val par_search : 
  ?par_threshold:int ->
  ?threshold:int ->
  'a t ->
  (V.t * 'a option Picos.Computation.t) array ->
  unit

Source

val par_insert_node : 
  ?threshold:int ->
  max_children:int ->
  'a Sequential.node ->
  (V.t * 'a) array ->
  int ->
  int ->
  int

Source

val par_insert : 
  ?threshold:int ->
  ?can_rebuild:bool ->
  'a t ->
  (V.t * 'a) array ->
  unit

Sourceval run : 'a t -> 'a wrapped_op array -> unit

package obatcher

Module Make.BatchedSource

Module `Make.Batched`Source