Diff (reference.ppx_diff.ppx_diff.diffable.Diffable.Tuples.Tuple2.Diff)

Sourcetype ('a1, 'a2) derived_on = ('a1, 'a2) t

Sourcemodule Entry_diff : sig ... end

type ('a1, 'a2, 'a1_diff, 'a2_diff) t =
  private ('a1, 'a2, 'a1_diff, 'a2_diff) Entry_diff.t list

Source

val sexp_of_t : 
  ('a1 -> Sexplib0.Sexp.t) ->
  ('a2 -> Sexplib0.Sexp.t) ->
  ('a1_diff -> Sexplib0.Sexp.t) ->
  ('a2_diff -> Sexplib0.Sexp.t) ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t ->
  Sexplib0.Sexp.t

Source

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a1) ->
  (Sexplib0.Sexp.t -> 'a2) ->
  (Sexplib0.Sexp.t -> 'a1_diff) ->
  (Sexplib0.Sexp.t -> 'a2_diff) ->
  Sexplib0.Sexp.t ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t

Source

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

Source

val bin_size_t : 
  'a1 Bin_prot.Size.sizer ->
  'a2 Bin_prot.Size.sizer ->
  'a1_diff Bin_prot.Size.sizer ->
  'a2_diff Bin_prot.Size.sizer ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t Bin_prot.Size.sizer

Source

val bin_write_t : 
  'a1 Bin_prot.Write.writer ->
  'a2 Bin_prot.Write.writer ->
  'a1_diff Bin_prot.Write.writer ->
  'a2_diff Bin_prot.Write.writer ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t Bin_prot.Write.writer

Source

val bin_writer_t : 
  'a1 Bin_prot.Type_class.writer ->
  'a2 Bin_prot.Type_class.writer ->
  'a1_diff Bin_prot.Type_class.writer ->
  'a2_diff Bin_prot.Type_class.writer ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t Bin_prot.Type_class.writer

Source

val bin_read_t : 
  'a1 Bin_prot.Read.reader ->
  'a2 Bin_prot.Read.reader ->
  'a1_diff Bin_prot.Read.reader ->
  'a2_diff Bin_prot.Read.reader ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t Bin_prot.Read.reader

Source

val __bin_read_t__ : 
  'a1 Bin_prot.Read.reader ->
  'a2 Bin_prot.Read.reader ->
  'a1_diff Bin_prot.Read.reader ->
  'a2_diff Bin_prot.Read.reader ->
  (int -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Bin_prot.Read.reader

Source

val bin_reader_t : 
  'a1 Bin_prot.Type_class.reader ->
  'a2 Bin_prot.Type_class.reader ->
  'a1_diff Bin_prot.Type_class.reader ->
  'a2_diff Bin_prot.Type_class.reader ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t Bin_prot.Type_class.reader

Source

val bin_t : 
  'a1 Bin_prot.Type_class.t ->
  'a2 Bin_prot.Type_class.t ->
  'a1_diff Bin_prot.Type_class.t ->
  'a2_diff Bin_prot.Type_class.t ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t Bin_prot.Type_class.t

Source

val quickcheck_generator : 
  'a1 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a2 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t
    Ppx_quickcheck_runtime.Base_quickcheck.Generator.t

Source

val quickcheck_observer : 
  'a1 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a2 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t
    Ppx_quickcheck_runtime.Base_quickcheck.Observer.t

Source

val quickcheck_shrinker : 
  'a1 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a2 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t
    Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t

Source

val get : 
  (from:'a1 -> to_:'a1 -> 'a1_diff Optional_diff.t) ->
  (from:'a2 -> to_:'a2 -> 'a2_diff Optional_diff.t) ->
  from:('a1, 'a2) derived_on ->
  to_:('a1, 'a2) derived_on ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t Optional_diff.t

Source

val apply_exn : 
  ('a1 -> 'a1_diff -> 'a1) ->
  ('a2 -> 'a2_diff -> 'a2) ->
  ('a1, 'a2) derived_on ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t ->
  ('a1, 'a2) derived_on

Source

val of_list_exn : 
  ('a1_diff list -> 'a1_diff Optional_diff.t) ->
  ('a1 -> 'a1_diff -> 'a1) ->
  ('a2_diff list -> 'a2_diff Optional_diff.t) ->
  ('a2 -> 'a2_diff -> 'a2) ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t list ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t Optional_diff.t

Source

val singleton : 
  ('a1, 'a2, 'a1_diff, 'a2_diff) Entry_diff.t ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t

Source

val create : 
  ?t1:'a1_diff ->
  ?t2:'a2_diff ->
  unit ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t

Source

val create_of_variants : 
  t1:
    (('a1_diff ->
       ('a1, 'a2, 'a1_diff, 'a2_diff) Entry_diff.t)
       Variantslib.Variant.t ->
      'a1_diff Optional_diff.t) ->
  t2:
    (('a2_diff ->
       ('a1, 'a2, 'a1_diff, 'a2_diff) Entry_diff.t)
       Variantslib.Variant.t ->
      'a2_diff Optional_diff.t) ->
  ('a1, 'a2, 'a1_diff, 'a2_diff) t