package patience_diff

You can search for identifiers within the package.

in-package search v0.2.0

patience_diff
- Patience_diff_lib
  - Patience_diff
    
    Hunk
    
    Stable
    
    V1
    
    V2
    
    Hunks
    
    Stable
    
    V1
    
    V2
    
    Make
    
    Elt
    
    Matching_block
    
    Stable
    
    V1
    
    Move_id
    
    Stable
    
    V1
    
    Range
    
    Stable
    
    V1
    
    V2
    
    Stable
    
    String
  - Plain_diff

Legend:
Library
Module
Module type
Parameter
Class
Class type

In diff terms, a hunk is a unit of consecutive ranges with some Same context before and after Next, Prev, and Replace ranges. Each hunk contains information about the original arrays, specifically the starting indexes and the number of elements in both arrays to which the hunk refers.

Furthermore, a diff is essentially a list of hunks. The simplest case is a diff with infinite context, consisting of exactly one hunk.

type 'a t = {

prev_start : int;
prev_size : int;
next_start : int;
next_size : int;
ranges : 'a Patience_diff_lib__.Range.t list;

}

val ranges : 'a t -> 'a Patience_diff_lib__.Range.t list

val next_size : 'a t -> int

val next_start : 'a t -> int

val prev_size : 'a t -> int

val prev_start : 'a t -> int

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

val all_same : 'a t -> bool

all_same t returns true if t contains only Same ranges.

val concat_map : 
  'a t ->
  f:('a Patience_diff_lib__.Range.t -> 'b Patience_diff_lib__.Range.t list) ->
  'b t

concat_map t ~f applies List.concat_map on t.ranges.

module Stable : sig ... end