module Eliom_tools:sig
..end
Helpers for (hierarchical) menu generation in HTML5. See the Eliom manual for more information about or .
type
srv =
| |
Srv : |
type'a
hierarchical_site =main_page * ('a * 'a hierarchical_site_item) list
Hierarchical sites description. This is a pair (main page,
subpages list)
. Each subpage is defined by the text to be
displayed in menus and a Eliom_tools.hierarchical_site_item
.
type 'a
hierarchical_site_item =
| |
Disabled |
| |
Site_tree of |
Menu entry description in a hierarchical site.
type
main_page =
| |
Main_page of |
(* | Main page for your subsite: all the subpages are subsections of that page. | *) |
| |
Default_page of |
(* | Like | *) |
| |
Not_clickable |
(* | When you do not want the menu entry to be a link but you want subpages. | *) |
Main page description for a section of a hierarchical site.
module type HTML5_TOOLS =sig
..end
module F:HTML5_TOOLS
Menus with functional node semantics
module D:HTML5_TOOLS
Menus with DOM semantics
val with_js_file : string list -> unit
Record an (external) JavaScript file to be included in
Eliom_tools.F.html
.
val with_css_file : string list -> unit
Record an CSS file to be included in Eliom_tools.F.html
.
val wrap_handler : (unit -> 'a option Lwt.t) ->
('get -> 'post -> 'res Lwt.t) ->
('a -> 'get -> 'post -> 'res Lwt.t) -> 'get -> 'post -> 'res Lwt.t
This function allows one to wrap a service handler easily depending on whether certain information is available or not.
The first arguments provides that information (Some value
) of
not (None
), the second argument is called just with two
arguments when the information is not available (the two arguments
are suggesting GET and POST parameters of a request). The third
argument is called with that information if available and the
parameters.