package incr_map

  1. Overview
  2. Docs
Helpers for incremental operations on map like data structures

Install 

dune-project
 Dependency

github.com Changelog MIT License Edit opam file Versions (6)

Authors

  1. J
    Jane Street Group, LLC

Maintainers

  1. J
    Jane Street developers

Sources

v0.17.0.tar.gz
sha256=91acc784e4760af8544c4504bee1a9f6d7385eb0620f8e56392cd193a250b7d2

doc/incr_map.collate/Incr_map_collate/Collated/Make_concrete/index.html

Module Collated.Make_concreteSource

Parameters

module Key : sig ... end
module Value : sig ... end

Signature

Sourcemodule Key : sig ... end
Sourcemodule Value : sig ... end
Sourcetype ('k, 'v) parametrized = ('k, 'v) t
include Sexplib0.Sexpable.S with type t := t
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
include Core.Bin_prot.Binable.S with type t := t
include Bin_prot.Binable.S_only_functions with type t := t
Sourceval bin_size_t : t Bin_prot.Size.sizer
Sourceval bin_write_t : t Bin_prot.Write.writer
Sourceval bin_read_t : t Bin_prot.Read.reader
Sourceval __bin_read_t__ : (int -> t) Bin_prot.Read.reader

This function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.

Sourceval bin_shape_t : Bin_prot.Shape.t
include Ppx_compare_lib.Comparable.S with type t := t
Sourceval compare : t -> t -> int
include Ppx_compare_lib.Equal.S with type t := t
Sourceval equal : t -> t -> bool
Sourceval empty : t
Sourceval fold : t -> init:'accum -> f:('accum -> (Key.t * Value.t) -> 'accum) -> 'accum
Sourceval iter : t -> f:((Key.t * Value.t) -> unit) -> unit
Sourceval to_alist : t -> (Key.t * Value.t) list
Sourceval to_opaque_map : t -> (Key.t * Value.t) Opaque_map.t
Sourceval first : t -> (Key.t * Value.t) option
Sourceval last : t -> (Key.t * Value.t) option
Sourceval length : t -> int
Sourceval num_filtered_rows : t -> int
Sourceval num_unfiltered_rows : t -> int
Sourceval rank_range : t -> int Collate.Which_range.t
include Legacy_diffable.S with type t := t
Sourcemodule Update : sig ... end
Sourceval update : t -> Update.t -> t
Sourceval diffs : from:t -> to_:t -> Update.t
Sourceval to_diffs : t -> Update.t
Sourceval of_diffs : Update.t -> t
include Streamable.S with type t := t
Sourcemodule Intermediate : sig ... end
Sourceval finalize : Intermediate.t -> t
Sourceval this_type_does_not_support_ldiffable : unit

This strange value just encodes the fact that this type does not yet implement Ldiffable.S. When it does, delete this and then the compiler will show you places to update.

Sourceval find_by_key : t -> Key.t -> Value.t option
Sourceval prev : t -> Key.t -> (Key.t * Value.t) option
Sourceval next : t -> Key.t -> (Key.t * Value.t) option