module Eliom_tools:sig
..end
type([< Eliom_service.service_method ], [< Eliom_service.registrable ]
one_page =
, [< Eliom_registration.non_ocaml_service ])(unit, unit, [< Eliom_service.service_method ] as 'a, Eliom_service.attached,
Eliom_service.service_kind, [ `WithoutSuffix ], unit, unit,
[< Eliom_service.registrable ] as 'b,
[< Eliom_registration.non_ocaml_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_ocaml_service)
one_page
Eliom_service.service
to registrable GET
services without parameters that do not returns a marshalled OCaml
value.type([< Eliom_service.service_method ], [< Eliom_service.registrable ], 'c)
hierarchical_site =([< Eliom_service.service_method ] as 'a,
[< Eliom_service.registrable ] as 'b)
main_page *
('c * ('a, 'b, 'c) 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 ([< Eliom_service.service_method ], [< Eliom_service.registrable ])
main_page =
| |
Main_page of |
|||
| |
Default_page of |
|||
| |
Not_clickable |
(* |
When you do not want the menu entry to be a link
but you want subpages.
| *) |
type ([< Eliom_service.service_method ], [< Eliom_service.registrable ], 'c)
hierarchical_site_item =
| |
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) ->
('get -> 'post -> 'res Lwt.t) ->
('a -> 'get -> 'post -> 'res Lwt.t) -> 'get -> 'post -> 'res 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.