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 binary_content = [
  1. | `Binary of string
]
Sourceval pp_binary_content : Ppx_deriving_runtime.Format.formatter -> binary_content -> Ppx_deriving_runtime.unit
Sourceval show_binary_content : binary_content -> Ppx_deriving_runtime.string
Sourceval equal_binary_content : binary_content -> binary_content -> Ppx_deriving_runtime.bool
Sourcetype path =
  1. | Path of string
  2. | ChangedPath of {
    1. old_path : string;
    2. new_path : string;
    }
Sourcetype mode_change = {
  1. old_mode : int;
  2. new_mode : int;
}
Sourcetype changed_file = {
  1. path : path;
  2. mode_change : mode_change option;
  3. content : [ `Text of hunk list | binary_content ];
}
Sourcetype created_file = {
  1. path : string;
  2. mode : int;
  3. content : [ `Text of added_line list | binary_content ];
}
Sourcetype deleted_file = {
  1. path : string;
  2. mode : int;
  3. content : [ `Text of removed_line list | binary_content ];
}
Sourcetype file =
  1. | ChangedFile of changed_file
  2. | CreatedFile of created_file
  3. | DeletedFile of deleted_file
Sourcetype diff = {
  1. files : file list;
}