Scroll to navigation

Diffing.Define(3) OCaml library Diffing.Define(3)

NAME

Diffing.Define - 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

2024-03-14 OCamldoc