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/Tuple3/Diff/Entry_diff/Variants/index.html
Module Entry_diff.VariantsSource
Source
val fold :
init:'acc__0 ->
t1:
('acc__0 ->
('a1_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
'acc__1) ->
t2:
('acc__1 ->
('a2_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
'acc__2) ->
t3:
('acc__2 ->
('a3_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
'acc__3) ->
'acc__3Source
val iter :
t1:
(('a1_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
unit) ->
t2:
(('a2_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
unit) ->
t3:
(('a3_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
unit) ->
unitSource
val map :
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t ->
t1:
(('a1_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
'a1_diff ->
'result__) ->
t2:
(('a2_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
'a2_diff ->
'result__) ->
t3:
(('a3_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
'a3_diff ->
'result__) ->
'result__Source
val make_matcher :
t1:
(('a1_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
'acc__0 ->
('a1_diff -> 'result__) * 'acc__1) ->
t2:
(('a2_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
'acc__1 ->
('a2_diff -> 'result__) * 'acc__2) ->
t3:
(('a3_diff ->
('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t)
Variantslib.Variant.t ->
'acc__2 ->
('a3_diff -> 'result__) * 'acc__3) ->
'acc__0 ->
(('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t -> 'result__) * 'acc__3