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

Info

2024-01-25 OCamldoc OCaml library