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
Sourceval ansi_of_color : color -> string
Sourceval code_of_style : style -> string
Sourceval ansi_of_style_l : style list -> string
Sourcetype Format.stag +=
  1. | Style of style list
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 no_markup : style list -> tag_style
Sourceval default_styles : styles
Sourceval cur_styles : styles ref
Sourceval get_styles : unit -> styles
Sourceval set_styles : styles -> unit
Sourceval style_of_tag : Format.stag -> tag_style
Sourceval as_inline_code : (Format_doc.Doc.t ref -> 'a -> 'b) -> Format_doc.Doc.t ref -> 'a -> unit
Sourceval inline_code : Format_doc.Doc.t ref -> string -> unit
Sourceval hint : Format_doc.Doc.t ref -> unit
Sourceval mark_open_tag : or_else:(Format.stag -> string) -> Format.stag -> string
Sourceval mark_close_tag : or_else:(Format.stag -> string) -> Format.stag -> string
Sourceval set_tag_handling : Format.formatter -> unit
Sourceval setup : Color.setting option -> unit