Change (reference.ppx_diff.ppx_diff.diffable.Diffable.Map

Sourcetype ('k, 'v, 'v_diff) t =

| Remove of 'k
| Add of 'k * 'v
| Diff of 'k * 'v_diff

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