Module Incr_map_collate.CollateSource

Sourcemodule Which_range : sig ... end
Sourcetype ('k, 'filter, 'order) t = {
  1. filter : 'filter;
    (*

    User-defined type, usually algebraic data type, describing how the table can be filtered. You'll need to provide equal and to_predicate of type 'filter -> ('k -> 'v -> bool) for collate.

    *)
  2. order : 'order;
    (*

    User-defined type, usually algebraic data type, describing how the table can be sorted. You'll need to provide equal and to_compare of type functionally equivalent to 'order -> ('v -> 'v -> int) for collate.

    *)
  3. key_range : 'k Which_range.t;
    (*

    Select only rows between these keys (in the configured ordering)

    *)
  4. rank_range : int Which_range.t;
    (*

    After selecting rows according to key_range, select rows between these positions.

    For example, if your (sorted & filtered) data is (A, 1); (B, 2); (C, 3), then both for key_range = All_rows; rank_range = From 1 and key_range = From B; rank_range = All_rows the result would be (B, 2); (C, 3)

    *)
}
include Ppx_compare_lib.Equal.S3 with type ('k, 'filter, 'order) t := ('k, 'filter, 'order) t
Sourceval equal : ('a -> 'a -> bool) -> ('b -> 'b -> bool) -> ('c -> 'c -> bool) -> ('a, 'b, 'c) t -> ('a, 'b, 'c) t -> bool
Sourceval sexp_of_t : ('k -> Sexplib0.Sexp.t) -> ('filter -> Sexplib0.Sexp.t) -> ('order -> Sexplib0.Sexp.t) -> ('k, 'filter, 'order) t -> Sexplib0.Sexp.t
Sourceval default : filter:'filter -> order:'order -> (_, 'filter, 'order) t
Sourcemodule Stable : sig ... end