package acgtk

  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (3)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

doc/src/acgtk.utilsLib/style.ml.html

Source file style.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
type basic_color =
  | Black
  | Red
  | Green
  | Yellow
  | Blue
  | Magenta
  | Cyan
  | White

type intensity =
  | Standard
  | High

type color = 
  | Code of (intensity * basic_color)
  | RGB of (int * int * int)

type style =
  | No
  | Bold
  | Faint
  | Italic
  | Underline
  | FG of color
  | BG of color

type style_tag =
  | Open of style
  | Close of style

module type SemTagSig =
  sig
    type tag
    val tags : (string * tag  * style list) list
  end

module type SemTagHandlerSig =
  sig
    type semtag
    val tag_to_name : semtag -> string
  end

module Make_Handler(S:SemTagSig)=
  struct
    type semtag = S.tag
    let tag_to_name tag =
      let name, _, _  = List.find (fun (_, t, _) -> tag = t) S.tags in
      name
  end

module type ActualRendererSig =
  sig
    val render : style list -> string -> string
    (** [render style s] returns a string rendering the style
        [style] *)
    
    val render_mark : style_tag list -> string
  (** [render_mark att s] returns a string rendering the sequence (in
      the same order) of attributes [att] *)
  end