package eliom

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Node identifiers

type +'a id

The type of global HTML element identifier.

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

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

val create_global_elt : 'a elt -> 'a elt

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

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

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