Eliom_content.Html5.Id.server (3o)

Node identifiers

  1. Carta.tech
  2. Man Pages
  3. MISSING SECTION
  4. Eliom_content.Html5.Id.server: Node identifiers
  1. Carta.tech
  2. Packages
  3. libeliom-ocaml-doc
  4. Eliom_content.Html5.Id.server: Node identifiers

Module

Module Eliom_content.Html5.Id

Documentation

Module Id : sig end

Node identifiers

type +'a id

The type of global HTML5 element identifier.

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

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

val create_named_elt : id:'a id -> 'a Eliom_content.Html5.elt -> 'a Eliom_content.Html5.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 .

val create_global_elt : 'a Eliom_content.Html5.elt -> 'a Eliom_content.Html5.elt

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

val have_id : 'a id -> 'b Eliom_content.Html5.elt -> bool