textmetrics/diff

Diff algorithms over arbitrary lists.

myers implements the O(ND) algorithm of Myers (1986) and produces an optimal edit script. patience implements Bram Cohen’s patience diff over List(String), which often yields more readable diffs for source code with moved blocks. to_unified renders an edit script of strings in the POSIX unified-diff format.

Types

UnifiedOptions

opaque </>

Validated options for to_unified.

Construct via unified_options; override fields through with_context_lines. Read fields via the old_name / new_name / context_lines accessors.

pub opaque type UnifiedOptions

UnifiedOptionsError

</>

Returned by with_context_lines when given a negative argument.

pub type UnifiedOptionsError {
  ContextLinesNegative(got: Int)
}

Constructors

```
ContextLinesNegative(got: Int)
```

Values

context_lines

</>

pub fn context_lines(options: UnifiedOptions) -> Int

Read the context-line count.

myers

</>

pub fn myers(old: List(a), new: List(a)) -> List(edit.Edit(a))

Optimal edit script transforming old into new, computed by the Myers (1986) O(ND) algorithm.

The script’s cost (Insert + Delete) equals levenshtein_list of old vs new with substitution counted as one insert plus one delete. Tie-breaking prefers earlier deletions over insertions, matching GNU diff(1).

new_name

</>

pub fn new_name(options: UnifiedOptions) -> String

Read the new-file label.

old_name

</>

pub fn old_name(options: UnifiedOptions) -> String

Read the old-file label.

patience

</>

pub fn patience(
  old: List(String),
  new: List(String),
) -> List(edit.Edit(String))

Patience diff (Bram Cohen). Identifies anchor lines that are unique in both inputs, computes the longest increasing subsequence of those anchors, and recursively diffs the surrounding segments. Falls back to myers at leaves where no unique anchors exist. Operates on List(String).

to_unified

</>

pub fn to_unified(
  script: List(edit.Edit(String)),
  options: UnifiedOptions,
) -> String

Render an edit script of strings in POSIX unified-diff format.

When the script contains no Insert or Delete steps the output is exactly the empty string.

unified_options

</>

pub fn unified_options(
  old_name old_name: String,
  new_name new_name: String,
) -> UnifiedOptions

Default constructor: context_lines = 3, matching POSIX diff -u3.

with_context_lines

</>

pub fn with_context_lines(
  options: UnifiedOptions,
  n: Int,
) -> Result(UnifiedOptions, UnifiedOptionsError)

Override the context-line count. Returns Error(ContextLinesNegative(n)) when n < 0.

with_new_name

</>

pub fn with_new_name(
  options: UnifiedOptions,
  name: String,
) -> UnifiedOptions

Override the new-file label.

with_old_name

</>

pub fn with_old_name(
  options: UnifiedOptions,
  name: String,
) -> UnifiedOptions

Override the old-file label.