package ppx_diff
A PPX rewriter that genreates the implementation of [Ldiffable.S].
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.1.tar.gz
md5=cfec5d638a1bf1ea77707d10eed5d2d7
sha512=5848274cb0c5acd1ee3f29318e6111c5fef4b357aeda78120e0370067b9b23f62bb57e1e0be948c3af385b5900a3e0fb657f26dd4fe7ee95cd7002b9d8b68547
doc/ppx_diff.diffable/Diffable/Tuples/Tuple4/Diff/index.html
Module Tuple4.DiffSource
Source
type ('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t =
private ('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t
listSource
val sexp_of_t :
('a1 -> Sexplib0.Sexp.t) ->
('a2 -> Sexplib0.Sexp.t) ->
('a3 -> Sexplib0.Sexp.t) ->
('a4 -> Sexplib0.Sexp.t) ->
('a1_diff -> Sexplib0.Sexp.t) ->
('a2_diff -> Sexplib0.Sexp.t) ->
('a3_diff -> Sexplib0.Sexp.t) ->
('a4_diff -> Sexplib0.Sexp.t) ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t ->
Sexplib0.Sexp.tSource
val t_of_sexp :
(Sexplib0.Sexp.t -> 'a1) ->
(Sexplib0.Sexp.t -> 'a2) ->
(Sexplib0.Sexp.t -> 'a3) ->
(Sexplib0.Sexp.t -> 'a4) ->
(Sexplib0.Sexp.t -> 'a1_diff) ->
(Sexplib0.Sexp.t -> 'a2_diff) ->
(Sexplib0.Sexp.t -> 'a3_diff) ->
(Sexplib0.Sexp.t -> 'a4_diff) ->
Sexplib0.Sexp.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) tSource
val bin_shape_t :
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.tSource
val bin_size_t :
'a1 Bin_prot.Size.sizer ->
'a2 Bin_prot.Size.sizer ->
'a3 Bin_prot.Size.sizer ->
'a4 Bin_prot.Size.sizer ->
'a1_diff Bin_prot.Size.sizer ->
'a2_diff Bin_prot.Size.sizer ->
'a3_diff Bin_prot.Size.sizer ->
'a4_diff Bin_prot.Size.sizer ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Bin_prot.Size.sizerSource
val bin_write_t :
'a1 Bin_prot.Write.writer ->
'a2 Bin_prot.Write.writer ->
'a3 Bin_prot.Write.writer ->
'a4 Bin_prot.Write.writer ->
'a1_diff Bin_prot.Write.writer ->
'a2_diff Bin_prot.Write.writer ->
'a3_diff Bin_prot.Write.writer ->
'a4_diff Bin_prot.Write.writer ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Bin_prot.Write.writerSource
val bin_writer_t :
'a1 Bin_prot.Type_class.writer ->
'a2 Bin_prot.Type_class.writer ->
'a3 Bin_prot.Type_class.writer ->
'a4 Bin_prot.Type_class.writer ->
'a1_diff Bin_prot.Type_class.writer ->
'a2_diff Bin_prot.Type_class.writer ->
'a3_diff Bin_prot.Type_class.writer ->
'a4_diff Bin_prot.Type_class.writer ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Bin_prot.Type_class.writerSource
val bin_read_t :
'a1 Bin_prot.Read.reader ->
'a2 Bin_prot.Read.reader ->
'a3 Bin_prot.Read.reader ->
'a4 Bin_prot.Read.reader ->
'a1_diff Bin_prot.Read.reader ->
'a2_diff Bin_prot.Read.reader ->
'a3_diff Bin_prot.Read.reader ->
'a4_diff Bin_prot.Read.reader ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Bin_prot.Read.readerSource
val __bin_read_t__ :
'a1 Bin_prot.Read.reader ->
'a2 Bin_prot.Read.reader ->
'a3 Bin_prot.Read.reader ->
'a4 Bin_prot.Read.reader ->
'a1_diff Bin_prot.Read.reader ->
'a2_diff Bin_prot.Read.reader ->
'a3_diff Bin_prot.Read.reader ->
'a4_diff Bin_prot.Read.reader ->
(int ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t)
Bin_prot.Read.readerSource
val bin_reader_t :
'a1 Bin_prot.Type_class.reader ->
'a2 Bin_prot.Type_class.reader ->
'a3 Bin_prot.Type_class.reader ->
'a4 Bin_prot.Type_class.reader ->
'a1_diff Bin_prot.Type_class.reader ->
'a2_diff Bin_prot.Type_class.reader ->
'a3_diff Bin_prot.Type_class.reader ->
'a4_diff Bin_prot.Type_class.reader ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Bin_prot.Type_class.readerSource
val bin_t :
'a1 Bin_prot.Type_class.t ->
'a2 Bin_prot.Type_class.t ->
'a3 Bin_prot.Type_class.t ->
'a4 Bin_prot.Type_class.t ->
'a1_diff Bin_prot.Type_class.t ->
'a2_diff Bin_prot.Type_class.t ->
'a3_diff Bin_prot.Type_class.t ->
'a4_diff Bin_prot.Type_class.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Bin_prot.Type_class.tSource
val quickcheck_generator :
'a1 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a2 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a3 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a4 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 ->
'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a4_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Ppx_quickcheck_runtime.Base_quickcheck.Generator.tSource
val quickcheck_observer :
'a1 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a2 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a3 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a4 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 ->
'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a4_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Ppx_quickcheck_runtime.Base_quickcheck.Observer.tSource
val quickcheck_shrinker :
'a1 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a2 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a3 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a4 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 ->
'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a4_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.tSource
val get :
(from:'a1 -> to_:'a1 -> 'a1_diff Optional_diff.t) ->
(from:'a2 -> to_:'a2 -> 'a2_diff Optional_diff.t) ->
(from:'a3 -> to_:'a3 -> 'a3_diff Optional_diff.t) ->
(from:'a4 -> to_:'a4 -> 'a4_diff Optional_diff.t) ->
from:('a1, 'a2, 'a3, 'a4) derived_on ->
to_:('a1, 'a2, 'a3, 'a4) derived_on ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Optional_diff.tSource
val apply_exn :
('a1 -> 'a1_diff -> 'a1) ->
('a2 -> 'a2_diff -> 'a2) ->
('a3 -> 'a3_diff -> 'a3) ->
('a4 -> 'a4_diff -> 'a4) ->
('a1, 'a2, 'a3, 'a4) derived_on ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t ->
('a1, 'a2, 'a3, 'a4) derived_onSource
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) ->
('a3_diff list -> 'a3_diff Optional_diff.t) ->
('a3 -> 'a3_diff -> 'a3) ->
('a4_diff list -> 'a4_diff Optional_diff.t) ->
('a4 -> 'a4_diff -> 'a4) ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t list ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Optional_diff.tSource
val singleton :
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) Entry_diff.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) tSource
val create_of_variants :
t1:
(('a1_diff ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t)
Variantslib.Variant.t ->
'a1_diff Optional_diff.t) ->
t2:
(('a2_diff ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t)
Variantslib.Variant.t ->
'a2_diff Optional_diff.t) ->
t3:
(('a3_diff ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t)
Variantslib.Variant.t ->
'a3_diff Optional_diff.t) ->
t4:
(('a4_diff ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t)
Variantslib.Variant.t ->
'a4_diff Optional_diff.t) ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t