Map_diff (reference.ppx_diff.ppx_diff.diffable.Diffable.Map

Sourcemodule Stable : sig ... end

include module type of Stable.V1
  with type ('k, 'v, 'v_diff) Change.t = ('k, 'v, 'v_diff) Stable.V1.Change.t

Sourcemodule Change : sig ... end

Sourcetype ('k, 'v, 'v_diff) t = ('k, 'v, 'v_diff) Change.t Base.list

include Sexplib0.Sexpable.S3
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) t

Source

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  (Sexplib0.Sexp.t -> 'c) ->
  Sexplib0.Sexp.t ->
  ('a, 'b, 'c) t

Source

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('c -> Sexplib0.Sexp.t) ->
  ('a, 'b, 'c) t ->
  Sexplib0.Sexp.t

include Bin_prot.Binable.S3
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) t

Source

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

Sourceval bin_size_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Size.sizer3

Sourceval bin_write_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Write.writer3

Sourceval bin_read_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Read.reader3

Sourceval __bin_read_t__ : ('a, 'b, 'c, int -> ('a, 'b, 'c) t) Bin_prot.Read.reader3

Sourceval bin_writer_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.writer

Sourceval bin_reader_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.reader

Sourceval bin_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.t

Source

val stable_witness : 
  'k Ppx_stable_witness_runtime.Stable_witness.t ->
  'v Ppx_stable_witness_runtime.Stable_witness.t ->
  'v_diff Ppx_stable_witness_runtime.Stable_witness.t ->
  ('k, 'v, 'v_diff) t Ppx_stable_witness_runtime.Stable_witness.t

Source

val get : 
  (from:'v -> to_:'v -> 'v_diff Optional_diff.t) ->
  from:('k, 'v, 'cmp) Base.Map.t ->
  to_:('k, 'v, 'cmp) Base.Map.t ->
  ('k, 'v, 'v_diff) t Optional_diff.t

Source

val apply_exn : 
  ('v -> 'v_diff -> 'v) ->
  ('k, 'v, 'cmp) Base.Map.t ->
  ('k, 'v, 'v_diff) t ->
  ('k, 'v, 'cmp) Base.Map.t

Source

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

Sourcemodule Make (M : sig ... end) : sig ... end