package git-split

  1. Overview
  2. Docs

Module Git_split.DiffSource

Sourcetype context_line = [
  1. | `ContextLine of string
]
Sourcetype removed_line = [
  1. | `RemovedLine of string
]
Sourcetype added_line = [
  1. | `AddedLine of string
]
Sourcetype hunk = {
  1. starting_line : int;
  2. context_snippet : string option;
  3. lines : line list;
}
Sourcetype changed_file = {
  1. path : string;
  2. hunks : hunk list;
}
Sourcetype renamed_file = {
  1. old_path : string;
  2. new_path : string;
  3. hunks : hunk list;
}
Sourcetype deleted_file = {
  1. path : string;
  2. lines : removed_line list;
}
Sourcetype created_file = {
  1. path : string;
  2. lines : added_line list;
}
Sourcetype file =
  1. | DeletedFile of deleted_file
  2. | CreatedFile of created_file
  3. | ChangedFile of changed_file
  4. | RenamedFile of renamed_file
Sourcetype diff = {
  1. files : file list;
}