This is server API (go to client)

Module Eliom_output.​Html5 

module Html5 : sig..end

Eliom service registration and forms creation for HTML5 page

type page = HTML5_types.html Eliom_pervasives.HTML5.M.elt

Service registration 


type options = unit
type return = Eliom_output.http_service
type result = 
  (Eliom_output.browser_content, Eliom_output.http_service)
  Eliom_output.kind
val send : 
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  HTML5_types.html Eliom_pervasives.HTML5.M.elt ->
  (Eliom_output.browser_content, Eliom_output.http_service)
  Eliom_output.kind Lwt.t
val register : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  service:('a, 'b, [< Eliom_services.internal_service_kind ],
           [< Eliom_services.suff ], 'c, 'd, [ `Registrable ],
           Eliom_output.http_service)
          Eliom_services.service ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> 'b -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  unit

Register a service with the associated handler function. register s t f will associate the service s to the function f. f is the function that creates a page, called service handler.

The handler function takes two parameters.* The second and third ones are respectively GET and POST parameters.

For example if t is Eliom_parameters.int "s", then 'get is int.

The ?scope optional parameter is Eliom_common.global by default, which means that the service will be registered in the global table and be available to any client. If you want to restrict the visibility of the service to a browser session, use ~scope:Eliom_common.session. If you want to restrict the visibility of the service to a group of sessions, use ~scope:Eliom_common.session_group. If you have a client side Eliom program running, and you want to restrict the visibility of the service to this instance of the program, use ~scope:Eliom_common.client_process. You can create new scopes with Eliom_common.create_session_group_scope, Eliom_common.create_session_scope and Eliom_common.create_client_process_scope if you want several service sessions on the same site.

If the same service is registered several times with different visibilities, Eliom will choose the service for handling a request in that order: `Client_process, `Session, `Session_group and finally `Global. It means for example that you can register a specialized version of a public service for a session.

Warning: All public services created during initialization must be registered in the public table during initialisation, never after,

Registering services and coservices is always done in memory as there is no means of marshalling closures.

If you register new services dynamically, be aware that they will disappear if you stop the server. If you create dynamically new URLs, be very careful to re-create these URLs when you relaunch the server, otherwise, some external links or bookmarks may be broken!

Some output modules (for example Redirectmod) define their own options for that function. Use the ?options parameter to set them.

The optional parameters ?charset, ?code, ?content_type and ?headers can be used to modify the HTTP answer sent by Eliom. Use this with care.

If ~secure_session is false when the protocol is https, the service will be registered in the unsecure session, otherwise in the secure session with https, the unsecure one with http. (Secure session means that Eliom will ask the browser to send the cookie only through HTTPS). It has no effect for scope `Global.

Note that in the case of CSRF safe coservices, parameters ?scope and ?secure_session must match exactly the scope and secure option specified while creating the CSRF safe service. Otherwise, the registration will fail with 

val register_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?https:bool ->
  ?priority:int ->
  path:Eliom_pervasives.Url.path ->
  get_params:('a, [< Eliom_services.suff ] as 'b, 'c)
             Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> unit -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, unit,
   [> `Attached of
        ([> `Internal of [> `Service ] ], [> `Get ]) Eliom_services.a_s ],
   'b, 'c, unit, [> `Registrable ], Eliom_output.http_service)
  Eliom_services.service

Same as service followed by register

val register_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  fallback:(unit, unit,
            [ `Attached of
                ([ `Internal of [ `Service ] ], [ `Get ])
                Eliom_services.a_s ],
            [ `WithoutSuffix ], unit, unit,
            [< Eliom_services.registrable ], Eliom_output.http_service)
           Eliom_services.service ->
  get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> unit -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, unit,
   [> `Attached of
        ([> `Internal of [> `Coservice ] ], [> `Get ])
        Eliom_services.a_s ],
   [ `WithoutSuffix ], 'b, unit, [> `Registrable ],
   Eliom_output.http_service)
  Eliom_services.service

Same as coservice followed by register

val register_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> unit -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
   [ `WithoutSuffix ], 'b, unit, [> `Registrable ],
   Eliom_output.http_service)
  Eliom_services.service

Same as coservice' followed by register

val register_post_service : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?https:bool ->
  ?priority:int ->
  fallback:('a, unit,
            [ `Attached of
                ([ `Internal of [ `Coservice | `Service ] ], [ `Get ])
                Eliom_services.a_s ],
            [< Eliom_services.suff ] as 'b, 'c, unit, [< 
            `Registrable ], 'd)
           Eliom_services.service ->
  post_params:('e, [ `WithoutSuffix ], 'f) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> 'e -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, 'e,
   [> `Attached of
        ([> `Internal of [ `Coservice | `Service ] ], [> `Post ])
        Eliom_services.a_s ],
   'b, 'c, 'f, [> `Registrable ], Eliom_output.http_service)
  Eliom_services.service

Same as post_service followed by register

val register_post_coservice : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?https:bool ->
  fallback:('a, unit,
            [ `Attached of
                ([ `Internal of [< `Coservice | `Service ] ], [ `Get ])
                Eliom_services.a_s ],
            [< Eliom_services.suff ] as 'b, 'c, unit, [< 
            `Registrable ], Eliom_output.http_service)
           Eliom_services.service ->
  post_params:('d, [ `WithoutSuffix ], 'e) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a -> 'd -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  ('a, 'd,
   [> `Attached of
        ([> `Internal of [> `Coservice ] ], [> `Post ])
        Eliom_services.a_s ],
   'b, 'c, 'e, [> `Registrable ], Eliom_output.http_service)
  Eliom_services.service

Same as post_coservice followed by register

val register_post_coservice' : 
  ?scope:[< Eliom_common.scope ] ->
  ?options:unit ->
  ?charset:string ->
  ?code:int ->
  ?content_type:string ->
  ?headers:Http_headers.t ->
  ?secure_session:bool ->
  ?name:string ->
  ?csrf_safe:bool ->
  ?csrf_scope:[< Eliom_common.user_scope ] ->
  ?csrf_secure:bool ->
  ?max_use:int ->
  ?timeout:float ->
  ?keep_get_na_params:bool ->
  ?https:bool ->
  post_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
  ?error_handler:((string * exn) list ->
                  HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  (unit -> 'a -> HTML5_types.html Eliom_pervasives.HTML5.M.elt Lwt.t) ->
  (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
   [ `WithoutSuffix ], unit, 'b, [> `Registrable ],
   Eliom_output.http_service)
  Eliom_services.service

Same as post_coservice' followed by register

val make_string_uri : 
  ?absolute:bool ->
  ?absolute_path:bool ->
  ?https:bool ->
  service:('a, unit, [< Eliom_services.get_service_kind ],
           [< Eliom_services.suff ], 'b, unit,
           [< Eliom_services.registrable ], 'c)
          Eliom_services.service ->
  ?hostname:string ->
  ?port:int ->
  ?fragment:string ->
  ?keep_nl_params:[ `All | `None | `Persistent ] ->
  ?nl_params:Eliom_parameters.nl_params_set -> 'a -> string
val make_uri : 
  ?absolute:bool ->
  ?absolute_path:bool ->
  ?https:bool ->
  service:('a, unit, [< Eliom_services.get_service_kind ],
           [< Eliom_services.suff ], 'b, unit,
           [< Eliom_services.registrable ], 'c)
          Eliom_services.service ->
  ?hostname:string ->
  ?port:int ->
  ?fragment:string ->
  ?keep_nl_params:[ `All | `None | `Persistent ] ->
  ?nl_params:Eliom_parameters.nl_params_set -> 'a -> HTML5_types.uri
val make_uri_components : 
  ?absolute:bool ->
  ?absolute_path:bool ->
  ?https:bool ->
  service:('a, unit, [< Eliom_services.get_service_kind ],
           [< Eliom_services.suff ], 'b, unit,
           [< Eliom_services.registrable ], 'c)
          Eliom_services.service ->
  ?hostname:string ->
  ?port:int ->
  ?fragment:string ->
  ?keep_nl_params:[ `All | `None | `Persistent ] ->
  ?nl_params:Eliom_parameters.nl_params_set ->
  'a -> string * (string * string) list * string option
val make_post_uri_components : 
  ?absolute:bool ->
  ?absolute_path:bool ->
  ?https:bool ->
  service:('a, 'b, [< Eliom_services.post_service_kind ],
           [< Eliom_services.suff ], 'c, 'd,
           [< Eliom_services.registrable ], 'e)
          Eliom_services.service ->
  ?hostname:string ->
  ?port:int ->
  ?fragment:string ->
  ?keep_nl_params:[ `All | `None | `Persistent ] ->
  ?nl_params:Eliom_parameters.nl_params_set ->
  ?keep_get_na_params:bool ->
  'a ->
  'b ->
  string * (string * string) list * string option *
  (string * string) list
val make_proto_prefix : ?hostname:string -> ?port:int -> bool -> string
val a : 
  ?absolute:bool ->
  ?absolute_path:bool ->
  ?https:bool ->
  ?a:HTML5_types.a_attrib Eliom_pervasives.HTML5.M.attrib list ->
  service:('a, unit, [< Eliom_services.get_service_kind ],
           [< Eliom_services.suff ], 'b, unit,
           [< Eliom_services.registrable ], 'c)
          Eliom_services.service ->
  ?hostname:string ->
  ?port:int ->
  ?fragment:string ->
  ?keep_nl_params:[ `All | `None | `Persistent ] ->
  ?nl_params:Eliom_parameters.nl_params_set ->
  ?no_appl:bool ->
  'd Eliom_pervasives.HTML5.M.elt list ->
  'a -> [> 'd HTML5_types.a ] Eliom_pervasives.HTML5.M.elt
val js_script : 
  ?a:HTML5_types.script_attrib Eliom_pervasives.HTML5.M.attrib list ->
  uri:HTML5_types.uri ->
  unit -> [> HTML5_types.script ] Eliom_pervasives.HTML5.M.elt
val get_form : 
  ?absolute:bool ->
  ?absolute_path:bool ->
  ?https:bool ->
  ?a:HTML5_types.form_attrib Eliom_pervasives.HTML5.M.attrib list ->
  service:('a, unit, [< Eliom_services.get_service_kind ],
           [< Eliom_services.suff ], 'b, 'c,
           [< Eliom_services.registrable ], 'd)
          Eliom_services.service ->
  ?hostname:string ->
  ?port:int ->
  ?fragment:string ->
  ?keep_nl_params:[ `All | `None | `Persistent ] ->
  ?nl_params:Eliom_parameters.nl_params_set ->
  ?no_appl:bool ->
  ('b -> HTML5_types.form_content Eliom_pervasives.HTML5.M.elt list) ->
  [> HTML5_types.form ] Eliom_pervasives.HTML5.M.elt
val lwt_get_form : 
  ?absolute:bool ->
  ?absolute_path:bool ->
  ?https:bool ->
  ?a:HTML5_types.form_attrib Eliom_pervasives.HTML5.M.attrib list ->
  service:('a, unit, [< Eliom_services.get_service_kind ],
           [< Eliom_services.suff ], 'b, 'c,
           [< Eliom_services.registrable ], 'd)
          Eliom_services.service ->
  ?hostname:string ->
  ?port:int ->
  ?fragment:string ->
  ?keep_nl_params:[ `All | `None | `Persistent ] ->
  ?nl_params:Eliom_parameters.nl_params_set ->
  ?no_appl:bool ->
  ('b ->
   HTML5_types.form_content Eliom_pervasives.HTML5.M.elt list Lwt.t) ->
  [> HTML5_types.form ] Eliom_pervasives.HTML5.M.elt Lwt.t
val post_form : 
  ?absolute:bool ->
  ?absolute_path:bool ->
  ?https:bool ->
  ?a:HTML5_types.form_attrib Eliom_pervasives.HTML5.M.attrib list ->
  service:('a, 'b, [< Eliom_services.post_service_kind ],
           [< Eliom_services.suff ], 'c, 'd,
           [< Eliom_services.registrable ], 'e)
          Eliom_services.service ->
  ?hostname:string ->
  ?port:int ->
  ?fragment:string ->
  ?keep_nl_params:[ `All | `None | `Persistent ] ->
  ?keep_get_na_params:bool ->
  ?nl_params:Eliom_parameters.nl_params_set ->
  ?no_appl:bool ->
  ('d -> HTML5_types.form_content Eliom_pervasives.HTML5.M.elt list) ->
  'a -> [> HTML5_types.form ] Eliom_pervasives.HTML5.M.elt
val lwt_post_form : 
  ?absolute:bool ->
  ?absolute_path:bool ->
  ?https:bool ->
  ?a:HTML5_types.form_attrib Eliom_pervasives.HTML5.M.attrib list ->
  service:('a, 'b, [< Eliom_services.post_service_kind ],
           [< Eliom_services.suff ], 'c, 'd,
           [< Eliom_services.registrable ], 'e)
          Eliom_services.service ->
  ?hostname:string ->
  ?port:int ->
  ?fragment:string ->
  ?keep_nl_params:[ `All | `None | `Persistent ] ->
  ?keep_get_na_params:bool ->
  ?nl_params:Eliom_parameters.nl_params_set ->
  ?no_appl:bool ->
  ('d ->
   HTML5_types.form_content Eliom_pervasives.HTML5.M.elt list Lwt.t) ->
  'a -> [> HTML5_types.form ] Eliom_pervasives.HTML5.M.elt Lwt.t
val int_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  input_type:[< `Hidden | `Password | `Submit | `Text ] ->
  ?name:[< int Eliom_parameters.setoneradio ]
        Eliom_parameters.param_name ->
  ?value:int ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int32_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  input_type:[< `Hidden | `Password | `Submit | `Text ] ->
  ?name:[< int32 Eliom_parameters.setoneradio ]
        Eliom_parameters.param_name ->
  ?value:int32 ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int64_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  input_type:[< `Hidden | `Password | `Submit | `Text ] ->
  ?name:[< int64 Eliom_parameters.setoneradio ]
        Eliom_parameters.param_name ->
  ?value:int64 ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val float_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  input_type:[< `Hidden | `Password | `Submit | `Text ] ->
  ?name:[< float Eliom_parameters.setoneradio ]
        Eliom_parameters.param_name ->
  ?value:float ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val string_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  input_type:[< `Hidden | `Password | `Submit | `Text ] ->
  ?name:[< string Eliom_parameters.setoneradio ]
        Eliom_parameters.param_name ->
  ?value:string ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val user_type_input : 
  ('a -> string) ->
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  input_type:[< `Hidden | `Password | `Submit | `Text ] ->
  ?name:[< 'a Eliom_parameters.setoneradio ] Eliom_parameters.param_name ->
  ?value:'a ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val raw_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  input_type:[< `Button | `Hidden | `Password | `Reset | `Submit | `Text ] ->
  ?name:string ->
  ?value:string ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val file_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< Eliom_pervasives.file_info Eliom_parameters.setoneradio ]
       Eliom_parameters.param_name ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val image_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< Eliom_parameters.coordinates Eliom_parameters.oneradio ]
       Eliom_parameters.param_name ->
  ?src:HTML5_types.uri ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int_image_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< (int * Eliom_parameters.coordinates) Eliom_parameters.oneradio ]
       Eliom_parameters.param_name ->
  value:int ->
  ?src:HTML5_types.uri ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int32_image_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< (int32 * Eliom_parameters.coordinates)
          Eliom_parameters.oneradio ]
       Eliom_parameters.param_name ->
  value:int32 ->
  ?src:HTML5_types.uri ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int64_image_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< (int64 * Eliom_parameters.coordinates)
          Eliom_parameters.oneradio ]
       Eliom_parameters.param_name ->
  value:int64 ->
  ?src:HTML5_types.uri ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val float_image_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< (float * Eliom_parameters.coordinates)
          Eliom_parameters.oneradio ]
       Eliom_parameters.param_name ->
  value:float ->
  ?src:HTML5_types.uri ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val string_image_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< (string * Eliom_parameters.coordinates)
          Eliom_parameters.oneradio ]
       Eliom_parameters.param_name ->
  value:string ->
  ?src:HTML5_types.uri ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val user_type_image_input : 
  ('a -> string) ->
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< ('a * Eliom_parameters.coordinates) Eliom_parameters.oneradio ]
       Eliom_parameters.param_name ->
  value:'a ->
  ?src:HTML5_types.uri ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val raw_image_input : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:string ->
  value:string ->
  ?src:HTML5_types.uri ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val bool_checkbox : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `One of bool ] Eliom_parameters.param_name ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int_checkbox : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Set of int ] Eliom_parameters.param_name ->
  value:int ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int32_checkbox : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Set of int32 ] Eliom_parameters.param_name ->
  value:int32 ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int64_checkbox : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Set of int64 ] Eliom_parameters.param_name ->
  value:int64 ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val float_checkbox : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Set of float ] Eliom_parameters.param_name ->
  value:float ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val string_checkbox : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Set of string ] Eliom_parameters.param_name ->
  value:string ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val user_type_checkbox : 
  ('a -> string) ->
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Set of 'a ] Eliom_parameters.param_name ->
  value:'a ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val raw_checkbox : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:string ->
  value:string ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val string_radio : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Radio of string ] Eliom_parameters.param_name ->
  value:string ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int_radio : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Radio of int ] Eliom_parameters.param_name ->
  value:int ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int32_radio : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Radio of int32 ] Eliom_parameters.param_name ->
  value:int32 ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val int64_radio : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Radio of int64 ] Eliom_parameters.param_name ->
  value:int64 ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val float_radio : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Radio of float ] Eliom_parameters.param_name ->
  value:float ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val user_type_radio : 
  ('a -> string) ->
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:[ `Radio of 'a ] Eliom_parameters.param_name ->
  value:'a ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val raw_radio : 
  ?a:HTML5_types.input_attrib Eliom_pervasives.HTML5.M.attrib list ->
  ?checked:bool ->
  name:string ->
  value:string ->
  unit -> [> HTML5_types.input ] Eliom_pervasives.HTML5.M.elt
val string_button : 
  ?a:HTML5_types.button_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< string Eliom_parameters.setone ] Eliom_parameters.param_name ->
  value:string ->
  HTML5_types.button_content Eliom_pervasives.HTML5.M.elt list ->
  [> HTML5_types.button ] Eliom_pervasives.HTML5.M.elt
val int_button : 
  ?a:HTML5_types.button_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< int Eliom_parameters.setone ] Eliom_parameters.param_name ->
  value:int ->
  HTML5_types.button_content Eliom_pervasives.HTML5.M.elt list ->
  [> HTML5_types.button ] Eliom_pervasives.HTML5.M.elt
val int32_button : 
  ?a:HTML5_types.button_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< int32 Eliom_parameters.setone ] Eliom_parameters.param_name ->
  value:int32 ->
  HTML5_types.button_content Eliom_pervasives.HTML5.M.elt list ->
  [> HTML5_types.button ] Eliom_pervasives.HTML5.M.elt
val int64_button : 
  ?a:HTML5_types.button_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< int64 Eliom_parameters.setone ] Eliom_parameters.param_name ->
  value:int64 ->
  HTML5_types.button_content Eliom_pervasives.HTML5.M.elt list ->
  [> HTML5_types.button ] Eliom_pervasives.HTML5.M.elt
val float_button : 
  ?a:HTML5_types.button_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< float Eliom_parameters.setone ] Eliom_parameters.param_name ->
  value:float ->
  HTML5_types.button_content Eliom_pervasives.HTML5.M.elt list ->
  [> HTML5_types.button ] Eliom_pervasives.HTML5.M.elt
val user_type_button : 
  ('a -> string) ->
  ?a:HTML5_types.button_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< 'a Eliom_parameters.setone ] Eliom_parameters.param_name ->
  value:'a ->
  HTML5_types.button_content Eliom_pervasives.HTML5.M.elt list ->
  [> HTML5_types.button ] Eliom_pervasives.HTML5.M.elt
val raw_button : 
  ?a:HTML5_types.button_attrib Eliom_pervasives.HTML5.M.attrib list ->
  button_type:[< `Button | `Reset | `Submit ] ->
  name:string ->
  value:string ->
  HTML5_types.button_content Eliom_pervasives.HTML5.M.elt list ->
  [> HTML5_types.button ] Eliom_pervasives.HTML5.M.elt
val button : 
  ?a:HTML5_types.button_attrib Eliom_pervasives.HTML5.M.attrib list ->
  button_type:[< `Button | `Reset | `Submit ] ->
  HTML5_types.button_content Eliom_pervasives.HTML5.M.elt list ->
  [> HTML5_types.button ] Eliom_pervasives.HTML5.M.elt
val textarea : 
  ?a:HTML5_types.textarea_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< string Eliom_parameters.setoneradio ]
       Eliom_parameters.param_name ->
  ?value:string ->
  rows:int ->
  cols:int ->
  unit -> [> HTML5_types.textarea ] Eliom_pervasives.HTML5.M.elt
val raw_textarea : 
  ?a:HTML5_types.textarea_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:string ->
  ?value:string ->
  rows:int ->
  cols:int ->
  unit -> [> HTML5_types.textarea ] Eliom_pervasives.HTML5.M.elt
type 'a soption = 
  HTML5_types.option_attrib Eliom_pervasives.HTML5.M.attrib list * 'a *
  HTML5_types.pcdata Eliom_pervasives.HTML5.M.elt option * 
  bool
type 'a select_opt =  | Optgroup of 
    [ `Accesskey
    | `Class
    | `Contenteditable
    | `Contextmenu
    | `Dir
    | `Disabled
    | `Draggable
    | `Hidden
    | `Id
    | `OnAbort
    | `OnBlur
    | `OnCanPlay
    | `OnCanPlayThrough
    | `OnChange
    | `OnClick
    | `OnContextMenu
    | `OnDblClick
    | `OnDrag
    | `OnDragEnd
    | `OnDragEnter
    | `OnDragLeave
    | `OnDragOver
    | `OnDragStart
    | `OnDrop
    | `OnDurationChange
    | `OnEmptied
    | `OnEnded
    | `OnError
    | `OnFocus
    | `OnFormChange
    | `OnFormInput
    | `OnInput
    | `OnInvalid
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnLoad
    | `OnLoadStart
    | `OnLoadedData
    | `OnLoadedMetaData
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `OnMouseWheel
    | `OnPause
    | `OnPlay
    | `OnPlaying
    | `OnProgress
    | `OnRateChange
    | `OnReadyStateChange
    | `OnScroll
    | `OnSeeked
    | `OnSeeking
    | `OnSelect
    | `OnShow
    | `OnStalled
    | `OnSubmit
    | `OnSuspend
    | `OnTimeUpdate
    | `OnVolumeChange
    | `OnWaiting
    | `Spellcheck
    | `Style_Attr
    | `Tabindex
    | `Title
    | `User_data
    | `XML_lang
    | `XMLns ] Eliom_pervasives.HTML5.M.attrib list * string
       * 'a soption
       * 'a soption list | Option of 'a soption
val int_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `One of int ] Eliom_parameters.param_name ->
  int select_opt ->
  int select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val int32_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `One of int32 ] Eliom_parameters.param_name ->
  int32 select_opt ->
  int32 select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val int64_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `One of int64 ] Eliom_parameters.param_name ->
  int64 select_opt ->
  int64 select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val float_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `One of float ] Eliom_parameters.param_name ->
  float select_opt ->
  float select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val string_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `One of string ] Eliom_parameters.param_name ->
  string select_opt ->
  string select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val user_type_select : 
  ('a -> string) ->
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `One of 'a ] Eliom_parameters.param_name ->
  'a select_opt ->
  'a select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val raw_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:string ->
  string select_opt ->
  string select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val int_multiple_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `Set of int ] Eliom_parameters.param_name ->
  int select_opt ->
  int select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val int32_multiple_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `Set of int32 ] Eliom_parameters.param_name ->
  int32 select_opt ->
  int32 select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val int64_multiple_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `Set of int64 ] Eliom_parameters.param_name ->
  int64 select_opt ->
  int64 select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val float_multiple_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `Set of float ] Eliom_parameters.param_name ->
  float select_opt ->
  float select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val string_multiple_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `Set of string ] Eliom_parameters.param_name ->
  string select_opt ->
  string select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val user_type_multiple_select : 
  ('a -> string) ->
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:[< `Set of 'a ] Eliom_parameters.param_name ->
  'a select_opt ->
  'a select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt
val raw_multiple_select : 
  ?a:HTML5_types.select_attrib Eliom_pervasives.HTML5.M.attrib list ->
  name:string ->
  string select_opt ->
  string select_opt list ->
  [> HTML5_types.select ] Eliom_pervasives.HTML5.M.elt