package ppx_diff
A PPX rewriter that genreates the implementation of [Ldiffable.S].
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=5e817094edf127d384110227ecfdc3e23f0f130266d48d1f326a03f6f58a2609
doc/ppx_diff.diffable/Diffable/Tuples/Tuple5/Diff/Entry_diff/Variants/index.html
Module Entry_diff.VariantsSource
Source
val t1 :
('a1_diff ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
t)
Variantslib.Variant.tSource
val t2 :
('a2_diff ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
t)
Variantslib.Variant.tSource
val t3 :
('a3_diff ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
t)
Variantslib.Variant.tSource
val t4 :
('a4_diff ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
t)
Variantslib.Variant.tSource
val t5 :
('a5_diff ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
t)
Variantslib.Variant.tSource
val fold :
init:'acc__0 ->
t1:
('acc__0 ->
('a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__1) ->
t2:
('acc__1 ->
('a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__2) ->
t3:
('acc__2 ->
('a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__3) ->
t4:
('acc__3 ->
('a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__4) ->
t5:
('acc__4 ->
('a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__5) ->
'acc__5Source
val iter :
t1:
(('a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
unit) ->
t2:
(('a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
unit) ->
t3:
(('a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
unit) ->
t4:
(('a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
unit) ->
t5:
(('a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
unit) ->
unitSource
val map :
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t ->
t1:
(('a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'a1_diff ->
'result__) ->
t2:
(('a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'a2_diff ->
'result__) ->
t3:
(('a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'a3_diff ->
'result__) ->
t4:
(('a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'a4_diff ->
'result__) ->
t5:
(('a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'a5_diff ->
'result__) ->
'result__Source
val make_matcher :
t1:
(('a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__0 ->
('a1_diff -> 'result__) * 'acc__1) ->
t2:
(('a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__1 ->
('a2_diff -> 'result__) * 'acc__2) ->
t3:
(('a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__2 ->
('a3_diff -> 'result__) * 'acc__3) ->
t4:
(('a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__3 ->
('a4_diff -> 'result__) * 'acc__4) ->
t5:
(('a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff)
t)
Variantslib.Variant.t ->
'acc__4 ->
('a5_diff -> 'result__) * 'acc__5) ->
'acc__0 ->
(('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
t ->
'result__)
* 'acc__5