Source file comment_desc.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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
open Type_desc
open Odoc_model
open Comment
open Paths_desc
let ignore_loc x = x.Location_.value
type general_inline_element =
[ `Space
| `Word of string
| `Code_span of string
| `Raw_markup of raw_markup_target * string
| `Styled of style * general_inline_element with_location list
| `Reference of Paths.Reference.t * general_link_content
| `Link of string * general_link_content ]
and general_link_content = general_inline_element with_location list
type general_block_element =
[ `Paragraph of general_link_content
| `Code_block of string with_location
| `Verbatim of string
| `Modules of Comment.module_reference list
| `List of
[ `Unordered | `Ordered ] * general_block_element with_location list list
| `Heading of
Comment.heading_attrs * Identifier.Label.t * general_link_content
| `Tag of general_tag ]
and general_tag =
[ `Author of string
| `Deprecated of general_docs
| `Param of string * general_docs
| `Raise of string * general_docs
| `Return of general_docs
| `See of [ `Url | `File | `Document ] * string * general_docs
| `Since of string
| `Before of string * general_docs
| `Version of string ]
and general_docs = general_block_element with_location list
let rec inline_element : general_inline_element t =
let style =
Variant
(function
| `Bold -> C0 "`Bold"
| `Italic -> C0 "`Italic"
| `Emphasis -> C0 "`Emphasis"
| `Superscript -> C0 "`Superscript"
| `Subscript -> C0 "`Subscript")
in
Variant
(function
| `Space -> C0 "`Space"
| `Word x -> C ("`Word", x, string)
| `Code_span x -> C ("`Code_span", x, string)
| `Raw_markup (x1, x2) -> C ("`Raw_markup", (x1, x2), Pair (string, string))
| `Styled (x1, x2) -> C ("`Styled", (x1, x2), Pair (style, link_content))
| `Reference (x1, x2) ->
C ("`Reference", (x1, x2), Pair (reference, link_content))
| `Link (x1, x2) -> C ("`Link", (x1, x2), Pair (string, link_content)))
and link_content : general_link_content t =
List (Indirect (ignore_loc, inline_element))
let module_reference =
let simplify m =
( (m.module_reference :> Paths.Reference.t),
(m.module_synopsis :> general_link_content option) )
in
Indirect (simplify, Pair (reference, Option link_content))
let heading =
let heading_level =
Variant
(function
| `Title -> C0 "`Title"
| `Section -> C0 "`Section"
| `Subsection -> C0 "`Subsection"
| `Subsubsection -> C0 "`Subsubsection"
| `Paragraph -> C0 "`Paragraph"
| `Subparagraph -> C0 "`Subparagraph")
in
let heading_attrs =
Record
[
F ("heading_level", (fun h -> h.heading_level), heading_level);
F ("heading_label_explicit", (fun h -> h.heading_label_explicit), bool);
]
in
Triple (heading_attrs, identifier, link_content)
let rec block_element : general_block_element t =
let list_kind =
Variant
(function `Unordered -> C0 "`Unordered" | `Ordered -> C0 "`Ordered")
in
Variant
(function
| `Paragraph x -> C ("`Paragraph", x, link_content)
| `Code_block x -> C ("`Code_block", ignore_loc x, string)
| `Verbatim x -> C ("`Verbatim", x, string)
| `Modules x -> C ("`Modules", x, List module_reference)
| `List (x1, x2) ->
C ("`List", (x1, (x2 :> general_docs list)), Pair (list_kind, List docs))
| `Heading h -> C ("`Heading", h, heading)
| `Tag x -> C ("`Tag", x, tag))
and tag : general_tag t =
let url_kind =
Variant
(function
| `Url -> C0 "`Url" | `File -> C0 "`File" | `Document -> C0 "`Document")
in
Variant
(function
| `Author x -> C ("`Author", x, string)
| `Deprecated x -> C ("`Deprecated", x, docs)
| `Param (x1, x2) -> C ("`Param", (x1, x2), Pair (string, docs))
| `Raise (x1, x2) -> C ("`Raise", (x1, x2), Pair (string, docs))
| `Return x -> C ("`Return", x, docs)
| `See (x1, x2, x3) ->
C ("`See", (x1, x2, x3), Triple (url_kind, string, docs))
| `Since x -> C ("`Since", x, string)
| `Before (x1, x2) -> C ("`Before", (x1, x2), Pair (string, docs))
| `Version x -> C ("`Version", x, string))
and docs : general_docs t = List (Indirect (ignore_loc, block_element))
let docs = Indirect ((fun n -> ((n :> docs) :> general_docs)), docs)
let docs_or_stop : docs_or_stop t =
Variant (function `Docs x -> C ("`Docs", x, docs) | `Stop -> C0 "`Stop")