NAME¶

Eliom_content.Html5.D - Creation of HTML5 content with DOM semantics (referable, see also {% <<a_api|module Eliom_content>> %}).

Module¶

Module Eliom_content.Html5.D

Documentation¶

Module D
: sig end Creation of HTML5 content with DOM semantics (referable, see also ). === Content creation See {% <<a_api project="tyxml" | module Html5_sigs.T >> %}, If you want to create an untyped form, you will have to use {% <<a_api|module Eliom_content.Html5.D.Raw>> %} otherwise, use the form module. For more information, see [http://ocsigen.org/howto/forms/]"how to make forms" === module Raw : sig end See . include Eliom_content.Html5.D.Raw === Event handlers === val a_onabort : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnAbort ] Eliom_content.Html5.attrib Redefine event handler attributes to simplify their usage. val a_onafterprint : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnAfterPrint ] Eliom_content.Html5.attrib val a_onbeforeprint : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnBeforePrint ] Eliom_content.Html5.attrib val a_onbeforeunload : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnBeforeUnload ] Eliom_content.Html5.attrib val a_onblur : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnBlur ] Eliom_content.Html5.attrib val a_oncanplay : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnCanPlay ] Eliom_content.Html5.attrib val a_oncanplaythrough : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnCanPlayThrough ] Eliom_content.Html5.attrib val a_onchange : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnChange ] Eliom_content.Html5.attrib val a_onclick : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnClick ] Eliom_content.Html5.attrib val a_oncontextmenu : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnContextMenu ] Eliom_content.Html5.attrib val a_ondblclick : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnDblClick ] Eliom_content.Html5.attrib val a_ondrag : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnDrag ] Eliom_content.Html5.attrib val a_ondragend : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnDragEnd ] Eliom_content.Html5.attrib val a_ondragenter : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnDragEnter ] Eliom_content.Html5.attrib val a_ondragleave : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnDragLeave ] Eliom_content.Html5.attrib val a_ondragover : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnDragOver ] Eliom_content.Html5.attrib val a_ondragstart : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnDragStart ] Eliom_content.Html5.attrib val a_ondrop : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnDrop ] Eliom_content.Html5.attrib val a_ondurationchange : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnDurationChange ] Eliom_content.Html5.attrib val a_onemptied : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnEmptied ] Eliom_content.Html5.attrib val a_onended : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnEnded ] Eliom_content.Html5.attrib val a_onerror : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnError ] Eliom_content.Html5.attrib val a_onfocus : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnFocus ] Eliom_content.Html5.attrib val a_onformchange : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnFormChange ] Eliom_content.Html5.attrib val a_onforminput : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnFormInput ] Eliom_content.Html5.attrib val a_onhashchange : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnHashChange ] Eliom_content.Html5.attrib val a_oninput : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnInput ] Eliom_content.Html5.attrib val a_oninvalid : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnInvalid ] Eliom_content.Html5.attrib val a_onmousedown : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnMouseDown ] Eliom_content.Html5.attrib val a_onmouseup : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnMouseUp ] Eliom_content.Html5.attrib val a_onmouseover : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnMouseOver ] Eliom_content.Html5.attrib val a_onmousemove : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnMouseMove ] Eliom_content.Html5.attrib val a_onmouseout : (Dom_html.mouseEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnMouseOut ] Eliom_content.Html5.attrib val a_onmousewheel : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnMouseWheel ] Eliom_content.Html5.attrib val a_onoffline : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnOffLine ] Eliom_content.Html5.attrib val a_ononline : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnOnLine ] Eliom_content.Html5.attrib val a_onpause : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnPause ] Eliom_content.Html5.attrib val a_onplay : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnPlay ] Eliom_content.Html5.attrib val a_onplaying : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnPlaying ] Eliom_content.Html5.attrib val a_onpagehide : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnPageHide ] Eliom_content.Html5.attrib val a_onpageshow : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnPageShow ] Eliom_content.Html5.attrib val a_onpopstate : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnPopState ] Eliom_content.Html5.attrib val a_onprogress : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnProgress ] Eliom_content.Html5.attrib val a_onratechange : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnRateChange ] Eliom_content.Html5.attrib val a_onreadystatechange : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnReadyStateChange ] Eliom_content.Html5.attrib val a_onredo : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnRedo ] Eliom_content.Html5.attrib val a_onresize : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnResize ] Eliom_content.Html5.attrib val a_onscroll : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnScroll ] Eliom_content.Html5.attrib val a_onseeked : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnSeeked ] Eliom_content.Html5.attrib val a_onseeking : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnSeeking ] Eliom_content.Html5.attrib val a_onselect : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnSelect ] Eliom_content.Html5.attrib val a_onshow : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnShow ] Eliom_content.Html5.attrib val a_onstalled : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnStalled ] Eliom_content.Html5.attrib val a_onstorage : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnStorage ] Eliom_content.Html5.attrib val a_onsubmit : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnSubmit ] Eliom_content.Html5.attrib val a_onsuspend : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnSuspend ] Eliom_content.Html5.attrib val a_ontimeupdate : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnTimeUpdate ] Eliom_content.Html5.attrib val a_onundo : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnUndo ] Eliom_content.Html5.attrib val a_onunload : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnUnload ] Eliom_content.Html5.attrib val a_onvolumechange : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnVolumeChange ] Eliom_content.Html5.attrib val a_onwaiting : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnWaiting ] Eliom_content.Html5.attrib val a_onkeypress : (Dom_html.keyboardEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnKeyPress ] Eliom_content.Html5.attrib val a_onkeydown : (Dom_html.keyboardEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnKeyDown ] Eliom_content.Html5.attrib val a_onkeyup : (Dom_html.keyboardEvent Js.t -> unit) Eliom_lib.client_value -> [> `OnKeyUp ] Eliom_content.Html5.attrib val a_onload : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnLoad ] Eliom_content.Html5.attrib val a_onloadeddata : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnLoadedData ] Eliom_content.Html5.attrib val a_onloadedmetadata : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnLoadedMetaData ] Eliom_content.Html5.attrib val a_onloadstart : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnLoadStart ] Eliom_content.Html5.attrib val a_onmessage : (Dom_html.event Js.t -> unit) Eliom_lib.client_value -> [> `OnMessage ] Eliom_content.Html5.attrib === Forms === === Forms creation === === Links and forms === val make_uri : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> service:('get, unit, [< Eliom_service.get_service_kind ], [< Eliom_service.suff ], 'gn, unit, [< Eliom_service.registrable ], 'return) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?nl_params:Eliom_parameter.nl_params_set -> 'get -> Eliom_content.Xml.uri The function make_uri service get_params returns the URL of the service service applied to the GET parameters 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: -the optional parameter ~absolute_path is true . -the optional parameter ~absolute is true . -the optional parameter ~https is true (resp. false ) and the current request protocol is http (resp. https ). -the optional parameter ~https is true and the function is used outside of a service handler -the service has been created with ~https:true and the current request protocol is http . -the service has been created with ~https:true and the function is used outside of a service handler. When only the first condition is met ( ~absolute_path is true ) the returned URL is just the absolute path, but when any other condition is satisfied the returned URL is prefixed with protocol://hostname[:port] , where: - protocol is: - https if the service has been created with ~https:true or the optional parameter ~https is true ; - http if the optional parameter ~https is false ; -the current request protocol if available; - http in any other case. - hostname is: -the optional parameter ~hostname if given; -the attribute defaulthostname of <host> tag in configuration file or the machine hostname if the option <usedefaulthostname/> is set; -the Host http header of the current request if available; -the attribute defaulthostname of <host> tag in configuration file or the machine hostname in any other case. - port is: -the optional parameter ~port if given; -the attribute defaulthttpsport (resp. defaulthttpport ) of <host> tag in configuration file or 443 (resp. 80) if protocol is https (resp. http ) and the current request protocol is http (resp. https ); -the attribute defaulthttpsport (resp. defaulthttpsport ) of <host> tag in configuration file or 443 (resp. 80) if the option <usedefaulthostname/> is set and protocol is https (resp. http ); -the port associated to the Host http header of the current request if available; -the incoming port of the current request if available; -the attribute defaulthttpport (resp. defaulthttpsport ) of <host> tag in configuration file or 80 (resp. 443 ) in any other case. If given the optional parameter ~fragment is prefixed by # and appended to the URL. The optional parameter keep_nl_params allows one to override the keep_nl_params parameter used when creating the service , see Eliom_service.Http.service for a detailled description. The optional parameter nl_params allows one to add non localized GET parameter to the URL. See the eliom manual for more information about . val make_string_uri : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> service:('get, unit, [< Eliom_service.get_service_kind ], [< Eliom_service.suff ], 'gn, unit, [< Eliom_service.registrable ], 'return) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?nl_params:Eliom_parameter.nl_params_set -> 'get -> string The function make_string_uri service get_params returns the URL of the of the service service applied to the GET parameters get_params . See Eliom_content.Html5.D.make_uri for a detailled description of optional parameters. The function make_string_uri is an alias of Eliom_uri.make_string_uri . Warning: The function make_string_uri should not be called outside of a service handler, unless one of the following condition is met: -the optional parameter ~absolute_path is true . -the optional parameter ~absolute is true . -the optional parameter ~https is true . -the service has been created with ~https:true . -the service is an external service. val uri_of_string : (unit -> string) -> Eliom_content.Xml.uri The function uri_of_string f returns a URI whose content is equivalent to f () . For XML tree build with TyXML, like Eliom_content.Html5 or Eliom_content.Svg.F , the function 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. For other module, the function f is immediatly applied. val make_uri_components : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> service:('get, unit, [< Eliom_service.get_service_kind ], [< Eliom_service.suff ], 'gn, unit, [< Eliom_service.registrable ], 'return) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?nl_params:Eliom_parameter.nl_params_set -> 'get -> string * (string * Eliommod_parameters.param) list * string option The function make_uri_components service get_params returns the a triplet (path, get_params, fragment) that is a decomposition of the URL for the service service applied to the GET parameters get_params . By default the returned path is relative to the current request URL but it could be absolute URL in some situation, see Eliom_content.Html5.D.make_uri for more information and a description of optional parameters. The function make_uri_components is an alias for Eliom_uri.make_uri_components . Warning: depending on the optional parameters, the function make_uri_components may not be used outside of a service handler. See Eliom_content.Html5.D.make_string_uri for a detailled description. val make_post_uri_components : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> service:('get, 'post, [< Eliom_service.post_service_kind ], [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ], 'return) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?nl_params:Eliom_parameter.nl_params_set -> ?keep_get_na_params:bool -> 'get -> 'post -> string * (string * Eliommod_parameters.param) list * string option * (string * Eliommod_parameters.param) list Same a Eliom_content.Html5.D.make_uri_components , but also returns a list of post parameters. val a : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> ?a:Html5_types.a_attrib Eliom_content.Html5.attrib list -> service:('get, unit, [< Eliom_service.get_service_kind ], [< Eliom_service.suff ], 'd, unit, [< Eliom_service.registrable ], [< Eliom_service.non_ocaml_service ]) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?nl_params:Eliom_parameter.nl_params_set -> ?xhr:bool -> 'a Eliom_content.Html5.elt list -> 'get -> [> 'a Html5_types.a ] Eliom_content.Html5.elt The function a service a_content get_params creates a <a> node that link to service applied to GET parameters get_params and whose content is a_content . By default, the href attribute is a relative URL recomputed at each request with Eliom_content.Html5.D.make_uri . By default, the link is realized such that the client-side Eliom application keeps running irrespectable of the usage of the link (cf. ). By contrast, if the optional parameter ~xhr:false is given, the link is realized as a standard HTML link and clicking it discontinues the Eliom application. The ~xhr parameter has no effect outside an Eliom application. NB that the default value of ~xhr is configurable through <<a_api project="eliom" subproject="server" | val Eliom_config.set_default_links_xhr >> The optional parameter ~a allows one to add extra HTML attributes to the generated node. See Eliom_content.Html5.D.make_uri for description of other optional parameters. val css_link : ?a:Html5_types.link_attrib Eliom_content.Html5.attrib list -> uri:Eliom_content.Xml.uri -> unit -> [> Html5_types.link ] Eliom_content.Html5.elt The function css_link ~uri () creates a <link> node that reference a Cascading StyleSheet (CSS). If the CSS is generated by an Eliom service, use Eliom_content.Html5.D.make_uri to calculate the service URI. If the CSS is a static file, you may also use Eliom_service.static_dir or Eliom_service.Http.external_service to abstract the file with a service. The optional parameter ~a allows one to add extra HTML attributes to the generated node. val js_script : ?a:Html5_types.script_attrib Eliom_content.Html5.attrib list -> uri:Eliom_content.Xml.uri -> unit -> [> Html5_types.script ] Eliom_content.Html5.elt The function js_script ~uri () creates a <script> node that reference a javascript file. If the script content is generated by an Eliom service, use Eliom_content.Html5.D.make_uri to calculate the service URI. If it is a static file, you may also use Eliom_service.static_dir or Eliom_service.Http.external_service to abstract the file with a service. The optional parameter ~a allows one to add extra HTML attributes to the generated node. val get_form : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> ?a:Html5_types.form_attrib Eliom_content.Html5.attrib list -> service:('get, unit, [< Eliom_service.get_service_kind ], [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ], [< Eliom_service.non_ocaml_service ]) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?nl_params:Eliom_parameter.nl_params_set -> ?xhr:bool -> ('gn -> Html5_types.form_content Eliom_content.Html5.elt list) -> [> Html5_types.form ] Eliom_content.Html5.elt The function post_form service formgen creates a GET <form> to service . The content of the <form> is generated by the function formgen , that takes the names of the service parameters as parameters. By default, the action attribute is a relative URL recomputed at each request with Eliom_content.Html5.D.make_uri . By default, the form is realized such that the client-side Eliom application keeps running irrespectable of the usage of the form (cf. ). By contrast, if the optional parameter ~xhr:false is given, the form is realized as a standard HTML form and submitting it discontinues the Eliom application. The ~xhr parameter has no effect outside an Eliom application. NB that the default value of ~xhr is configurable through <<a_api project="eliom" subproject="server" | val Eliom_config.set_default_links_xhr >> The optional parameter ~a allows one to add extra HTML attributes to the generated node. See Eliom_content.Html5.D.make_uri for description of other optional parameters. val lwt_get_form : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> ?a:Html5_types.form_attrib Eliom_content.Html5.attrib list -> service:('get, unit, [< Eliom_service.get_service_kind ], [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ], [< Eliom_service.non_ocaml_service ]) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?nl_params:Eliom_parameter.nl_params_set -> ?xhr:bool -> ('gn -> Html5_types.form_content Eliom_content.Html5.elt list Lwt.t) -> [> Html5_types.form ] Eliom_content.Html5.elt Lwt.t Same as Eliom_content.Html5.D.get_form but taking a cooperative function for <form> content generation. val post_form : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> ?a:Html5_types.form_attrib Eliom_content.Html5.attrib list -> service:('get, 'post, [< Eliom_service.post_service_kind ], [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ], [< Eliom_service.non_ocaml_service ]) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?keep_get_na_params:bool -> ?nl_params:Eliom_parameter.nl_params_set -> ?xhr:bool -> ('pn -> Html5_types.form_content Eliom_content.Html5.elt list) -> 'get -> [> Html5_types.form ] Eliom_content.Html5.elt The function post_form service formgen get_params creates a POST <form> to service preapplied to the GET parameters get_params . The content of the <form> is generated by the function formgen , that takes the names of the service parameters as parameters. By default, the action attribute is a relative URL recomputed at each request with Eliom_content.Html5.D.make_uri . The optional parameter ~a allows one to add HTML attributes to the generated node. See Eliom_service.Http.post_coservice' for a description of the ~keep_get_na_params optional parameter ; see Eliom_content.Html5.D.get_form for ~xhr and see Eliom_content.Html5.D.make_uri for other optional parameters. val lwt_post_form : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> ?a:Html5_types.form_attrib Eliom_content.Html5.attrib list -> service:('get, 'post, [< Eliom_service.post_service_kind ], [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ], [< Eliom_service.non_ocaml_service ]) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?keep_get_na_params:bool -> ?nl_params:Eliom_parameter.nl_params_set -> ?xhr:bool -> ('pn -> Html5_types.form_content Eliom_content.Html5.elt list Lwt.t) -> 'get -> [> Html5_types.form ] Eliom_content.Html5.elt Lwt.t Same as Eliom_content.Html5.D.post_form but taking a cooperative function for <form> content generation. === Form widgets === val int_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> input_type:[< `Button | `Checkbox | `Color | `Date | `Datetime | `Datetime_local | `Email | `File | `Hidden | `Image | `Month | `Number | `Password | `Radio | `Range | `Reset | `Search | `Submit | `Tel | `Text | `Time | `Url | `Week ] -> ?name:[< int Eliom_parameter.setoneradio ] Eliom_parameter.param_name -> ?value:int -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input> tag for an integer val int32_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> input_type:[< `Button | `Checkbox | `Color | `Date | `Datetime | `Datetime_local | `Email | `File | `Hidden | `Image | `Month | `Number | `Password | `Radio | `Range | `Reset | `Search | `Submit | `Tel | `Text | `Time | `Url | `Week ] -> ?name:[< int32 Eliom_parameter.setoneradio ] Eliom_parameter.param_name -> ?value:int32 -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input> tag for an integer val int64_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> input_type:[< `Button | `Checkbox | `Color | `Date | `Datetime | `Datetime_local | `Email | `File | `Hidden | `Image | `Month | `Number | `Password | `Radio | `Range | `Reset | `Search | `Submit | `Tel | `Text | `Time | `Url | `Week ] -> ?name:[< int64 Eliom_parameter.setoneradio ] Eliom_parameter.param_name -> ?value:int64 -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input> tag for an integer val float_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> input_type:[< `Button | `Checkbox | `Color | `Date | `Datetime | `Datetime_local | `Email | `File | `Hidden | `Image | `Month | `Number | `Password | `Radio | `Range | `Reset | `Search | `Submit | `Tel | `Text | `Time | `Url | `Week ] -> ?name:[< float Eliom_parameter.setoneradio ] Eliom_parameter.param_name -> ?value:float -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input> tag for a float val string_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> input_type:[< `Button | `Checkbox | `Color | `Date | `Datetime | `Datetime_local | `Email | `File | `Hidden | `Image | `Month | `Number | `Password | `Radio | `Range | `Reset | `Search | `Submit | `Tel | `Text | `Time | `Url | `Week ] -> ?name:[< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name -> ?value:string -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input> tag for a string val user_type_input : ('a -> string) -> ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> input_type:[< `Button | `Checkbox | `Color | `Date | `Datetime | `Datetime_local | `Email | `File | `Hidden | `Image | `Month | `Number | `Password | `Radio | `Range | `Reset | `Search | `Submit | `Tel | `Text | `Time | `Url | `Week ] -> ?name:[< 'a Eliom_parameter.setoneradio ] Eliom_parameter.param_name -> ?value:'a -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input> tag for a user type val raw_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> input_type:[< `Button | `Checkbox | `Color | `Date | `Datetime | `Datetime_local | `Email | `File | `Hidden | `Image | `Month | `Number | `Password | `Radio | `Range | `Reset | `Search | `Submit | `Tel | `Text | `Time | `Url | `Week ] -> ?name:string -> ?value:string -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an untyped <input> tag. You may use the name you want (for example to use with Eliom_parameter.any ). val file_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> name:[< Eliom_lib.file_info Eliom_parameter.setoneradio ] Eliom_parameter.param_name -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input> tag for sending a file val image_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> name:[< Eliom_parameter.coordinates Eliom_parameter.oneradio ] Eliom_parameter.param_name -> ?src:Eliom_content.Xml.uri -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input type="image" name="..."> tag that sends the coordinates the user clicked on val int_image_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> name:[< (int * Eliom_parameter.coordinates) Eliom_parameter.oneradio ] Eliom_parameter.param_name -> value:int -> ?src:Eliom_content.Xml.uri -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int val int32_image_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> name:[< (int32 * Eliom_parameter.coordinates) Eliom_parameter.oneradio ] Eliom_parameter.param_name -> value:int32 -> ?src:Eliom_content.Xml.uri -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int32 val int64_image_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> name:[< (int64 * Eliom_parameter.coordinates) Eliom_parameter.oneradio ] Eliom_parameter.param_name -> value:int64 -> ?src:Eliom_content.Xml.uri -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int64 val float_image_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> name:[< (float * Eliom_parameter.coordinates) Eliom_parameter.oneradio ] Eliom_parameter.param_name -> value:float -> ?src:Eliom_content.Xml.uri -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type float val string_image_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> name:[< (string * Eliom_parameter.coordinates) Eliom_parameter.oneradio ] Eliom_parameter.param_name -> value:string -> ?src:Eliom_content.Xml.uri -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type string val user_type_image_input : ('a -> string) -> ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> name:[< ('a * Eliom_parameter.coordinates) Eliom_parameter.oneradio ] Eliom_parameter.param_name -> value:'a -> ?src:Eliom_content.Xml.uri -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of user defined type val raw_image_input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> name:string -> value:string -> ?src:Eliom_content.Xml.uri -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and an untyped value val bool_checkbox : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `One of bool ] Eliom_parameter.param_name -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a checkbox <input> tag that will have a boolean value. The service must declare a bool parameter. val int_checkbox : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Set of int ] Eliom_parameter.param_name -> value:int -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a checkbox <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 set . val int32_checkbox : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Set of int32 ] Eliom_parameter.param_name -> value:int32 -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a checkbox <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 set . val int64_checkbox : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Set of int64 ] Eliom_parameter.param_name -> value:int64 -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a checkbox <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 set . val float_checkbox : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Set of float ] Eliom_parameter.param_name -> value:float -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a checkbox <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 set . val string_checkbox : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Set of string ] Eliom_parameter.param_name -> value:string -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a checkbox <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 set . val user_type_checkbox : ('a -> string) -> ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Set of 'a ] Eliom_parameter.param_name -> value:'a -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a checkbox <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 set . val raw_checkbox : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:string -> value:string -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a checkbox <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 any . val string_radio : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Radio of string ] Eliom_parameter.param_name -> value:string -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a radio <input> tag with string content val string_radio_required : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `One of string ] Eliom_parameter.param_name -> value:string -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt val int_radio : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Radio of int ] Eliom_parameter.param_name -> value:int -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a radio <input> tag with int content val int32_radio : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Radio of int32 ] Eliom_parameter.param_name -> value:int32 -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a radio <input> tag with int32 content val int64_radio : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Radio of int64 ] Eliom_parameter.param_name -> value:int64 -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a radio <input> tag with int64 content val float_radio : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Radio of float ] Eliom_parameter.param_name -> value:float -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a radio <input> tag with float content val user_type_radio : ('a -> string) -> ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:[ `Radio of 'a ] Eliom_parameter.param_name -> value:'a -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a radio <input> tag with user_type content val raw_radio : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> ?checked:bool -> name:string -> value:string -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt Creates a radio <input> tag with untyped string content (low level) val string_button : ?a:Html5_types.button_attrib Eliom_content.Html5.attrib list -> name:[< string Eliom_parameter.setone ] Eliom_parameter.param_name -> value:string -> Html5_types.button_content Eliom_content.Html5.elt list -> [> Html5_types.button ] Eliom_content.Html5.elt Creates a <button> tag with string content val int_button : ?a:Html5_types.button_attrib Eliom_content.Html5.attrib list -> name:[< int Eliom_parameter.setone ] Eliom_parameter.param_name -> value:int -> Html5_types.button_content Eliom_content.Html5.elt list -> [> Html5_types.button ] Eliom_content.Html5.elt Creates a <button> tag with int content val int32_button : ?a:Html5_types.button_attrib Eliom_content.Html5.attrib list -> name:[< int32 Eliom_parameter.setone ] Eliom_parameter.param_name -> value:int32 -> Html5_types.button_content Eliom_content.Html5.elt list -> [> Html5_types.button ] Eliom_content.Html5.elt Creates a <button> tag with int32 content val int64_button : ?a:Html5_types.button_attrib Eliom_content.Html5.attrib list -> name:[< int64 Eliom_parameter.setone ] Eliom_parameter.param_name -> value:int64 -> Html5_types.button_content Eliom_content.Html5.elt list -> [> Html5_types.button ] Eliom_content.Html5.elt Creates a <button> tag with int64 content val float_button : ?a:Html5_types.button_attrib Eliom_content.Html5.attrib list -> name:[< float Eliom_parameter.setone ] Eliom_parameter.param_name -> value:float -> Html5_types.button_content Eliom_content.Html5.elt list -> [> Html5_types.button ] Eliom_content.Html5.elt Creates a <button> tag with float content val user_type_button : ('a -> string) -> ?a:Html5_types.button_attrib Eliom_content.Html5.attrib list -> name:[< 'a Eliom_parameter.setone ] Eliom_parameter.param_name -> value:'a -> Html5_types.button_content Eliom_content.Html5.elt list -> [> Html5_types.button ] Eliom_content.Html5.elt Creates a <button> tag with user_type content val raw_button : ?a:Html5_types.button_attrib Eliom_content.Html5.attrib list -> button_type:[< `Button | `Reset | `Submit ] -> name:string -> value:string -> Html5_types.button_content Eliom_content.Html5.elt list -> [> Html5_types.button ] Eliom_content.Html5.elt Creates a <button> tag with untyped string content val button : ?a:Html5_types.button_attrib Eliom_content.Html5.attrib list -> button_type:[< `Button | `Reset | `Submit ] -> Html5_types.button_content Eliom_content.Html5.elt list -> [> Html5_types.button ] Eliom_content.Html5.elt Creates a <button> tag with no value. No value is sent. val textarea : ?a:Html5_types.textarea_attrib Eliom_content.Html5.attrib list -> name:[< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name -> ?value:string -> unit -> [> Html5_types.textarea ] Eliom_content.Html5.elt Creates a <textarea> tag val raw_textarea : ?a:Html5_types.textarea_attrib Eliom_content.Html5.attrib list -> name:string -> ?value:string -> unit -> [> Html5_types.textarea ] Eliom_content.Html5.elt Creates a <textarea> tag for untyped form type 'a soption = Html5_types.option_attrib Eliom_content.Html5.attrib list * 'a * Html5_types.pcdata Eliom_content.Html5.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_content.Html5.attrib list * string * 'a soption * 'a soption list
| Option of 'a soption The type for <select> options and groups of options. -The field of type 'a in soption is the value that will be sent by the form. -If the pcdata_elt option is not present it is also the value displayed. -The string in select_opt is the label val int_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `One of int ] Eliom_parameter.param_name -> int select_opt -> int select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for int values. val int32_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `One of int32 ] Eliom_parameter.param_name -> int32 select_opt -> int32 select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for int32 values. val int64_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `One of int64 ] Eliom_parameter.param_name -> int64 select_opt -> int64 select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for int64 values. val float_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `One of float ] Eliom_parameter.param_name -> float select_opt -> float select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for float values. val string_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `One of string ] Eliom_parameter.param_name -> string select_opt -> string select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for string values. val user_type_select : ('a -> string) -> ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `One of 'a ] Eliom_parameter.param_name -> 'a select_opt -> 'a select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for user type values. val raw_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:string -> string select_opt -> string select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for any (untyped) value. val int_multiple_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `Set of int ] Eliom_parameter.param_name -> int select_opt -> int select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for int values. val int32_multiple_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `Set of int32 ] Eliom_parameter.param_name -> int32 select_opt -> int32 select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for int32 values. val int64_multiple_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `Set of int64 ] Eliom_parameter.param_name -> int64 select_opt -> int64 select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for int64 values. val float_multiple_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `Set of float ] Eliom_parameter.param_name -> float select_opt -> float select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for float values. val string_multiple_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `Set of string ] Eliom_parameter.param_name -> string select_opt -> string select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for string values. val user_type_multiple_select : ('a -> string) -> ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:[< `Set of 'a ] Eliom_parameter.param_name -> 'a select_opt -> 'a select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for user type values. val raw_multiple_select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> ?required:Html5_types.pcdata Eliom_content.Html5.elt -> name:string -> string select_opt -> string select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt Creates a <select> tag for any (untyped) value. val a_for : 'a Eliom_parameter.param_name -> [> `For ] Eliom_content.Html5.attrib val raw_form : ([< Html5_types.form_attrib ], [< Html5_types.form_content_fun ], [> Html5_types.form ]) plus Creates an untyped form. val form : ?absolute:bool -> ?absolute_path:bool -> ?https:bool -> ?a:Html5_types.form_attrib Eliom_content.Html5.attrib list -> service:('get, unit, [< Eliom_service.get_service_kind ], [< Eliom_service.suff ], 'gn, 'pn, [< Eliom_service.registrable ], [< Eliom_service.non_ocaml_service ]) Eliom_service.service -> ?hostname:string -> ?port:int -> ?fragment:string -> ?keep_nl_params:[ `All | `None | `Persistent ] -> ?nl_params:Eliom_parameter.nl_params_set -> ?xhr:bool -> ('gn -> Html5_types.form_content Eliom_content.Html5.elt list) -> [> Html5_types.form ] Eliom_content.Html5.elt This is an alias to to avoid the untyped Eliom_content.Html5.D.form . val input : ?a:Html5_types.input_attrib Eliom_content.Html5.attrib list -> input_type:[< `Button | `Checkbox | `Color | `Date | `Datetime | `Datetime_local | `Email | `File | `Hidden | `Image | `Month | `Number | `Password | `Radio | `Range | `Reset | `Search | `Submit | `Tel | `Text | `Time | `Url | `Week ] -> ?name:[< string Eliom_parameter.setoneradio ] Eliom_parameter.param_name -> ?value:string -> unit -> [> Html5_types.input ] Eliom_content.Html5.elt This is an alias to to avoid the untyped Eliom_content.Html5.D.input . val select : ?a:Html5_types.select_attrib Eliom_content.Html5.attrib list -> name:[< `One of string ] Eliom_parameter.param_name -> string select_opt -> string select_opt list -> [> Html5_types.select ] Eliom_content.Html5.elt This is an alias to to avoid the untyped Eliom_content.Html5.D.select .