package grace

  1. Overview
  2. Docs
A fancy diagnostics library that allows your compilers to exit with grace

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. A
    Alistair O'Brien

Maintainers

  1. A
    alistair.obrien@trili.tech

Sources

grace-0.1.0.tbz
sha256=19576d3f32e4a69c7ebad26a801b568a2e3bff24a0e4d5ddf3b8bf4eac479d4c
sha512=436db3699126eec797da1be9f530759547804cc081ed365a75ba8ae9b053c05999ae820d294dd20f6a68e0712084579c585105a3855d71b459efc1367172bd66

doc/grace.rendering/Grace_rendering/Config/Style_sheet/index.html

Module Config.Style_sheetSource

Sourcetype style = [ `None | `Bold | `Faint | `Italic | `Underline | `Reverse | `Fg of [ Grace_rendering__.Import.Fmt.color | `Hi of [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ] | `Bg of [ Grace_rendering__.Import.Fmt.color | `Hi of [ `Black | `Blue | `Cyan | `Green | `Magenta | `Red | `White | `Yellow ] ] | Grace_rendering__.Import.Fmt.color ] list
Sourcetype t = {
  1. header_bug : style;
  2. header_error : style;
  3. header_warning : style;
  4. header_note : style;
  5. header_help : style;
  6. header_message : style;
  7. primary_label_bug : style;
  8. primary_label_error : style;
  9. primary_label_warning : style;
  10. primary_label_note : style;
  11. primary_label_help : style;
  12. secondary_label : style;
  13. line_number : style;
  14. source_border : style;
  15. note_bullet : style;
}
Sourceval default : t