package git-split

  1. Overview
  2. Docs

Module Git_split.TuiSource

Sourceval update : [> `Key of [> `ASCII of char | `Arrow of [> `Down | `Left | `Right | `Up ] | `Enter ] * 'a ] -> TuiModel.model -> TuiModel.model
Sourceval render_line : TuiTypes.line -> bool -> Notty.image
Sourceval render_hunk : TuiTypes.hunk -> int -> bool -> Notty.image list option -> Notty.image list
Sourceval render_file : TuiTypes.file -> bool -> Notty.image list option -> Notty.image list
Sourceval render_model : TuiModel.model -> Notty.image list
Sourceval count_hunk_visible_lines : TuiTypes.hunk -> int
Sourceval count_file_visible_lines : TuiTypes.file -> int
Sourceval cursor_index : TuiModel.model -> int
Sourceval view : TuiModel.model -> int -> Notty.image
Sourceval any_lines_selected : TuiTypes.file Zipper.zipper -> bool
Sourceval tui_line_of_diff_line : [< `AddedLine of string | `ContextLine of string | `RemovedLine of string ] -> TuiTypes.line
Sourceval model_of_diff : Diff.diff -> TuiModel.model option
Sourceval model_files : TuiModel.model -> TuiTypes.file list
Sourceval diff_line_of_model_line : TuiTypes.line -> [> `AddedLine of string | `ContextLine of string | `RemovedLine of string ] option
Sourceval diff_of_model : TuiModel.model -> Diff.diff