package git-split

  1. Overview
  2. Docs

Module Git_split.TuiTypesSource

Sourcetype line =
  1. | Context of string
  2. | Diff of string * [ `added | `removed ] * [ `included | `notincluded ]
Sourcetype visibility =
  1. | Expanded
  2. | Collapsed
Sourcetype hunk = {
  1. starting_line : int;
  2. context_snippet : string option;
  3. visibility : visibility;
  4. lines : line list;
}
Sourcetype path =
  1. | FilePath of string
  2. | ChangedPath of {
    1. old_path : string;
    2. new_path : string;
    }
Sourcetype file = {
  1. path : path;
  2. visibility : visibility;
  3. hunks : hunk list;
}