package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type color = [
  1. | `BLACK
  2. | `BLUE
  3. | `CYAN
  4. | `DEFAULT
  5. | `GREEN
  6. | `INDEX of int
  7. | `LIGHT_BLACK
  8. | `LIGHT_BLUE
  9. | `LIGHT_CYAN
  10. | `LIGHT_GREEN
  11. | `LIGHT_MAGENTA
  12. | `LIGHT_RED
  13. | `LIGHT_WHITE
  14. | `LIGHT_YELLOW
  15. | `MAGENTA
  16. | `RED
  17. | `RGB of int * int * int
  18. | `WHITE
  19. | `YELLOW
]
type style = {
  1. fg_color : color option;
  2. bg_color : color option;
  3. bold : bool option;
  4. italic : bool option;
  5. underline : bool option;
  6. negative : bool option;
  7. prefix : string option;
  8. suffix : string option;
}
val make : ?fg_color:color -> ?bg_color:color -> ?bold:bool -> ?italic:bool -> ?underline:bool -> ?negative:bool -> ?style:style -> ?prefix:string -> ?suffix:string -> unit -> style
val merge : style -> style -> style
val diff : style -> style -> style
val repr : style -> int list
val eval : style -> string
val reset : string
val reset_style : style
val has_style : Unix.file_descr -> bool
val parse : string -> (string * style) list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct