jon.recoil.org

Module Misc.StyleSource

Sourcetype color =
  1. | Black
  2. | Red
  3. | Green
  4. | Yellow
  5. | Blue
  6. | Magenta
  7. | Cyan
  8. | White
Sourcetype style =
  1. | FG of color
  2. | BG of color
  3. | Bold
  4. | Reset
Sourcetype Format.stag +=
  1. | Style of style list
Sourceval ansi_of_style_l : style list -> string
Sourcetype tag_style = {
  1. ansi : style list;
  2. text_open : string;
  3. text_close : string;
}
Sourcetype styles = {
  1. error : tag_style;
  2. warning : tag_style;
  3. loc : tag_style;
  4. hint : tag_style;
  5. inline_code : tag_style;
}
Sourceval hint : Format_doc.formatter -> unit
Sourceval as_inline_code : 'a Format_doc.printer -> 'a Format_doc.printer
Sourceval inline_code : string Format_doc.printer
Sourceval default_styles : styles
Sourceval get_styles : unit -> styles
Sourceval set_styles : styles -> unit
Sourceval setup : Color.setting option -> unit
Sourceval set_tag_handling : Format.formatter -> unit