package incr_map

You can search for identifiers within the package.

in-package search v0.2.0

Helpers for incremental operations on map like data structures

Install

Dune Dependency

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

Authors

J

Jane Street Group, LLC

Maintainers

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_concrete`Source

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

Sourcetype t = (Key.t, Value.t) parametrized

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

Sourceval bin_writer_t : t Bin_prot.Type_class.writer

Sourceval bin_reader_t : t Bin_prot.Type_class.reader

Sourceval bin_t : t Bin_prot.Type_class.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

Source

val 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 key_range : t -> Key.t Collate.Which_range.t

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 to_parts : t -> Intermediate.Part.t Base.Sequence.t

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

On This Page

Parameters
Signature