Evince.Diff

Reexports

Definitions

renderLineDiffPlain : LineDiff -> String

  Render a single LineDiff as plain text with a two-character prefix.

Visibility: export

structuralDiff : String -> String -> Maybe (List LineDiff)

  Compute a structural diff between two Show-output strings. Returns Nothing
  if either value can't be parsed or if they are structurally identical.

Visibility: export

failureDiff : FailureInfo -> Maybe (String, List LineDiff)

  Try to extract a structural diff from a FailureInfo. Returns the reason and
  diff lines for ExpectedButGot failures that can be structurally parsed,
  Nothing otherwise.

Visibility: export