jon.recoil.org
this repo has no description
1(* HTML output configuration *)
2
3type t = {
4 theme_uri : Types.uri option;
5 support_uri : Types.uri option;
6 search_uris : Types.file_uri list;
7 extra_css : string list;
8 remap : (string * string) list;
9 semantic_uris : bool;
10 search_result : bool;
11 (* Used to not render links, for summary in search results *)
12 indent : bool;
13 flat : bool;
14 open_details : bool;
15 as_json : bool;
16 shell : string option;
17 home_breadcrumb : string option;
18 mode_links : string option;
19 config_values : (string * string) list;
20}
21
22let v ?(search_result = false) ?theme_uri ?support_uri ?(search_uris = [])
23 ?(extra_css = []) ~semantic_uris ~indent ~flat ~open_details ~as_json ?shell
24 ~remap ?home_breadcrumb ?mode_links ?(config_values = []) () =
25 {
26 semantic_uris;
27 indent;
28 flat;
29 open_details;
30 theme_uri;
31 support_uri;
32 search_uris;
33 extra_css;
34 as_json;
35 shell;
36 search_result;
37 remap;
38 home_breadcrumb;
39 mode_links;
40 config_values;
41 }
42
43let theme_uri config : Types.uri =
44 match config.theme_uri with None -> Types.Relative None | Some uri -> uri
45
46let support_uri config : Types.uri =
47 match config.support_uri with None -> Types.Relative None | Some uri -> uri
48
49let search_uris config = config.search_uris
50
51let extra_css config = config.extra_css
52
53let semantic_uris config = config.semantic_uris
54
55let indent config = config.indent
56
57let flat config = config.flat
58
59let open_details config = config.open_details
60
61let as_json config = config.as_json
62
63let search_result config = config.search_result
64
65let shell config = config.shell
66
67let remap config = config.remap
68
69let home_breadcrumb config = config.home_breadcrumb
70
71let mode_links config = config.mode_links
72
73let config_values config = config.config_values