module Eliom_tools:Helpers for (hierarchical) menu generation in HTML5. See the Eliom manual for more information about or .sig
..end
type('a, [< Eliom_service.registrable ], [< Eliom_registration.non_caml_service ])
one_page =(unit, unit, 'a, [ `WithoutSuffix ], unit, unit,
[< Eliom_service.registrable ] as 'b,
[< Eliom_registration.non_caml_service ] as 'c)
Eliom_service.service
Eliom_service.service
to services without
parameters that do not returns a marshalled OCaml value.typeget_page =
(Eliom_service.get_service_kind, Eliom_service.registrable,
Eliom_registration.non_caml_service)
one_page
Eliom_service.service
to registrable GET
services without parameters that do not returns a marshalled OCaml
value.type('a, [< Eliom_service.registrable ], 'b)
hierarchical_site =('a, [< Eliom_service.registrable ] as 'c) main_page *
('b * ('a, 'c, 'b) hierarchical_site_item) list
(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, [< Eliom_service.registrable ])
main_page =
| |
Main_page of |
(* | Main page for your subsite: all the subpages are subsections of that page. | *) |
| |
Default_page of |
(* | Like Main_page but is not taken into account for computing
which is the current page in the menu. Use it for example when
there is no main page, but you want one of the subpages to be
the default page for your subsite. The service you use as
default page must appear another time in the subtree! | *) |
| |
Not_clickable |
(* | When you do not want the menu entry to be a link but you want subpages. | *) |
type ('a, [< Eliom_service.registrable ], 'b)
hierarchical_site_item =
| |
Disabled |
(* | The menu entry is disabled. | *) |
| |
Site_tree of |
(* | The menu entry as a label and subsections. | *) |
module type HTML5_TOOLS =sig
..end
module F:HTML5_TOOLS
module D:HTML5_TOOLS
val with_js_file : string list -> unit
Eliom_tools.F.html
.val with_css_file : string list -> unit
Eliom_tools.F.html
.val wrap_handler : (unit -> 'a option Lwt.t) ->
('b -> 'c -> 'd Lwt.t) ->
('a -> 'b -> 'c -> 'd Lwt.t) -> 'b -> 'c -> 'd Lwt.t
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.