Diffing.Define.3o - Man Page
Define(Defs) creates the diffing types from the types defined in Defs and the functors that need to be instantatied with the diffing algorithm parameters
Module
Module Diffing.Define
Documentation
Module Define
: functor (D : Defs) -> sig end
Define(Defs) creates the diffing types from the types defined in Defs and the functors that need to be instantatied with the diffing algorithm parameters
Parameters:
"D"
Diffing.Defs
type change = (D.left, D.right, D.eq, D.diff) Diffing.change
The type of potential changes on a list.
type patch = change list
A patch is an ordered list of changes.
module type Parameters = sig end
module type S = sig end
module Simple : sig end -> S
module Left_variadic : sig end -> S
Variadic diffing
Variadic diffing allows to expand the lists being diffed during diffing. in one specific direction.
module Right_variadic : sig end -> S