Module Eliom_tools_common

module Eliom_tools_common: sig .. end

Menus



type ([< Eliom_service.service_method ], [< Eliom_service.registrable ]
, [< Eliom_registration.non_ocaml_service ])
one_page
= (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

Menus


type get_page = (Eliom_service.get_service_kind, Eliom_service.registrable,
Eliom_registration.non_ocaml_service)
one_page
type ([< Eliom_service.service_method ], [< Eliom_service.registrable ], 'c) hierarchical_site_item = 
| Disabled
| Site_tree of ([< Eliom_service.service_method ] as 'a,
[< Eliom_service.registrable ] as 'b, 'c)
hierarchical_site

Hierchical sites


type ([< Eliom_service.service_method ], [< Eliom_service.registrable ]) main_page = 
| Main_page of ([< Eliom_service.service_method ] as 'a,
[< Eliom_service.registrable ] as 'b, Eliom_registration.non_ocaml_service)
one_page
| Default_page of ('a, 'b, Eliom_registration.non_ocaml_service) one_page
| Not_clickable
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

The type of hierarchical sites. A hierarchical site is a pair (main page, subpages).

The difference between Main_page, Default_page and Not_clickable is a bit subtle:

Each subpage is defined by the text to be displayed in menus and a hierarchical_site_item. If the latter is Disabled, the menu entry is disabled.