1Diffing.Define(3) OCaml library Diffing.Define(3)
2
3
4
6 Diffing.Define - Define(Defs) creates the diffing types from the types
7 defined in Defs and the functors that need to be instantatied with the
8 diffing algorithm parameters
9
11 Module Diffing.Define
12
14 Module Define
15 : functor (D : Defs) -> sig end
16
17
18
19 Define(Defs) creates the diffing types from the types defined in Defs
20 and the functors that need to be instantatied with the diffing algo‐
21 rithm parameters
22
23
24 Parameters:
25
26 "D"
27
28 Diffing.Defs
29
30
31
32
33
34
35
36 type change = (D.left, D.right, D.eq, D.diff) Diffing.change
37
38
39 The type of potential changes on a list.
40
41
42 type patch = change list
43
44
45 A patch is an ordered list of changes.
46
47
48 module type Parameters = sig end
49
50
51
52
53 module type S = sig end
54
55
56
57
58 module Simple : sig end -> S
59
60
61
62
63 module Left_variadic : sig end -> S
64
65
66
67 Variadic diffing
68 Variadic diffing allows to expand the lists being diffed during diff‐
69 ing. in one specific direction.
70
71
72 module Right_variadic : sig end -> S
73
74
75
76
77
78
79
80OCamldoc 2023-07-20 Diffing.Define(3)