src/oldocsigenmod/ocsigenboxes.mli

   1 (** Predefined boxes for Ocsigenmod *)
   2
   3 val menu : ?classe:XHTML.M.nmtoken list ->
   4        ((unit,unit, [<`Internal_Service of [<`Public_Service | `Local_Service] | `External_Service],[<`WithSuffix|`WithoutSuffix] as 'tipo,unit Ocsigen.param_name, unit Ocsigen.param_name)
   5         Ocsigen.service * Xhtmltypes.a_content XHTML.M.elt list)
   6         ->
   7        ((unit,unit, [<`Internal_Service of [<`Public_Service | `Local_Service] | `External_Service],[<`WithSuffix|`WithoutSuffix] as 'tipo,unit Ocsigen.param_name, unit Ocsigen.param_name)
   8         Ocsigen.service * Xhtmltypes.a_content XHTML.M.elt list)
   9        list ->
  10        (unit,unit, [<`Internal_Service of [<`Public_Service | `Local_Service] | `External_Service],'tipo, unit Ocsigen.param_name, unit Ocsigen.param_name) Ocsigen.service ->
  11        Ocsigen.server_params -> [> `Ul ] XHTML.M.elt
  12
  13 (** Creates a menu
  14
  15    Example:
  16
  17   [menu ~classe:["mainmenu"]
  18     [
  19      (home, <:xmllist< Home >>);
  20      (infos, <:xmllist< More infos >>)
  21    ] current sp]
  22
  23    Tip: How to make a menu with different kinds of services (external, internal...)?
  24
  25    You need to coerce each of them. For example
  26    [(home :> (('a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, Ocsigen.service_kind) service))]
  27
  28 *)