Id (p.eliom.11.1.1.doc.eliom.server.Eliom

Sourcetype +'a id

The type of global HTML element identifier.

Sourceval new_elt_id : ?global:bool -> unit -> 'a id

The function new_elt_id () creates a new global HTML element identifier (see the Eliom manual for more information on <<a_manual project="eliom" chapter="clientserver-html" fragment="global"|global element>>).

Sourceval create_named_elt : id:'a id -> 'a elt -> 'a elt

The function create_named_elt ~id elt create a copy of the element elt that will be sent to client with the reference id.

Sourceval create_global_elt : 'a elt -> 'a elt

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

Sourceval create_request_elt : ?reset:bool -> 'a elt -> 'a elt

create_request_elt ?reset elt creates a referable copy of elt. If ~reset = true is provided (default: false), a new ID is created even if elt has an ID already.

Sourceval have_id : 'a id -> 'b elt -> bool