package core_bench

  1. Overview
  2. Docs
package core_bench
Legend:
Library
Module
Module type
Parameter
Class
Class type
val names : string list
val thin_overhead : ([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm
val fork_each_benchmark : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val stabilize_gc_between_runs : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val sampling_type : ([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm
val quota : ([< `Read | `Set_and_create ], t, Quota.t) Fieldslib.Field.t_with_perm
val no_compactions : ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm
val verbosity : ([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm
val make_creator : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> 'a -> ('b -> Verbosity.t) * 'c) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'c -> ('b -> bool) * 'd) -> quota: (([< `Read | `Set_and_create ], t, Quota.t) Fieldslib.Field.t_with_perm -> 'd -> ('b -> Quota.t) * 'e) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> 'e -> ('b -> [ `Geometric of float | `Linear of int ]) * 'f) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'f -> ('b -> bool) * 'g) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'g -> ('b -> bool) * 'h) -> thin_overhead: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> 'h -> ('b -> int option) * 'i) -> 'a -> ('b -> t) * 'i
val create : verbosity:Verbosity.t -> no_compactions:bool -> quota:Quota.t -> sampling_type:[ `Geometric of float | `Linear of int ] -> stabilize_gc_between_runs:bool -> fork_each_benchmark:bool -> thin_overhead:int option -> t
val map : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> Verbosity.t) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> quota: (([< `Read | `Set_and_create ], t, Quota.t) Fieldslib.Field.t_with_perm -> Quota.t) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> [ `Geometric of float | `Linear of int ]) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> thin_overhead: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> int option) -> t
val iter : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> unit) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> quota: (([< `Read | `Set_and_create ], t, Quota.t) Fieldslib.Field.t_with_perm -> unit) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> unit) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> unit) -> thin_overhead: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> unit) -> unit
val fold : init:'a -> verbosity: ('a -> ([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> 'b) -> no_compactions: ('b -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'c) -> quota: ('c -> ([< `Read | `Set_and_create ], t, Quota.t) Fieldslib.Field.t_with_perm -> 'd) -> sampling_type: ('d -> ([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> 'e) -> stabilize_gc_between_runs: ('e -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'f) -> fork_each_benchmark: ('f -> ([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'g) -> thin_overhead: ('g -> ([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> 'h) -> 'h
val map_poly : ([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user -> 'a list
val for_all : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> bool) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> quota: (([< `Read | `Set_and_create ], t, Quota.t) Fieldslib.Field.t_with_perm -> bool) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> bool) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> thin_overhead: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> bool) -> bool
val exists : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> bool) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> quota: (([< `Read | `Set_and_create ], t, Quota.t) Fieldslib.Field.t_with_perm -> bool) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> bool) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> bool) -> thin_overhead: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> bool) -> bool
val to_list : verbosity: (([< `Read | `Set_and_create ], t, Verbosity.t) Fieldslib.Field.t_with_perm -> 'a) -> no_compactions: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> quota: (([< `Read | `Set_and_create ], t, Quota.t) Fieldslib.Field.t_with_perm -> 'a) -> sampling_type: (([< `Read | `Set_and_create ], t, [ `Geometric of float | `Linear of int ]) Fieldslib.Field.t_with_perm -> 'a) -> stabilize_gc_between_runs: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> fork_each_benchmark: (([< `Read | `Set_and_create ], t, bool) Fieldslib.Field.t_with_perm -> 'a) -> thin_overhead: (([< `Read | `Set_and_create ], t, int option) Fieldslib.Field.t_with_perm -> 'a) -> 'a list
module Direct : sig ... end