incr_map v0.17.0 (latest) · OCaml Package

type ('k, 'v) derived_on = ('k, 'v) t

type ('k, 'v, 'k_diff, 'v_diff) t

val sexp_of_t : 
  ('k -> Sexplib0.Sexp.t) ->
  ('v -> Sexplib0.Sexp.t) ->
  ('k_diff -> Sexplib0.Sexp.t) ->
  ('v_diff -> Sexplib0.Sexp.t) ->
  ('k, 'v, 'k_diff, 'v_diff) t ->
  Sexplib0.Sexp.t

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'k) ->
  (Sexplib0.Sexp.t -> 'v) ->
  (Sexplib0.Sexp.t -> 'k_diff) ->
  (Sexplib0.Sexp.t -> 'v_diff) ->
  Sexplib0.Sexp.t ->
  ('k, 'v, 'k_diff, 'v_diff) t

val bin_shape_t : 
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t ->
  Core.Bin_prot.Shape.t

val bin_size_t : 
  'k Core.Bin_prot.Size.sizer ->
  'v Core.Bin_prot.Size.sizer ->
  'k_diff Core.Bin_prot.Size.sizer ->
  'v_diff Core.Bin_prot.Size.sizer ->
  ('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Size.sizer

val bin_write_t : 
  'k Core.Bin_prot.Write.writer ->
  'v Core.Bin_prot.Write.writer ->
  'k_diff Core.Bin_prot.Write.writer ->
  'v_diff Core.Bin_prot.Write.writer ->
  ('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Write.writer

val bin_writer_t : 
  'k Core.Bin_prot.Type_class.writer ->
  'v Core.Bin_prot.Type_class.writer ->
  'k_diff Core.Bin_prot.Type_class.writer ->
  'v_diff Core.Bin_prot.Type_class.writer ->
  ('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Type_class.writer

val bin_read_t : 
  'k Core.Bin_prot.Read.reader ->
  'v Core.Bin_prot.Read.reader ->
  'k_diff Core.Bin_prot.Read.reader ->
  'v_diff Core.Bin_prot.Read.reader ->
  ('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Read.reader

val __bin_read_t__ : 
  'k Core.Bin_prot.Read.reader ->
  'v Core.Bin_prot.Read.reader ->
  'k_diff Core.Bin_prot.Read.reader ->
  'v_diff Core.Bin_prot.Read.reader ->
  (int -> ('k, 'v, 'k_diff, 'v_diff) t) Core.Bin_prot.Read.reader

val bin_reader_t : 
  'k Core.Bin_prot.Type_class.reader ->
  'v Core.Bin_prot.Type_class.reader ->
  'k_diff Core.Bin_prot.Type_class.reader ->
  'v_diff Core.Bin_prot.Type_class.reader ->
  ('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Type_class.reader

val bin_t : 
  'k Core.Bin_prot.Type_class.t ->
  'v Core.Bin_prot.Type_class.t ->
  'k_diff Core.Bin_prot.Type_class.t ->
  'v_diff Core.Bin_prot.Type_class.t ->
  ('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Type_class.t

val get : 
  (from:'k -> to_:'k -> 'k_diff Diffable.For_ppx.Optional_diff.t) ->
  (from:'v -> to_:'v -> 'v_diff Diffable.For_ppx.Optional_diff.t) ->
  from:('k, 'v) derived_on ->
  to_:('k, 'v) derived_on ->
  ('k, 'v, 'k_diff, 'v_diff) t Diffable.For_ppx.Optional_diff.t

val apply_exn : 
  ('k -> 'k_diff -> 'k) ->
  ('v -> 'v_diff -> 'v) ->
  ('k, 'v) derived_on ->
  ('k, 'v, 'k_diff, 'v_diff) t ->
  ('k, 'v) derived_on

val of_list_exn : 
  ('k_diff list -> 'k_diff Diffable.For_ppx.Optional_diff.t) ->
  ('k -> 'k_diff -> 'k) ->
  ('v_diff list -> 'v_diff Diffable.For_ppx.Optional_diff.t) ->
  ('v -> 'v_diff -> 'v) ->
  ('k, 'v, 'k_diff, 'v_diff) t list ->
  ('k, 'v, 'k_diff, 'v_diff) t Diffable.For_ppx.Optional_diff.t

package incr_map