Index of values

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.

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.

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.

if the client is inactive activate () launch a new xhr connection to start receiving server messages

see addEventListener

The function addEventListener elt evt handler attach the handler for the event evt on the element elt.

Localized parameters

Adds non localized GET parameters to a service

see appendChild

The function appendChild e1 e2 inserts the element e2 as last child of e1.

see appendChilds

The function appendChilds e1 elts inserts elts as last children of e1.

attrib my_data value creates a HTML5 attribute for the custom-data type my_data with value value for injecting it into an a HTML5 tree ().

Creates a checkbox <input> tag that will have a boolean value.

Creates a checkbox <input> tag that will have a boolean value.

Creates a checkbox <input> tag that will have a boolean value.

Creates a <button> tag with no value.

Creates a <button> tag with no value.

Creates a <button> tag with no value.

Call a server side service that return an OCaml value.

(low level) Call a server side service and return the content of the resulting HTTP frame as a string.

Call a server side service and change the current page.

after close b, stream b stops receiving new messages from the bus, but it is still possible to write to the bus.

Create a custom data field by providing string conversion functions.

The function create_named_elt elt is equivalent to create_named_elt ~id:(new_elt_id ()) elt.

See Eliom_content.Html5.Id.create_global_elt

Create a custom data from a Json-deriving type.

The function create_named_elt ~id elt create a copy of the element elt that will be accessible through the name id.

See Eliom_content.Html5.Id.create_named_elt

The function css_link ~uri () creates a <link> node that reference a Cascading StyleSheet (CSS).

The function css_link ~uri () creates a <link> node that reference a Cascading StyleSheet (CSS).

The function css_link ~uri () creates a <link> node that reference a Cascading StyleSheet (CSS).

drop_configuration t restores the behaviour to the minimum of configuration without t.

Stop current program and load a new page.

Creates an <input> tag for sending a file

Creates an <input> tag for sending a file

Creates an <input> tag for sending a file

Creates a <button> tag with float content

Creates a <button> tag with float content

Creates a <button> tag with float content

Creates a checkbox <input> tag that will have a float value.

Creates a checkbox <input> tag that will have a float value.

Creates a checkbox <input> tag that will have a float value.

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type float

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type float

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type float

Creates an <input> tag for a float

Creates an <input> tag for a float

Creates an <input> tag for a float

Creates a <select> tag for float values.

Creates a <select> tag for float values.

Creates a <select> tag for float values.

Creates a radio <input> tag with float content

Creates a radio <input> tag with float content

Creates a radio <input> tag with float content

Creates a <select> tag for float values.

Creates a <select> tag for float values.

Creates a <select> tag for float values.

This is an alias to to avoid the untyped Eliom_content_core.Html5.D.form.

This is an alias to to avoid the untyped Eliom_content_core.Html5.F.form.

get_dom element custom_data gets the custom_data from a JavaScript element ().

get_element id returns the HTML element in the DOM with the given id.

The function post_form service formgen creates a GET <form> to service.

The function post_form service formgen creates a GET <form> to service.

The function post_form service formgen creates a GET <form> to service.

Same as Eliom_service.static_dir but forcing https link.

Same as Eliom_service.static_dir_with_params but forcing https link.

A predefined non-attached action with special behaviour: it has no parameter at all, even non-attached parameters.

Same as void_coservice' but keeps non attached GET parameters.

Creates an <input type="image" name="..."> tag that sends the coordinates the user clicked on

Creates an <input type="image" name="..."> tag that sends the coordinates the user clicked on

Creates an <input type="image" name="..."> tag that sends the coordinates the user clicked on

This is an alias to to avoid the untyped Eliom_content_core.Html5.D.input.

This is an alias to to avoid the untyped Eliom_content_core.Html5.F.input.

Creates a <button> tag with int32 content

Creates a <button> tag with int32 content

Creates a <button> tag with int32 content

Creates a checkbox <input> tag that will have an int32 value.

Creates a checkbox <input> tag that will have an int32 value.

Creates a checkbox <input> tag that will have an int32 value.

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int32

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int32

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int32

Creates an <input> tag for an integer

Creates an <input> tag for an integer

Creates an <input> tag for an integer

Creates a <select> tag for int32 values.

Creates a <select> tag for int32 values.

Creates a <select> tag for int32 values.

Creates a radio <input> tag with int32 content

Creates a radio <input> tag with int32 content

Creates a radio <input> tag with int32 content

Creates a <select> tag for int32 values.

Creates a <select> tag for int32 values.

Creates a <select> tag for int32 values.

Creates a <button> tag with int64 content

Creates a <button> tag with int64 content

Creates a <button> tag with int64 content

Creates a checkbox <input> tag that will have an int64 value.

Creates a checkbox <input> tag that will have an int64 value.

Creates a checkbox <input> tag that will have an int64 value.

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int64

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int64

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int64

Creates an <input> tag for an integer

Creates an <input> tag for an integer

Creates an <input> tag for an integer

Creates a <select> tag for int64 values.

Creates a <select> tag for int64 values.

Creates a <select> tag for int64 values.

Creates a radio <input> tag with int64 content

Creates a radio <input> tag with int64 content

Creates a radio <input> tag with int64 content

Creates a <select> tag for int64 values.

Creates a <select> tag for int64 values.

Creates a <select> tag for int64 values.

Creates a <button> tag with int content

Creates a <button> tag with int content

Creates a <button> tag with int content

Creates a checkbox <input> tag that will have an int value.

Creates a checkbox <input> tag that will have an int value.

Creates a checkbox <input> tag that will have an int value.

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type int

Creates an <input> tag for an integer

Creates an <input> tag for an integer

Creates an <input> tag for an integer

Creates a <select> tag for int values.

Creates a <select> tag for int values.

Creates a <select> tag for int values.

Creates a radio <input> tag with int content

Creates a radio <input> tag with int content

Creates a radio <input> tag with int content

Creates a <select> tag for int values.

Creates a <select> tag for int values.

Creates a <select> tag for int values.

is_active () returns the current activity state

The function js_script ~uri () creates a <script> node that reference a javascript file.

The function js_script ~uri () creates a <script> node that reference a javascript file.

The function js_script ~uri () creates a <script> node that reference a javascript file.

Same as Eliom_content.Html5.D.get_form but taking a cooperative function for <form> content generation.

Same as Eliom_content.Html5.F.get_form but taking a cooperative function for <form> content generation.

Same as get_form but taking a cooperative function for <form> content generation.

Same as Eliom_content.Html5.D.post_form but taking a cooperative function for <form> content generation.

Same as Eliom_content.Html5.F.post_form but taking a cooperative function for <form> content generation.

Same as post_form but taking a cooperative function for <form> content generation.

Same a Eliom_content.Html5.D.make_uri_components, but also returns a list of post parameters.

Same a Eliom_content.Html5.F.make_uri_components, but also returns a list of post parameters.

Same a make_uri_components, but also returns a list of post parameters.

Same a Eliom_uri.make_uri_components, but also returns a table of post parameters.

The function make_string_uri service get_params returns the URL of the of the service service applied to the GET parameters get_params.

The function make_string_uri service get_params returns the URL of the of the service service applied to the GET parameters get_params.

The function make_string_uri service get_params returns the URL of the of the service service applied to the GET parameters get_params.

The function make_string_uri ~service get_params creates the string corresponding to the URL of the service service applied to the GET parameters get_params.

The function make_string_uri_from_components path get_params fragment build the corresponding string URL.

The function make_uri service get_params returns the URL of the service service applied to the GET parameters get_params.

The function make_uri service get_params returns the URL of the service service applied to the GET parameters get_params.

The function make_uri service get_params returns the URL of the service service applied to the GET parameters get_params.

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.

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.

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.

The function make_uri_components service get_params returns the a triplet (path, get_params, fragment) that is a decomposition of the URL of service applied to the GET parameters get_params.

Creates a new configuration with default value.

The function new_elt_id () creates a new HTML5 element identifier.

See Eliom_content.Html5.Id.new_elt_id

Registers some code to be executed after loading the client application, or after changing the page the next time.

Register a function to be called before changing the page the next time.

stream b returns the stream of datas sent to bus b.

The function post_form service formgen get_params creates a POST <form> to service preapplied to the GET parameters get_params.

The function post_form service formgen get_params creates a POST <form> to service preapplied to the GET parameters get_params.

The function post_form service formgen get_params creates a POST <form> to service preapplied to the GET parameters get_params.

Creates a <button> tag with untyped string content

Creates a <button> tag with untyped string content

Creates a <button> tag with untyped string content

Creates a checkbox <input> tag with untyped content.

Creates a checkbox <input> tag with untyped content.

Creates a checkbox <input> tag with untyped content.

Creates an untyped form.

Creates an untyped form.

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and an untyped value

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and an untyped value

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and an untyped value

Creates an untyped <input> tag.

Creates an untyped <input> tag.

Creates an untyped <input> tag.

Creates a <select> tag for any (untyped) value.

Creates a <select> tag for any (untyped) value.

Creates a <select> tag for any (untyped) value.

Creates a radio <input> tag with untyped string content (low level)

Creates a radio <input> tag with untyped string content (low level)

Creates a radio <input> tag with untyped string content (low level)

Creates a <select> tag for any (untyped) value.

Creates a <select> tag for any (untyped) value.

Creates a <select> tag for any (untyped) value.

Creates a <textarea> tag for untyped form

Creates a <textarea> tag for untyped form

Creates a <textarea> tag for untyped form

The function reconstruct_relative_url_path src dest returns a path to dest that is relative to src.

register_unwrapper id f register an unwrapping function f to be called when a value is marked with the id id

see removeAllChild

The function removeAllChild e1 removes e1 children.

see removeChild

The function removeChild e1 e2 removes for e2 from the list of e1 children.

see replaceAllChild

The function replaceAllChild e1 elts replaces all the children of e1 by elt.

see replaceChild

The function replace e1 e2 e3 replaces for e2 by e3 in the list of e1 children.

The function scrollIntoView elt scroll the page to a position where elt is displayed at the top of the window.

This is an alias to to avoid the untyped Eliom_content_core.Html5.D.select.

This is an alias to to avoid the untyped Eliom_content_core.Html5.F.select.

set_active_until_timeout c v sets the activity changing behaviour.

set_always_active c b if b is true, tells the client to always stay active.

set_dom element custom_data value sets the custom data attribute for custom_data of an JavaScript element () to value.

To reduce traffic from the client busses try to send messages by group.

set_time_before_flush bus time set the maximum time to wait for a new message to enqueue before flushing.

after set_time_between_request t v, the main loop will wait for v seconds between two requests.

set_timeout c t tells the client to stay active at least t seconds when the application lose the focus.

Not tracing by default.

The predefined service static_dir allows one to create links to static files.

Like static_dir, but allows one to put GET parameters

stream b returns the stream of datas sent to bus b.

Creates a <button> tag with string content

Creates a <button> tag with string content

Creates a <button> tag with string content

Creates a checkbox <input> tag that will have a string value.

Creates a checkbox <input> tag that will have a string value.

Creates a checkbox <input> tag that will have a string value.

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type string

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type string

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of type string

Creates an <input> tag for a string

Creates an <input> tag for a string

Creates an <input> tag for a string

Creates a <select> tag for string values.

Creates a <select> tag for string values.

Creates a <select> tag for string values.

Creates a radio <input> tag with string content

Creates a radio <input> tag with string content

Creates a radio <input> tag with string content

Creates a <select> tag for string values.

Creates a <select> tag for string values.

Creates a <select> tag for string values.

Creates a <textarea> tag

Creates a <textarea> tag

Creates a <textarea> tag

unwrap_js_var v execute unwrap on the content of the javascript variable v

The function uri_of_string f returns a URI whose content is equivalent to f ().

The function uri_of_string f returns a URI whose content is equivalent to f ().

The function uri_of_string f returns a URI whose content is equivalent to f ().

Creates a <button> tag with user_type content

Creates a <button> tag with user_type content

Creates a <button> tag with user_type content

Creates a checkbox <input> tag that will have a "user type" value.

Creates a checkbox <input> tag that will have a "user type" value.

Creates a checkbox <input> tag that will have a "user type" value.

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of user defined type

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of user defined type

Creates an <input type="image" name="..." value="..."> tag that sends the coordinates the user clicked on and a value of user defined type

Creates an <input> tag for a user type

Creates an <input> tag for a user type

Creates an <input> tag for a user type

Creates a <select> tag for user type values.

Creates a <select> tag for user type values.

Creates a <select> tag for user type values.

Creates a radio <input> tag with user_type content

Creates a radio <input> tag with user_type content

Creates a radio <input> tag with user_type content

Creates a <select> tag for user type values.

Creates a <select> tag for user type values.

Creates a <select> tag for user type values.

Void non-attached coservices

The same, but forcing https.

Wait for the initialization phase to terminate

Loads an Eliom service in a window (cf.

Record an CSS file to be included in Eliom_tools.F.html.

write b v send v to the bus b.