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. | Path of string
  2. | ChangedPath of {
    1. old_path : string;
    2. new_path : string;
    }
Sourcetype file_kind =
  1. | ChangedFile
  2. | CreatedFile
  3. | DeletedFile
Sourcetype mode =
  1. | Mode of int
  2. | ChangedMode of {
    1. old_mode : int;
    2. new_mode : int;
    }
Sourcetype content =
  1. | Text of {
    1. visibility : visibility;
    2. hunks : hunk list;
    }
  2. | Binary of string * [ `included | `notincluded ]
Sourceval pp_content : Ppx_deriving_runtime.Format.formatter -> content -> Ppx_deriving_runtime.unit
Sourceval show_content : content -> Ppx_deriving_runtime.string
Sourceval equal_content : content -> content -> Ppx_deriving_runtime.bool
Sourcetype file = {
  1. path : path;
  2. kind : file_kind;
  3. mode : mode option;
  4. content : content;
}