.TH "Eliom_content.Xhtml.F" 3o 2012-06-11 OCamldoc ""
.SH NAME
Eliom_content.Xhtml.F \- Creation of functional HTML5 content (copy-able but not referable).
.SH Module
Module   Eliom_content.Xhtml.F
.SH Documentation
.sp
Module
.BI "F"
 : 
.B sig  end

.sp
Creation of functional HTML5 content (copy\-able but not referable)\&.
.sp

.sp

.sp
.sp
.I include Eliom_content_core.Xhtml.F
.sp

.B Content creation
See 
.sp

.sp

.PP

.B === 
.B Forms creation 
.B  ===

.PP

.PP

.B === 
.B Links and forms
.B  ===

.PP

.I val make_uri 
: 
.B ?absolute:bool ->
.B   ?absolute_path:bool ->
.B   ?https:bool ->
.B   service:('a, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'b, unit, [< Eliom_service.registrable ],
.B            'c)
.B           Eliom_service.service ->
.B   ?hostname:string ->
.B   ?port:int ->
.B   ?fragment:string ->
.B   ?keep_nl_params:[ `All | `None | `Persistent ] ->
.B   ?nl_params:Eliom_parameter.nl_params_set -> 'a -> Eliom_content_core.Xml.uri
.sp
The function 
.B make_uri service get_params
returns the URL of the
service 
.B service
applied to the GET parameters 
.B get_params
\&. By
default the returned URL is relative to the current request URL
but it is absolute when one of the following conditions is met:
.sp
.sp
\-the optional parameter 
.B ~absolute_path
is 
.B true
\&.
.sp
\-the optional parameter 
.B ~absolute
is 
.B true
\&.
.sp
\-the optional parameter 
.B ~https
is 
.B true
(resp\&. 
.B false
)
and the current request protocol is 
.B http
(resp\&. 
.B https
)\&.
.sp
\-the optional parameter 
.B ~https
is 
.B true
and the
function is used outside of a service handler
.sp
\-the 
.B service
has been created with 
.B ~https:true
and the
current request protocol is 
.B http
\&.
.sp
\-the 
.B service
has been created with 
.B ~https:true
and the
function is used outside of a service handler\&.

When only the first condition is met (
.B ~absolute_path
is 
.B true
)
the returned URL is just the absolute path, but when any other
condition is satisfied the returned URL is prefixed with
.B protocol://hostname[:port]
, where:
.sp
.sp
\-
.B protocol
is:
.sp
\-
.B https
if the 
.B service
has been created with 
.B ~https:true
or the optional parameter 
.B ~https
is 
.B true
;
.sp
\-
.B http
if  the optional parameter 
.B ~https
is 
.B false
;
.sp
\-the current request protocol if available;
.sp
\-
.B http
in any other case\&.

.sp
\-
.B hostname
is:
.sp
\-the optional parameter 
.B ~hostname
if given;
.sp
\-the attribute 
.B defaulthostname
of 
.B <host>
tag in
configuration file or the machine hostname
if the option 
.B <usedefaulthostname/>
is set;
.sp
\-the 
.B Host
http header of the current request if available;
.sp
\-the attribute 
.B defaulthostname
of 
.B <host>
tag in
configuration file or the machine hostname in any other case\&.

7    \- 
.B port
is:
.sp
\-the optional parameter 
.B ~port
if given;
.sp
\-the attribute 
.B defaulthttpsport
(resp\&. 
.B defaulthttpport
) of 
.B <host>
tag
in configuration file or 
.B 443
(resp\&. 80) if 
.B protocol
is 
.B https
(resp\&. 
.B http
) and
the current request protocol is 
.B http
(resp\&. 
.B https
);
.sp
\-the attribute 
.B defaulthttpsport
(resp\&. 
.B defaulthttpsport
) of 
.B <host>
tag
in configuration file or 
.B 443
(resp\&. 80) if the option 
.B <usedefaulthostname/>
is set and 
.B protocol
is 
.B https
(resp\&. 
.B http
);
.sp
\-the port associated to the 
.B Host
http header of the current
request if available;
.sp
\-the incoming port of the current request if available;
.sp
\-the attribute 
.B defaulthttpport
(resp\&. 
.B defaulthttpsport
) of 
.B <host>
tag
in configuration file or 
.B 80
(resp\&. 
.B 443
) in any other case\&.


If given the optional parameter 
.B ~fragment
is prefixed by 
.B #
and appended to the URL\&.
.sp
The optional parameter 
.B keep_nl_params
allows one to override the
.B keep_nl_params
parameter used when creating the 
.B service
, see
.B Eliom_service\&.service
for a detailled description\&.
.sp
The optional parameter 
.B nl_params
allows one to add non localized
GET parameter to the URL\&.  See the eliom manual for more
information about \&.
.sp

.sp

.I val make_string_uri 
: 
.B ?absolute:bool ->
.B   ?absolute_path:bool ->
.B   ?https:bool ->
.B   service:('a, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'b, unit, [< Eliom_service.registrable ],
.B            'c)
.B           Eliom_service.service ->
.B   ?hostname:string ->
.B   ?port:int ->
.B   ?fragment:string ->
.B   ?keep_nl_params:[ `All | `None | `Persistent ] ->
.B   ?nl_params:Eliom_parameter.nl_params_set -> 'a -> string
.sp
The function 
.B make_string_uri service get_params
returns the URL of the
of the service 
.B service
applied to the GET parameters
.B get_params
\&. See 
.B Eliom_content\&.Xhtml\&.F\&.make_uri
for a detailled
description of optional parameters\&.
.sp
The function 
.B make_string_uri
is an alias of 
.B Eliom_uri\&.make_string_uri
\&.
.sp
Warning: The function 
.B make_string_uri
should not be called outside
of a service handler, unless one of the following condition is met:
.sp
.sp
\-the optional parameter 
.B ~absolute_path
is 
.B true
\&.
.sp
\-the optional parameter 
.B ~absolute
is 
.B true
\&.
.sp
\-the optional parameter 
.B ~https
is 
.B true
\&.
.sp
\-the 
.B service
has been created with 
.B ~https:true
\&.
.sp
\-the 
.B service
is an external service\&.

.sp

.sp

.I val uri_of_string 
: 
.B (unit -> string) -> Eliom_content_core.Xml.uri
.sp
The function 
.B uri_of_string f
returns a URI whose content is
equivalent to 
.B f ()
\&.
.sp
For XML tree build with TyXML, like 
.B Eliom_content\&.Html5
, 
.B Eliom_content\&.Xhtml
or
.B Svg\&.F
, the function 
.B f
is applied each time the XML tree is
sent to the client (either as page content or as a marshalled
OCaml value)\&. Hence, the function is always evaluated in the
context of a service handler\&.
.sp
For other module, the function 
.B f
is immediatly applied\&.
.sp

.sp

.I val make_uri_components 
: 
.B ?absolute:bool ->
.B   ?absolute_path:bool ->
.B   ?https:bool ->
.B   service:('a, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'b, unit, [< Eliom_service.registrable ],
.B            'c)
.B           Eliom_service.service ->
.B   ?hostname:string ->
.B   ?port:int ->
.B   ?fragment:string ->
.B   ?keep_nl_params:[ `All | `None | `Persistent ] ->
.B   ?nl_params:Eliom_parameter.nl_params_set ->
.B   'a -> string * (string * string) list * string option
.sp
The function 
.B make_uri_components service get_params
returns the
a triplet 
.B (path, get_params, fragment)
that is a decomposition
of the URL for the service 
.B service
applied to the GET parameters
.B get_params
\&. By default the returned 
.B path
is relative to the
current request URL but it could be absolute URL in some
situation, see 
.B Eliom_content\&.Xhtml\&.F\&.make_uri
for more information and a description
of optional parameters\&.
.sp
The function 
.B make_uri_components
is an alias for
.B Eliom_uri\&.make_uri_components
\&.
.sp
Warning: depending on the optional parameters, the function
.B make_uri_components
may not be used outside of a service
handler\&. See 
.B Eliom_content\&.Xhtml\&.F\&.make_string_uri
for a detailled description\&.
.sp

.sp

.I val make_post_uri_components 
: 
.B ?absolute:bool ->
.B   ?absolute_path:bool ->
.B   ?https:bool ->
.B   service:('a, 'b, [< Eliom_service.post_service_kind ],
.B            [< Eliom_service.suff ], 'c, 'd, [< Eliom_service.registrable ], 'e)
.B           Eliom_service.service ->
.B   ?hostname:string ->
.B   ?port:int ->
.B   ?fragment:string ->
.B   ?keep_nl_params:[ `All | `None | `Persistent ] ->
.B   ?nl_params:Eliom_parameter.nl_params_set ->
.B   ?keep_get_na_params:bool ->
.B   'a ->
.B   'b ->
.B   string * (string * string) list * string option * (string * string) list
.sp
Same a 
.B Eliom_content\&.Xhtml\&.F\&.make_uri_components
, but also returns a list of post
parameters\&.
.sp

.sp

.I val a 
: 
.B ?absolute:bool ->
.B   ?absolute_path:bool ->
.B   ?https:bool ->
.B   ?a:Xhtml_types.a_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   service:('a, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'b, unit, [< Eliom_service.registrable ],
.B            'c)
.B           Eliom_service.service ->
.B   ?hostname:string ->
.B   ?port:int ->
.B   ?fragment:string ->
.B   ?keep_nl_params:[ `All | `None | `Persistent ] ->
.B   ?nl_params:Eliom_parameter.nl_params_set ->
.B   ?xhr:bool ->
.B   Xhtml_types.a_content Eliom_content_core.Xhtml.F.elt list ->
.B   'a -> [> Xhtml_types.a ] Eliom_content_core.Xhtml.F.elt
.sp
The function 
.B a service a_content get_params
creates a 
.B <a>
node that link to 
.B service
applied to GET parameters 
.B get_params
and whose content is 
.B a_content
\&. By default, the 
.B href
attribute
is a relative URL recomputed at each request with 
.B Eliom_content\&.Xhtml\&.F\&.make_uri
\&.
.sp
By default, the link is realized such that the client\-side Eliom application
keeps running irrespectable of the usage of the link (cf\&. )\&.
.sp
By contrast, if the optional parameter 
.B ~xhr:false
is given, the link is
realized as a standard HTML link and clicking it discontinues the Eliom
application\&.
The 
.B ~xhr
parameter has no effect outside an Eliom application\&.
.sp
NB that the default value of 
.B ~xhr
is configurable through <<a_api
project="eliom" subproject="server" | val Eliom_config\&.set_default_links_xhr >>
.sp
The optional parameter 
.B ~a
allows one to add extra HTML attributes to
the generated node\&.
.sp
See 
.B Eliom_content\&.Xhtml\&.F\&.make_uri
for description of other optional parameters\&.
.sp

.sp

.I val css_link 
: 
.B ?a:Xhtml_types.link_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   uri:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.link ] Eliom_content_core.Xhtml.F.elt
.sp
The function 
.B css_link ~uri ()
creates a 
.B <link>
node that
reference a Cascading StyleSheet (CSS)\&.
.sp
If the CSS is generated by an Eliom service, use 
.B Eliom_content\&.Xhtml\&.F\&.make_uri
to
calculate the service URI\&. If the CSS is a static file, you may
also use 
.B Eliom_service\&.static_dir
or
.B Eliom_service\&.external_service
to abstract the file with a
service\&.
.sp
The optional parameter 
.B ~a
allows one to add extra HTML attributes to
the generated node\&.
.sp

.sp

.I val js_script 
: 
.B ?a:Xhtml_types.script_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   uri:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.script ] Eliom_content_core.Xhtml.F.elt
.sp
The function 
.B js_script ~uri ()
creates a 
.B <script>
node that
reference a javascript file\&.
.sp
If the script content is generated by an Eliom service, use
.B Eliom_content\&.Xhtml\&.F\&.make_uri
to calculate the service URI\&. If it is a static file,
you may also use 
.B Eliom_service\&.static_dir
or
.B Eliom_service\&.external_service
to abstract the file with a
service\&.
.sp
The optional parameter 
.B ~a
allows one to add extra HTML attributes to
the generated node\&.
.sp

.sp

.I val get_form 
: 
.B ?absolute:bool ->
.B   ?absolute_path:bool ->
.B   ?https:bool ->
.B   ?a:Xhtml_types.form_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   service:('a, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'b, 'c, [< Eliom_service.registrable ], 'd)
.B           Eliom_service.service ->
.B   ?hostname:string ->
.B   ?port:int ->
.B   ?fragment:string ->
.B   ?keep_nl_params:[ `All | `None | `Persistent ] ->
.B   ?nl_params:Eliom_parameter.nl_params_set ->
.B   ?xhr:bool ->
.B   ('b -> Xhtml_types.form_content Eliom_content_core.Xhtml.F.elt list) ->
.B   [> Xhtml_types.form ] Eliom_content_core.Xhtml.F.elt
.sp
The function 
.B post_form service formgen
creates a GET 
.B <form>
to
.B service
\&. The content of the 
.B <form>
is generated by the
function 
.B formgen
, that takes the names of the service parameters
as parameters\&. By default, the 
.B action
attribute is a relative
URL recomputed at each request with 
.B Eliom_content\&.Xhtml\&.F\&.make_uri
\&.
.sp
By default, the form is realized such that the client\-side Eliom application
keeps running irrespectable of the usage of the form (cf\&. )\&.
.sp
By contrast, if the optional parameter 
.B ~xhr:false
is given, the form is
realized as a standard HTML form and submitting it discontinues the Eliom
application\&.
The 
.B ~xhr
parameter has no effect outside an Eliom application\&.
.sp
NB that the default value of 
.B ~xhr
is configurable through <<a_api
project="eliom" subproject="server" | val Eliom_config\&.set_default_links_xhr >>
.sp
The optional parameter 
.B ~a
allows one to add extra HTML attributes to
the generated node\&.
.sp
See 
.B Eliom_content\&.Xhtml\&.F\&.make_uri
for description of other optional parameters\&.
.sp

.sp

.I val lwt_get_form 
: 
.B ?absolute:bool ->
.B   ?absolute_path:bool ->
.B   ?https:bool ->
.B   ?a:Xhtml_types.form_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   service:('a, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'b, 'c, [< Eliom_service.registrable ], 'd)
.B           Eliom_service.service ->
.B   ?hostname:string ->
.B   ?port:int ->
.B   ?fragment:string ->
.B   ?keep_nl_params:[ `All | `None | `Persistent ] ->
.B   ?nl_params:Eliom_parameter.nl_params_set ->
.B   ?xhr:bool ->
.B   ('b -> Xhtml_types.form_content Eliom_content_core.Xhtml.F.elt list Lwt.t) ->
.B   [> Xhtml_types.form ] Eliom_content_core.Xhtml.F.elt Lwt.t
.sp
Same as 
.B Eliom_content\&.Xhtml\&.F\&.get_form
but taking a cooperative function for
.B <form>
content generation\&.
.sp

.sp

.I val post_form 
: 
.B ?absolute:bool ->
.B   ?absolute_path:bool ->
.B   ?https:bool ->
.B   ?a:Xhtml_types.form_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   service:('a, 'b, [< Eliom_service.post_service_kind ],
.B            [< Eliom_service.suff ], 'c, 'd, [< Eliom_service.registrable ], 'e)
.B           Eliom_service.service ->
.B   ?hostname:string ->
.B   ?port:int ->
.B   ?fragment:string ->
.B   ?keep_nl_params:[ `All | `None | `Persistent ] ->
.B   ?keep_get_na_params:bool ->
.B   ?nl_params:Eliom_parameter.nl_params_set ->
.B   ?xhr:bool ->
.B   ('d -> Xhtml_types.form_content Eliom_content_core.Xhtml.F.elt list) ->
.B   'a -> [> Xhtml_types.form ] Eliom_content_core.Xhtml.F.elt
.sp
The function 
.B post_form service formgen get_params
creates a POST
.B <form>
to 
.B service
preapplied to the GET parameters
.B get_params
\&. The content of the 
.B <form>
is generated by the
function 
.B formgen
, that takes the names of the service parameters
as parameters\&. By default, the 
.B action
attribute is a relative
URL recomputed at each request with 
.B Eliom_content\&.Xhtml\&.F\&.make_uri
\&.
.sp
The optional parameter 
.B ~a
allows one to add HTML attributes to the
generated node\&.
.sp
See 
.B Eliom_service\&.post_coservice\&'
for a description of the
.B ~keep_get_na_params
optional parameter ; see 
.B Eliom_content\&.Xhtml\&.F\&.get_form
for
.B ~xhr
and see 
.B Eliom_content\&.Xhtml\&.F\&.make_uri
for other optional parameters\&.
.sp

.sp

.I val lwt_post_form 
: 
.B ?absolute:bool ->
.B   ?absolute_path:bool ->
.B   ?https:bool ->
.B   ?a:Xhtml_types.form_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   service:('a, 'b, [< Eliom_service.post_service_kind ],
.B            [< Eliom_service.suff ], 'c, 'd, [< Eliom_service.registrable ], 'e)
.B           Eliom_service.service ->
.B   ?hostname:string ->
.B   ?port:int ->
.B   ?fragment:string ->
.B   ?keep_nl_params:[ `All | `None | `Persistent ] ->
.B   ?keep_get_na_params:bool ->
.B   ?nl_params:Eliom_parameter.nl_params_set ->
.B   ?xhr:bool ->
.B   ('d -> Xhtml_types.form_content Eliom_content_core.Xhtml.F.elt list Lwt.t) ->
.B   'a -> [> Xhtml_types.form ] Eliom_content_core.Xhtml.F.elt Lwt.t
.sp
Same as 
.B Eliom_content\&.Xhtml\&.F\&.post_form
but taking a cooperative function for
.B <form>
content generation\&.
.sp

.sp

.PP

.B === 
.B Form widgets 
.B  ===

.PP

.I val int_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   input_type:[< `Hidden | `Password | `Submit | `Text ] ->
.B   ?name:[< int Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:int -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input>
tag for an integer
.sp

.sp

.I val int32_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   input_type:[< `Hidden | `Password | `Submit | `Text ] ->
.B   ?name:[< int32 Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:int32 -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input>
tag for an integer
.sp

.sp

.I val int64_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   input_type:[< `Hidden | `Password | `Submit | `Text ] ->
.B   ?name:[< int64 Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:int64 -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input>
tag for an integer
.sp

.sp

.I val float_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   input_type:[< `Hidden | `Password | `Submit | `Text ] ->
.B   ?name:[< float Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:float -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input>
tag for a float
.sp

.sp

.I val string_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   input_type:[< `Hidden | `Password | `Submit | `Text ] ->
.B   ?name:[< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:string ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input>
tag for a string
.sp

.sp

.I val user_type_input 
: 
.B ('a -> string) ->
.B   ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   input_type:[< `Hidden | `Password | `Submit | `Text ] ->
.B   ?name:[< 'a Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:'a -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input>
tag for a user type
.sp

.sp

.I val raw_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   input_type:[< `Button | `Hidden | `Password | `Reset | `Submit | `Text ] ->
.B   ?name:string ->
.B   ?value:string ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an untyped 
.B <input>
tag\&. You may use the name you want
(for example to use with 
.B Eliom_parameter\&.any
)\&.
.sp

.sp

.I val file_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< Eliom_lib.file_info Eliom_parameter.setoneradio ]
.B        Eliom_parameter.param_name ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input>
tag for sending a file
.sp

.sp

.I val image_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< Eliom_parameter.coordinates Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   ?src:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input type="image" name="\&.\&.\&.">
tag that sends the coordinates
the user clicked on
.sp

.sp

.I val int_image_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< (int * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:int ->
.B   ?src:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input type="image" name="\&.\&.\&." value="\&.\&.\&.">
tag that sends
the coordinates the user clicked on and a value of type int
.sp

.sp

.I val int32_image_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< (int32 * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:int32 ->
.B   ?src:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input type="image" name="\&.\&.\&." value="\&.\&.\&.">
tag that sends
the coordinates the user clicked on and a value of type int32
.sp

.sp

.I val int64_image_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< (int64 * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:int64 ->
.B   ?src:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input type="image" name="\&.\&.\&." value="\&.\&.\&.">
tag that sends
the coordinates the user clicked on and a value of type int64
.sp

.sp

.I val float_image_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< (float * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:float ->
.B   ?src:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input type="image" name="\&.\&.\&." value="\&.\&.\&.">
tag that sends
the coordinates the user clicked on and a value of type float
.sp

.sp

.I val string_image_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< (string * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:string ->
.B   ?src:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input type="image" name="\&.\&.\&." value="\&.\&.\&.">
tag that sends
the coordinates the user clicked on and a value of type string
.sp

.sp

.I val user_type_image_input 
: 
.B ('a -> string) ->
.B   ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< ('a * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:'a ->
.B   ?src:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input type="image" name="\&.\&.\&." value="\&.\&.\&.">
tag that sends
the coordinates the user clicked on and a value of user defined type
.sp

.sp

.I val raw_image_input 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:string ->
.B   value:string ->
.B   ?src:Eliom_content_core.Xml.uri ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates an 
.B <input type="image" name="\&.\&.\&." value="\&.\&.\&.">
tag that sends
the coordinates the user clicked on and an untyped value
.sp

.sp

.I val bool_checkbox 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `One of bool ] Eliom_parameter.param_name ->
.B   unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a checkbox 
.B <input>
tag that will have a boolean value\&.
The service must declare a 
.B bool
parameter\&.
.sp

.sp

.I val int_checkbox 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Set of int ] Eliom_parameter.param_name ->
.B   value:int -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a checkbox 
.B <input>
tag that will have an int value\&.
Thus you can do several checkboxes with the same name
(and different values)\&.
The service must declare a parameter of type 
.B set
\&.
.sp

.sp

.I val int32_checkbox 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Set of int32 ] Eliom_parameter.param_name ->
.B   value:int32 -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a checkbox 
.B <input>
tag that will have an int32 value\&.
Thus you can do several checkboxes with the same name
(and different values)\&.
The service must declare a parameter of type 
.B set
\&.
.sp

.sp

.I val int64_checkbox 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Set of int64 ] Eliom_parameter.param_name ->
.B   value:int64 -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a checkbox 
.B <input>
tag that will have an int64 value\&.
Thus you can do several checkboxes with the same name
(and different values)\&.
The service must declare a parameter of type 
.B set
\&.
.sp

.sp

.I val float_checkbox 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Set of float ] Eliom_parameter.param_name ->
.B   value:float -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a checkbox 
.B <input>
tag that will have a float value\&.
Thus you can do several checkboxes with the same name
(and different values)\&.
The service must declare a parameter of type 
.B set
\&.
.sp

.sp

.I val string_checkbox 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Set of string ] Eliom_parameter.param_name ->
.B   value:string -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a checkbox 
.B <input>
tag that will have a string value\&.
Thus you can do several checkboxes with the same name
(and different values)\&.
The service must declare a parameter of type 
.B set
\&.
.sp

.sp

.I val user_type_checkbox 
: 
.B ('a -> string) ->
.B   ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Set of 'a ] Eliom_parameter.param_name ->
.B   value:'a -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a checkbox 
.B <input>
tag that will have a "user type" value\&.
Thus you can do several checkboxes with the same name
(and different values)\&.
The service must declare a parameter of type 
.B set
\&.
.sp

.sp

.I val raw_checkbox 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:string ->
.B   value:string -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a checkbox 
.B <input>
tag with untyped content\&.
Thus you can do several checkboxes with the same name
(and different values)\&.
The service must declare a parameter of type 
.B any
\&.
.sp

.sp

.I val string_radio 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Radio of string ] Eliom_parameter.param_name ->
.B   value:string -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a radio 
.B <input>
tag with string content
.sp

.sp

.I val int_radio 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Radio of int ] Eliom_parameter.param_name ->
.B   value:int -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a radio 
.B <input>
tag with int content
.sp

.sp

.I val int32_radio 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Radio of int32 ] Eliom_parameter.param_name ->
.B   value:int32 -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a radio 
.B <input>
tag with int32 content
.sp

.sp

.I val int64_radio 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Radio of int64 ] Eliom_parameter.param_name ->
.B   value:int64 -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a radio 
.B <input>
tag with int64 content
.sp

.sp

.I val float_radio 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Radio of float ] Eliom_parameter.param_name ->
.B   value:float -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a radio 
.B <input>
tag with float content
.sp

.sp

.I val user_type_radio 
: 
.B ('a -> string) ->
.B   ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:[ `Radio of 'a ] Eliom_parameter.param_name ->
.B   value:'a -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a radio 
.B <input>
tag with user_type content
.sp

.sp

.I val raw_radio 
: 
.B ?a:Xhtml_types.input_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   ?checked:bool ->
.B   name:string ->
.B   value:string -> unit -> [> Xhtml_types.input ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a radio 
.B <input>
tag with untyped string content (low level)
.sp

.sp

.I val string_button 
: 
.B ?a:Xhtml_types.button_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< string Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:string ->
.B   Xhtml_types.button_content Eliom_content_core.Xhtml.F.elt list ->
.B   [> Xhtml_types.button ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <button>
tag with string content
.sp

.sp

.I val int_button 
: 
.B ?a:Xhtml_types.button_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< int Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:int ->
.B   Xhtml_types.button_content Eliom_content_core.Xhtml.F.elt list ->
.B   [> Xhtml_types.button ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <button>
tag with int content
.sp

.sp

.I val int32_button 
: 
.B ?a:Xhtml_types.button_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< int32 Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:int32 ->
.B   Xhtml_types.button_content Eliom_content_core.Xhtml.F.elt list ->
.B   [> Xhtml_types.button ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <button>
tag with int32 content
.sp

.sp

.I val int64_button 
: 
.B ?a:Xhtml_types.button_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< int64 Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:int64 ->
.B   Xhtml_types.button_content Eliom_content_core.Xhtml.F.elt list ->
.B   [> Xhtml_types.button ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <button>
tag with int64 content
.sp

.sp

.I val float_button 
: 
.B ?a:Xhtml_types.button_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< float Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:float ->
.B   Xhtml_types.button_content Eliom_content_core.Xhtml.F.elt list ->
.B   [> Xhtml_types.button ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <button>
tag with float content
.sp

.sp

.I val user_type_button 
: 
.B ('a -> string) ->
.B   ?a:Xhtml_types.button_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< 'a Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:'a ->
.B   Xhtml_types.button_content Eliom_content_core.Xhtml.F.elt list ->
.B   [> Xhtml_types.button ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <button>
tag with user_type content
.sp

.sp

.I val raw_button 
: 
.B ?a:Xhtml_types.button_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   button_type:[< `Button | `Reset | `Submit ] ->
.B   name:string ->
.B   value:string ->
.B   Xhtml_types.button_content Eliom_content_core.Xhtml.F.elt list ->
.B   [> Xhtml_types.button ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <button>
tag with untyped string content
.sp

.sp

.I val button 
: 
.B ?a:Xhtml_types.button_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   button_type:[< `Button | `Reset | `Submit ] ->
.B   Xhtml_types.button_content Eliom_content_core.Xhtml.F.elt list ->
.B   [> Xhtml_types.button ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <button>
tag with no value\&. No value is sent\&.
.sp

.sp

.I val textarea 
: 
.B ?a:Xhtml_types.textarea_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:string ->
.B   unit -> [> Xhtml_types.textarea ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <textarea>
tag
.sp

.sp

.I val raw_textarea 
: 
.B ?a:Xhtml_types.textarea_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:string ->
.B   ?value:string ->
.B   unit -> [> Xhtml_types.textarea ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <textarea>
tag for untyped form
.sp

.sp
.I type 
.B 'a
.I soption 
= 
.B Xhtml_types.option_attrib Eliom_content_core.Xhtml.F.attrib list * 'a *
.B   Xhtml_types.pcdata Eliom_content_core.Xhtml.F.elt option * bool

.sp

.sp
.I type 
.B 'a
.I select_opt 
=
 | Optgroup
.B of 
.B [ `Class
.B | `Dir
.B | `Disabled
.B | `Id
.B | `OnClick
.B | `OnDblClick
.B | `OnKeyDown
.B | `OnKeyPress
.B | `OnKeyUp
.B | `OnMouseDown
.B | `OnMouseMove
.B | `OnMouseOut
.B | `OnMouseOver
.B | `OnMouseUp
.B | `Style_Attr
.B | `Title
.B | `XML_lang
.B | `XML_space ] Eliom_content_core.Xhtml.F.attrib list * string
.B    * 'a soption * 'a soption list
 | Option
.B of 
.B 'a soption
 
.sp
The type for 
.B <select>
options and groups of options\&.
.sp
\-The field of type \&'a in 
.B soption
is the value that will be sent
by the form\&.
.sp
\-If the 
.B pcdata_elt option
is not present it is also the
value displayed\&.
.sp
\-The string in 
.B select_opt
is the label

.sp

.sp

.I val int_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `One of int ] Eliom_parameter.param_name ->
.B   int select_opt ->
.B   int select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for int values\&.
.sp

.sp

.I val int32_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `One of int32 ] Eliom_parameter.param_name ->
.B   int32 select_opt ->
.B   int32 select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for int32 values\&.
.sp

.sp

.I val int64_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `One of int64 ] Eliom_parameter.param_name ->
.B   int64 select_opt ->
.B   int64 select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for int64 values\&.
.sp

.sp

.I val float_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `One of float ] Eliom_parameter.param_name ->
.B   float select_opt ->
.B   float select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for float values\&.
.sp

.sp

.I val string_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `One of string ] Eliom_parameter.param_name ->
.B   string select_opt ->
.B   string select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for string values\&.
.sp

.sp

.I val user_type_select 
: 
.B ('a -> string) ->
.B   ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `One of 'a ] Eliom_parameter.param_name ->
.B   'a select_opt ->
.B   'a select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for user type values\&.
.sp

.sp

.I val raw_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:string ->
.B   string select_opt ->
.B   string select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for any (untyped) value\&.
.sp

.sp

.I val int_multiple_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `Set of int ] Eliom_parameter.param_name ->
.B   int select_opt ->
.B   int select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for int values\&.
.sp

.sp

.I val int32_multiple_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `Set of int32 ] Eliom_parameter.param_name ->
.B   int32 select_opt ->
.B   int32 select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for int32 values\&.
.sp

.sp

.I val int64_multiple_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `Set of int64 ] Eliom_parameter.param_name ->
.B   int64 select_opt ->
.B   int64 select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for int64 values\&.
.sp

.sp

.I val float_multiple_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `Set of float ] Eliom_parameter.param_name ->
.B   float select_opt ->
.B   float select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for float values\&.
.sp

.sp

.I val string_multiple_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `Set of string ] Eliom_parameter.param_name ->
.B   string select_opt ->
.B   string select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for string values\&.
.sp

.sp

.I val user_type_multiple_select 
: 
.B ('a -> string) ->
.B   ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:[< `Set of 'a ] Eliom_parameter.param_name ->
.B   'a select_opt ->
.B   'a select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for user type values\&.
.sp

.sp

.I val raw_multiple_select 
: 
.B ?a:Xhtml_types.select_attrib Eliom_content_core.Xhtml.F.attrib list ->
.B   name:string ->
.B   string select_opt ->
.B   string select_opt list ->
.B   [> Xhtml_types.select ] Eliom_content_core.Xhtml.F.elt
.sp
Creates a 
.B <select>
tag for any (untyped) value\&.
.sp

.sp

.I val a_for 
: 
.B 'a Eliom_parameter.param_name -> [> `For ] Eliom_content_core.Xhtml.F.attrib
.sp

.sp