Module Eliom_tools.Html5
module Html5 : sig..end
Same functions as above, but with HTML5 elements
val menu :
?classe:HTML5_types.nmtoken list ->
?id:string ->
([< Eliom_services.get_service_kind ] as 'a,
[< Eliom_services.registrable ] as 'b,
[< Eliom_output.non_caml_service ] as 'c)
Eliom_tools_common.one_page *
HTML5_types.flow5_without_interactive Eliom_pervasives.HTML5.M.elt
list ->
(('a, 'b, 'c) Eliom_tools_common.one_page *
HTML5_types.flow5_without_interactive Eliom_pervasives.HTML5.M.elt
list)
list ->
?service:('a, 'b, 'c) Eliom_tools_common.one_page ->
unit -> [> `Ul ] Eliom_pervasives.HTML5.M.elt
Menus ¶
Creates a menu
Example:
menu ~classe:["mainmenu"]
[
(home, <:xmllist< Home >>);
(infos, <:xmllist< More infos >>)
] current ()
The service argument is used to find which item(s) to highlight. If
service is None, the current url is used.
Hierchical sites ¶
val hierarchical_menu_depth_first :
?classe:HTML5_types.nmtoken list ->
?id:string ->
?whole_tree:bool ->
([< Eliom_services.get_service_kind ] as 'a,
[< Eliom_services.registrable ] as 'b, Eliom_output.non_caml_service,
HTML5_types.a_content Eliom_pervasives.HTML5.M.elt list)
Eliom_tools_common.hierarchical_site ->
?service:('a, 'b, Eliom_output.non_caml_service)
Eliom_tools_common.one_page ->
unit -> [> `Ul ] Eliom_pervasives.HTML5.M.elt list
hierarchical_menu_depth_first menu constructs a function taking
as parameters a service
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.
val hierarchical_menu_breadth_first :
?classe:HTML5_types.nmtoken list ->
?id:string ->
([< Eliom_services.get_service_kind ] as 'a,
[< Eliom_services.registrable ] as 'b, Eliom_output.non_caml_service,
HTML5_types.a_content Eliom_pervasives.HTML5.M.elt list)
Eliom_tools_common.hierarchical_site ->
?service:('a, 'b, Eliom_output.non_caml_service)
Eliom_tools_common.one_page ->
unit -> [> `Ul ] Eliom_pervasives.HTML5.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, Eliom_output.non_caml_service,
HTML5_types.a_content Eliom_pervasives.HTML5.M.elt list)
Eliom_tools_common.hierarchical_site ->
?service:('a, 'b, Eliom_output.non_caml_service)
Eliom_tools_common.one_page ->
unit -> [> `Link ] Eliom_pervasives.HTML5.M.elt list
Returns the tags <link rel="subsection" ...> and
<link rev="subsection" ...> for the given hierarchical site.