.TH "Eliom_mkforms.MakeForms" 3o 2014-07-10 OCamldoc ""
.SH NAME
Eliom_mkforms.MakeForms \- no description
.SH Module
Module   Eliom_mkforms.MakeForms
.SH Documentation
.sp
Module
.BI "MakeForms"
 : 
.B functor (Pages : FORMS_PARAM) -> sig  end

.sp

.sp
.B "Parameters:"
.sp
"Pages"

.B Eliom_mkforms.FORMS_PARAM





.sp
.sp
.I type uri 
= 
.B Pages.uri

.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:('get, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'gn, unit, [< Eliom_service.registrable ],
.B            'return)
.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 -> 'get -> Pages.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\&.

.sp
\-
.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\&.Http\&.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:('get, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'gn, unit, [< Eliom_service.registrable ],
.B            'return)
.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 -> 'get -> 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 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) -> Pages.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 Html5
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:('get, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'gn, unit, [< Eliom_service.registrable ],
.B            'return)
.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   'get -> string * (string * Eliommod_parameters.param) 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 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 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:('get, 'post, [< Eliom_service.post_service_kind ],
.B            [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ],
.B            'return)
.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   'get ->
.B   'post ->
.B   string * (string * Eliommod_parameters.param) list * string option *
.B   (string * Eliommod_parameters.param) list
.sp
Same a 
.B 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:Pages.a_attrib_t ->
.B   service:('get, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'd, unit, [< Eliom_service.registrable ],
.B            [< Eliom_service.non_ocaml_service ])
.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 -> 'a Pages.a_content_elt_list -> 'get -> 'a Pages.a_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 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 make_uri
for description of other optional parameters\&.
.sp

.sp

.I val css_link 
: 
.B ?a:Pages.link_attrib_t -> uri:Pages.uri -> unit -> Pages.link_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 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\&.Http\&.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:Pages.script_attrib_t -> uri:Pages.uri -> unit -> Pages.script_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 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\&.Http\&.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:Pages.form_attrib_t ->
.B   service:('get, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ],
.B            [< Eliom_service.non_ocaml_service ])
.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 -> ('gn -> Pages.form_content_elt_list) -> Pages.form_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 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 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:Pages.form_attrib_t ->
.B   service:('get, unit, [< Eliom_service.get_service_kind ],
.B            [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ],
.B            [< Eliom_service.non_ocaml_service ])
.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   ('gn -> Pages.form_content_elt_list Lwt.t) -> Pages.form_elt Lwt.t
.sp
Same as 
.B 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:Pages.form_attrib_t ->
.B   service:('get, 'post, [< Eliom_service.post_service_kind ],
.B            [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ],
.B            [< Eliom_service.non_ocaml_service ])
.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 -> ('pn -> Pages.form_content_elt_list) -> 'get -> Pages.form_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 make_uri
\&.
.sp
The optional parameter 
.B ~a
allows one to add HTML attributes to the
generated node\&.
.sp
See 
.B Eliom_service\&.Http\&.post_coservice\&'
for a description of the
.B ~keep_get_na_params
optional parameter ; see 
.B get_form
for
.B ~xhr
and see 
.B 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:Pages.form_attrib_t ->
.B   service:('get, 'post, [< Eliom_service.post_service_kind ],
.B            [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ],
.B            [< Eliom_service.non_ocaml_service ])
.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   ('pn -> Pages.form_content_elt_list Lwt.t) -> 'get -> Pages.form_elt Lwt.t
.sp
Same as 
.B 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:Pages.input_attrib_t ->
.B   input_type:Pages.input_type_t ->
.B   ?name:[< int Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:int -> unit -> Pages.input_elt
.sp
Creates an 
.B <input>
tag for an integer
.sp

.sp

.I val int32_input 
: 
.B ?a:Pages.input_attrib_t ->
.B   input_type:Pages.input_type_t ->
.B   ?name:[< int32 Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:int32 -> unit -> Pages.input_elt
.sp
Creates an 
.B <input>
tag for an integer
.sp

.sp

.I val int64_input 
: 
.B ?a:Pages.input_attrib_t ->
.B   input_type:Pages.input_type_t ->
.B   ?name:[< int64 Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:int64 -> unit -> Pages.input_elt
.sp
Creates an 
.B <input>
tag for an integer
.sp

.sp

.I val float_input 
: 
.B ?a:Pages.input_attrib_t ->
.B   input_type:Pages.input_type_t ->
.B   ?name:[< float Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:float -> unit -> Pages.input_elt
.sp
Creates an 
.B <input>
tag for a float
.sp

.sp

.I val string_input 
: 
.B ?a:Pages.input_attrib_t ->
.B   input_type:Pages.input_type_t ->
.B   ?name:[< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:string -> unit -> Pages.input_elt
.sp
Creates an 
.B <input>
tag for a string
.sp

.sp

.I val user_type_input 
: 
.B ('a -> string) ->
.B   ?a:Pages.input_attrib_t ->
.B   input_type:Pages.input_type_t ->
.B   ?name:[< 'a Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:'a -> unit -> Pages.input_elt
.sp
Creates an 
.B <input>
tag for a user type
.sp

.sp

.I val raw_input 
: 
.B ?a:Pages.input_attrib_t ->
.B   input_type:Pages.input_type_t ->
.B   ?name:string -> ?value:string -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   name:[< Eliom_lib.file_info Eliom_parameter.setoneradio ]
.B        Eliom_parameter.param_name ->
.B   unit -> Pages.input_elt
.sp
Creates an 
.B <input>
tag for sending a file
.sp

.sp

.I val image_input 
: 
.B ?a:Pages.input_attrib_t ->
.B   name:[< Eliom_parameter.coordinates Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   ?src:Pages.uri -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   name:[< (int * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:int -> ?src:Pages.uri -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   name:[< (int32 * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:int32 -> ?src:Pages.uri -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   name:[< (int64 * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:int64 -> ?src:Pages.uri -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   name:[< (float * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:float -> ?src:Pages.uri -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   name:[< (string * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:string -> ?src:Pages.uri -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   name:[< ('a * Eliom_parameter.coordinates) Eliom_parameter.oneradio ]
.B        Eliom_parameter.param_name ->
.B   value:'a -> ?src:Pages.uri -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   name:string -> value:string -> ?src:Pages.uri -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `One of bool ] Eliom_parameter.param_name -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Set of int ] Eliom_parameter.param_name ->
.B   value:int -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Set of int32 ] Eliom_parameter.param_name ->
.B   value:int32 -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Set of int64 ] Eliom_parameter.param_name ->
.B   value:int64 -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Set of float ] Eliom_parameter.param_name ->
.B   value:float -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Set of string ] Eliom_parameter.param_name ->
.B   value:string -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Set of 'a ] Eliom_parameter.param_name ->
.B   value:'a -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   ?checked:bool -> name:string -> value:string -> unit -> Pages.input_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:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Radio of string ] Eliom_parameter.param_name ->
.B   value:string -> unit -> Pages.input_elt
.sp
Creates a radio 
.B <input>
tag with string content
.sp

.sp

.I val string_radio_required 
: 
.B ?a:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `One of string ] Eliom_parameter.param_name ->
.B   value:string -> unit -> Pages.input_elt
.sp

.sp

.I val int_radio 
: 
.B ?a:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Radio of int ] Eliom_parameter.param_name ->
.B   value:int -> unit -> Pages.input_elt
.sp
Creates a radio 
.B <input>
tag with int content
.sp

.sp

.I val int32_radio 
: 
.B ?a:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Radio of int32 ] Eliom_parameter.param_name ->
.B   value:int32 -> unit -> Pages.input_elt
.sp
Creates a radio 
.B <input>
tag with int32 content
.sp

.sp

.I val int64_radio 
: 
.B ?a:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Radio of int64 ] Eliom_parameter.param_name ->
.B   value:int64 -> unit -> Pages.input_elt
.sp
Creates a radio 
.B <input>
tag with int64 content
.sp

.sp

.I val float_radio 
: 
.B ?a:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Radio of float ] Eliom_parameter.param_name ->
.B   value:float -> unit -> Pages.input_elt
.sp
Creates a radio 
.B <input>
tag with float content
.sp

.sp

.I val user_type_radio 
: 
.B ('a -> string) ->
.B   ?a:Pages.input_attrib_t ->
.B   ?checked:bool ->
.B   name:[ `Radio of 'a ] Eliom_parameter.param_name ->
.B   value:'a -> unit -> Pages.input_elt
.sp
Creates a radio 
.B <input>
tag with user_type content
.sp

.sp

.I val raw_radio 
: 
.B ?a:Pages.input_attrib_t ->
.B   ?checked:bool -> name:string -> value:string -> unit -> Pages.input_elt
.sp
Creates a radio 
.B <input>
tag with untyped string content (low level)
.sp

.sp

.I val string_button 
: 
.B ?a:Pages.button_attrib_t ->
.B   name:[< string Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:string -> Pages.button_content_elt_list -> Pages.button_elt
.sp
Creates a 
.B <button>
tag with string content
.sp

.sp

.I val int_button 
: 
.B ?a:Pages.button_attrib_t ->
.B   name:[< int Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:int -> Pages.button_content_elt_list -> Pages.button_elt
.sp
Creates a 
.B <button>
tag with int content
.sp

.sp

.I val int32_button 
: 
.B ?a:Pages.button_attrib_t ->
.B   name:[< int32 Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:int32 -> Pages.button_content_elt_list -> Pages.button_elt
.sp
Creates a 
.B <button>
tag with int32 content
.sp

.sp

.I val int64_button 
: 
.B ?a:Pages.button_attrib_t ->
.B   name:[< int64 Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:int64 -> Pages.button_content_elt_list -> Pages.button_elt
.sp
Creates a 
.B <button>
tag with int64 content
.sp

.sp

.I val float_button 
: 
.B ?a:Pages.button_attrib_t ->
.B   name:[< float Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:float -> Pages.button_content_elt_list -> Pages.button_elt
.sp
Creates a 
.B <button>
tag with float content
.sp

.sp

.I val user_type_button 
: 
.B ('a -> string) ->
.B   ?a:Pages.button_attrib_t ->
.B   name:[< 'a Eliom_parameter.setone ] Eliom_parameter.param_name ->
.B   value:'a -> Pages.button_content_elt_list -> Pages.button_elt
.sp
Creates a 
.B <button>
tag with user_type content
.sp

.sp

.I val raw_button 
: 
.B ?a:Pages.button_attrib_t ->
.B   button_type:Pages.button_type_t ->
.B   name:string ->
.B   value:string -> Pages.button_content_elt_list -> Pages.button_elt
.sp
Creates a 
.B <button>
tag with untyped string content
.sp

.sp

.I val button 
: 
.B ?a:Pages.button_attrib_t ->
.B   button_type:Pages.button_type_t ->
.B   Pages.button_content_elt_list -> Pages.button_elt
.sp
Creates a 
.B <button>
tag with no value\&. No value is sent\&.
.sp

.sp

.I val textarea 
: 
.B ?a:Pages.textarea_attrib_t ->
.B   name:[< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name ->
.B   ?value:string -> unit -> Pages.textarea_elt
.sp
Creates a 
.B <textarea>
tag
.sp

.sp

.I val raw_textarea 
: 
.B ?a:Pages.textarea_attrib_t ->
.B   name:string -> ?value:string -> unit -> Pages.textarea_elt
.sp
Creates a 
.B <textarea>
tag for untyped form
.sp

.sp
.I type 
.B 'a
.I soption 
= 
.B Pages.option_attrib_t * 'a * Pages.pcdata_elt option * bool

.sp

.sp
.I type 
.B 'a
.I select_opt 
=
 | Optgroup
.B of 
.B Pages.optgroup_attrib_t * string * 'a soption
.B    * '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:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `One of int ] Eliom_parameter.param_name ->
.B   int select_opt ->
.B   int select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for int values\&.
.sp

.sp

.I val int32_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `One of int32 ] Eliom_parameter.param_name ->
.B   int32 select_opt ->
.B   int32 select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for int32 values\&.
.sp

.sp

.I val int64_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `One of int64 ] Eliom_parameter.param_name ->
.B   int64 select_opt ->
.B   int64 select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for int64 values\&.
.sp

.sp

.I val float_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `One of float ] Eliom_parameter.param_name ->
.B   float select_opt ->
.B   float select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for float values\&.
.sp

.sp

.I val string_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `One of string ] Eliom_parameter.param_name ->
.B   string select_opt ->
.B   string select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for string values\&.
.sp

.sp

.I val user_type_select 
: 
.B ('a -> string) ->
.B   ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `One of 'a ] Eliom_parameter.param_name ->
.B   'a select_opt ->
.B   'a select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for user type values\&.
.sp

.sp

.I val raw_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:string ->
.B   string select_opt ->
.B   string select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for any (untyped) value\&.
.sp

.sp

.I val int_multiple_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `Set of int ] Eliom_parameter.param_name ->
.B   int select_opt ->
.B   int select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for int values\&.
.sp

.sp

.I val int32_multiple_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `Set of int32 ] Eliom_parameter.param_name ->
.B   int32 select_opt ->
.B   int32 select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for int32 values\&.
.sp

.sp

.I val int64_multiple_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `Set of int64 ] Eliom_parameter.param_name ->
.B   int64 select_opt ->
.B   int64 select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for int64 values\&.
.sp

.sp

.I val float_multiple_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `Set of float ] Eliom_parameter.param_name ->
.B   float select_opt ->
.B   float select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for float values\&.
.sp

.sp

.I val string_multiple_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `Set of string ] Eliom_parameter.param_name ->
.B   string select_opt ->
.B   string select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for string values\&.
.sp

.sp

.I val user_type_multiple_select 
: 
.B ('a -> string) ->
.B   ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:[< `Set of 'a ] Eliom_parameter.param_name ->
.B   'a select_opt ->
.B   'a select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for user type values\&.
.sp

.sp

.I val raw_multiple_select 
: 
.B ?a:Pages.select_attrib_t ->
.B   ?required:Pages.pcdata_elt ->
.B   name:string ->
.B   string select_opt ->
.B   string select_opt list -> Pages.select_elt
.sp
Creates a 
.B <select>
tag for any (untyped) value\&.
.sp

.sp

.I val a_for 
: 
.B 'a Eliom_parameter.param_name -> Pages.for_attrib
.sp

.sp