Module Patience_diff.Range

module Range: sig .. end

For handling diffs abstractly. A range is a subarray of the two original arrays with a constructor defining its relationship to the two original arrays. A Same range contains a series of elements which can be found in both arrays. A New range contains elements found only in the new array, while an Old range contains elements found only in the old array.

A Replace contains two arrays: elements in the first array are elements found only in the original, old array which have been replaced by elements in the second array, which are elements found only in the new array.

type 'a t = 

val all_same : 'a t list -> bool

val old_only : 'a t list -> 'a t list

old_only hunks drops all New ranges and converts all Replace ranges to Old ranges.

val new_only : 'a t list -> 'a t list

new_only hunks drops all Old ranges and converts all Replace ranges to New ranges.

val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t

val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t

ranges_all_same ranges returns true if all ranges are Same