Module `Config.Style_sheet`Source

Source

type style =
  [ `None
  | `Bold
  | `Faint
  | `Italic
  | `Underline
  | `Reverse
  | `Fg of
    [ Grace_ansi_renderer__.Import.Fmt.color
    | `Hi of
      [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ]
  | `Bg of
    [ Grace_ansi_renderer__.Import.Fmt.color
    | `Hi of
      [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ]
  | Grace_ansi_renderer__.Import.Fmt.color ]
    list

Source

val not_color : 
  [ `None
  | `Bold
  | `Faint
  | `Italic
  | `Underline
  | `Reverse
  | `Fg of
    [ Grace_ansi_renderer__.Import.Fmt.color
    | `Hi of
      [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ]
  | `Bg of
    [ Grace_ansi_renderer__.Import.Fmt.color
    | `Hi of
      [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ]
  | Grace_ansi_renderer__.Import.Fmt.color ] ->
  bool

Source

val no_color_style : 
  [ `None
  | `Bold
  | `Faint
  | `Italic
  | `Underline
  | `Reverse
  | `Fg of
    [ Grace_ansi_renderer__.Import.Fmt.color
    | `Hi of
      [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ]
  | `Bg of
    [ Grace_ansi_renderer__.Import.Fmt.color
    | `Hi of
      [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ]
  | Grace_ansi_renderer__.Import.Fmt.color ]
    list ->
  [ `None
  | `Bold
  | `Faint
  | `Italic
  | `Underline
  | `Reverse
  | `Fg of
    [ Grace_ansi_renderer__.Import.Fmt.color
    | `Hi of
      [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ]
  | `Bg of
    [ Grace_ansi_renderer__.Import.Fmt.color
    | `Hi of
      [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ]
  | Grace_ansi_renderer__.Import.Fmt.color ]
    list

Sourcetype t = {

header_bug : style;
header_error : style;
header_warning : style;
header_note : style;
header_help : style;
header_message : style;
primary_label_bug : style;
primary_label_error : style;
primary_label_warning : style;
primary_label_note : style;
primary_label_help : style;
secondary_label : style;
line_number : style;
source_border : style;
note_bullet : style;

}

Sourceval map : t -> f:(style -> style) -> t

Sourceval no_color : t -> t

Sourceval default : t

Sourceval header : t -> Grace.Diagnostic.Severity.t -> style

Source

val label : 
  t ->
  Grace.Diagnostic.Priority.t ->
  Grace.Diagnostic.Severity.t ->
  style

Install

Dune Dependency

Authors

Maintainers

Sources

doc/grace.ansi_renderer/Grace_ansi_renderer/Config/Style_sheet/index.html

Module `Config.Style_sheet`Source

package grace

Install

Dune Dependency

Authors

Maintainers

Sources

doc/grace.ansi_renderer/Grace_ansi_renderer/Config/Style_sheet/index.html

Module Config.Style_sheetSource

Module `Config.Style_sheet`Source