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.

Redefine event handler attributes to simplify their usage.

Redefine event handler attributes to simplify their usage.

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.

see appendChild

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

see appendChild

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

appendChildFirst p c appends c as first child of p

appendChildFirst p c appends c as first child of p

see appendChildren

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

see appendChildren

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

Append to the body of the document.

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 <button> tag with no value.

Creates a <button> tag with no value.

childLength e returns the number of chilren of e

childLength e returns the number of chilren of e

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.

The function create_named_elt elt is equivalent to create_named_elt ~id:(new_elt_id ()) 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 sent to client with the reference id.

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

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.

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 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> 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 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.

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_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.

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 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> 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 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 <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 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 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 <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 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> 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 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.

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.

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 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 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.

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_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.

Creates a new configuration with default value.

The function new_elt_id () creates a new global HTML5 element identifier (see the Eliom manual for more information on ).

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

Those two functions are the identity on client-side (the init argument is ignored).

Function node s create an HTML5 elt from a signal s.

nth e n returns the nth child of e (first is 0)

nth e n returns the nth child of e (first is 0)

stream b returns the stream of data 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.

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 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 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 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 <textarea> tag for untyped form

Creates a <textarea> tag for untyped form

see removeChild

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

see removeChild

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

see removeChildren

The function removeChildren e1 removes e1 children.

see removeChildren

The function removeChildren e1 removes e1 children.

removeSelf e removes element e from the DOM.

removeSelf e removes element e from the DOM.

see replaceChild

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

see replaceChild

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

see replaceChildren

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

see replaceChildren

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

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.

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_requests t v, the main loop will wait for v seconds between two requests.

set_time_between_requests_when_idle c (a, b) sets the time between two requests when the the windows does not have the focus, after the timeout.

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

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

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 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 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 <select> tag for string values.

Creates a <select> tag for string values.

Creates a <textarea> tag

Creates a <textarea> tag

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 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> 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 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.

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

write b v send v to the bus b.