package incr_map

  1. Overview
  2. Docs
package incr_map
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Incr_map_collate.CollatedSource

Sourcetype ('k, 'v) t

The result of collation - a filtered, sorted and restricted-to-a-range list of keys and values. The underlying data structure is a bit more sophisticated than a list, to provide better diffing.

To get an implementation of Diffable interface, you'll need to instantiate Make_concrete.

include Sexplib0.Sexpable.S2 with type ('k, 'v) t := ('k, 'v) t
Sourceval t_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> Sexplib0.Sexp.t -> ('a, 'b) t
Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('a, 'b) t -> Sexplib0.Sexp.t
include Core.Bin_prot.Binable.S2 with type ('k, 'v) t := ('k, 'v) t
Sourceval bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2
Sourceval bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2
Sourceval bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2
Sourceval __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2
Sourceval bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writer
Sourceval bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.reader
Sourceval bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.t
include Ppx_compare_lib.Comparable.S2 with type ('k, 'v) t := ('k, 'v) t
Sourceval compare : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int
include Ppx_compare_lib.Equal.S2 with type ('k, 'v) t := ('k, 'v) t
Sourceval equal : ('a -> 'a -> bool) -> ('b -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool
Sourcemodule Diff : sig ... end
Sourceval empty : (_, _) t
Sourceval fold : ('k, 'v) t -> init:'accum -> f:('accum -> ('k * 'v) -> 'accum) -> 'accum
Sourceval iter : ('k, 'v) t -> f:(('k * 'v) -> unit) -> unit
Sourceval to_alist : ('k, 'v) t -> ('k * 'v) list
Sourceval to_opaque_map : ('k, 'v) t -> ('k * 'v) Opaque_map.t
Sourceval first : ('k, 'v) t -> ('k * 'v) option
Sourceval last : ('k, 'v) t -> ('k * 'v) option
Sourceval mapi : ('k, 'v1) t -> f:('k -> 'v1 -> 'v2) -> ('k, 'v2) t
Sourceval length : (_, _) t -> int
Sourceval num_unfiltered_rows : (_, _) t -> int

Total number of rows before filtering

Sourceval num_filtered_rows : (_, _) t -> int

Total number of rows after filtering, but before limiting to range.

Sourceval num_before_range : (_, _) t -> int

Total number of rows that preceed the rank-range and key-range ranges.

Sourceval num_after_range : (_, _) t -> int

Total number of rows that follow the rank-range and key-range ranges.

Sourceval key_range : ('k, _) t -> 'k Collate.Which_range.t

The key range this result was computed for

Sourceval rank_range : (_, _) t -> int Collate.Which_range.t

The rank range this result was computed for

Sourcemodule Stable : sig ... end
Sourcemodule Private : sig ... end
Sourcemodule For_testing : sig ... end
Sourcemodule type Concrete = sig ... end
Sourcemodule Make_concrete (Key : sig ... end) (Value : sig ... end) : Concrete with type Key.t = Key.t and type Value.t = Value.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct