module Eliom_tools:Predefined boxes for Eliomsig
..end
?classe:XHTML.M.nmtoken list ->
?id:string ->
([< Eliom_services.get_service_kind ] as 'a,
[< Eliom_services.registrable ] as 'b)
Eliom_tools_common.one_page * Xhtmltypes.a_content XHTML.M.elt list ->
(('a, 'b) Eliom_tools_common.one_page * Xhtmltypes.a_content XHTML.M.elt list)
list ->
?service:('a, 'b) Eliom_tools_common.one_page ->
sp:Eliom_sessions.server_params -> [> `Ul ] XHTML.M.elt
: Example:
menu ~classe:["mainmenu"]
[
(home, <:xmllist< Home >>);
(infos, <:xmllist< More infos >>)
] current sp
The service
argument is used to find which item(s) to highlight. If
service is None
, the current url is used.
?classe:XHTML.M.nmtoken list ->
?id:string ->
?whole_tree:bool ->
([< Eliom_services.get_service_kind ] as 'a,
[< Eliom_services.registrable ] as 'b,
Xhtmltypes.a_content XHTML.M.elt list)
Eliom_tools_common.hierarchical_site ->
?service:('a, 'b) Eliom_tools_common.one_page ->
sp:Eliom_sessions.server_params -> [> `Ul ] XHTML.M.elt list
: hierarchical_menu_depth_first menu
constructs a function taking
as parameters a service and ~sp
(server parameters)
and displaying a hierarchical menu for this service.
The menu is constructed by exploring the tree using
a depth-first algorithm. It means that the first menu item will be
displayed, followed by the whole sub-menu for this item, then the second
menu item with its sub-menu, and so on.
By default, only the sub-menus for to the url corresponding to
the argument service
are displayed. If you want all the sub-menus to be
displayed, specify ?whole_tree=true
. If service
is None
, the current
page is used.
?classe:XHTML.M.nmtoken list ->
?id:string ->
([< Eliom_services.get_service_kind ] as 'a,
[< Eliom_services.registrable ] as 'b,
Xhtmltypes.a_content XHTML.M.elt list)
Eliom_tools_common.hierarchical_site ->
?service:('a, 'b) Eliom_tools_common.one_page ->
sp:Eliom_sessions.server_params -> [> `Ul ] XHTML.M.elt list
: hierarchical_menu_breadth_first menu
constructs a function taking
as parameters a service and ~sp
(server parameters)
and displaying a hierarchical menu for this service.
The menu is constructed by exploring the tree using a breadth_first algorithm. It means that the whole menu for one level will be displayed, followed by all sub-menus.
Only the sub-menus for to the url corresponding to the argument service
are displayed. If service
is None
, the current url is used.
val structure_links : ([< Eliom_services.get_service_kind ] as 'a,
[< Eliom_services.registrable ] as 'b,
Xhtmltypes.a_content XHTML.M.elt list)
Eliom_tools_common.hierarchical_site ->
?service:('a, 'b) Eliom_tools_common.one_page ->
sp:Eliom_sessions.server_params -> [> `Link ] XHTML.M.elt list
<link rel="subsection" ...>
and
<link rev="subsection" ...>
for the given hierarchical site.