Module `Diffable.Map_diff`

module Stable : sig ... end

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

module Change : sig ... end

type ('k, 'v, 'v_diff) t =
  ('k, 'v, 'v_diff) Diffable.Map_diff.Change.t Base.list

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

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

include sig ... end

val bin_size_t : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.t) Bin_prot.Size.sizer3

val bin_write_t : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.t)
              Bin_prot.Write.writer3

val bin_read_t : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.t)
              Bin_prot.Read.reader3

val __bin_read_t__ : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.t)
              Bin_prot.Read.vtag_reader3

val bin_writer_t : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.t)
              Bin_prot.Type_class.S3.writer

val bin_reader_t : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.t)
              Bin_prot.Type_class.S3.reader

val bin_t : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.t)
              Bin_prot.Type_class.S3.t

include Ppx_compare_lib.Equal.S3
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) Diffable.Map_diff.t

val equal : 
  ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('c -> 'c -> bool) ->
  ('a, 'b, 'c) Diffable.Map_diff.t ->
  ('a, 'b, 'c) Diffable.Map_diff.t ->
  bool

include Ppx_compare_lib.Equal.S3__local
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) Diffable.Map_diff.t

include Ppx_quickcheck_runtime.Quickcheckable.S3
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) Diffable.Map_diff.t

val quickcheck_generator : 
  'a Base_quickcheck.Generator.t ->
  'b Base_quickcheck.Generator.t ->
  'c Base_quickcheck.Generator.t ->
  ('a, 'b, 'c) Diffable.Map_diff.t Base_quickcheck.Generator.t

val quickcheck_observer : 
  'a Base_quickcheck.Observer.t ->
  'b Base_quickcheck.Observer.t ->
  'c Base_quickcheck.Observer.t ->
  ('a, 'b, 'c) Diffable.Map_diff.t Base_quickcheck.Observer.t

val quickcheck_shrinker : 
  'a Base_quickcheck.Shrinker.t ->
  'b Base_quickcheck.Shrinker.t ->
  'c Base_quickcheck.Shrinker.t ->
  ('a, 'b, 'c) Diffable.Map_diff.t Base_quickcheck.Shrinker.t

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

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

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

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) Diffable.Map_diff.t
    Ppx_stable_witness_runtime.Stable_witness.t

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

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

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

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

Module Diffable.Map_diff

Module `Diffable.Map_diff`