This is client API (go to server)

Module Eliom_pervasives.​HTML5

module HTML5 : sig..end

Building HTML5 tree.


See the Eliom manual for more information ondom semantics vs. functional semantics for SVG tree manipulated by client/server application.

include HTML5_sigs.T

Dom semantics

module DOM : sig..end

Typed interface for building valid HTML5 tree (DOM semantics).

Functional semantics

module M : sig..end

Typed interface for building valid HTML5 tree (functional semantics).

Event handlers

val a_onabort : (#Dom_html.event Js.t -> unit) -> [> `OnAbort ] attrib

Redefine event handler attributes to simplify their usage.

val a_onafterprint : 
  (#Dom_html.event Js.t -> unit) -> [> `OnAfterPrint ] attrib
val a_onbeforeprint : 
  (#Dom_html.event Js.t -> unit) -> [> `OnBeforePrint ] attrib
val a_onbeforeunload : 
  (#Dom_html.event Js.t -> unit) -> [> `OnBeforeUnload ] attrib
val a_onblur : (#Dom_html.event Js.t -> unit) -> [> `OnBlur ] attrib
val a_oncanplay : (#Dom_html.event Js.t -> unit) -> [> `OnCanPlay ] attrib
val a_oncanplaythrough : 
  (#Dom_html.event Js.t -> unit) -> [> `OnCanPlayThrough ] attrib
val a_onchange : (#Dom_html.event Js.t -> unit) -> [> `OnChange ] attrib
val a_onclick : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnClick ] attrib
val a_oncontextmenu : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnContextMenu ] attrib
val a_ondblclick : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnDblClick ] attrib
val a_ondrag : (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnDrag ] attrib
val a_ondragend : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnDragEnd ] attrib
val a_ondragenter : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnDragEnter ] attrib
val a_ondragleave : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnDragLeave ] attrib
val a_ondragover : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnDragOver ] attrib
val a_ondragstart : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnDragStart ] attrib
val a_ondrop : (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnDrop ] attrib
val a_ondurationchange : 
  (#Dom_html.event Js.t -> unit) -> [> `OnDurationChange ] attrib
val a_onemptied : (#Dom_html.event Js.t -> unit) -> [> `OnEmptied ] attrib
val a_onended : (#Dom_html.event Js.t -> unit) -> [> `OnEnded ] attrib
val a_onerror : (#Dom_html.event Js.t -> unit) -> [> `OnError ] attrib
val a_onfocus : (#Dom_html.event Js.t -> unit) -> [> `OnFocus ] attrib
val a_onformchange : 
  (#Dom_html.event Js.t -> unit) -> [> `OnFormChange ] attrib
val a_onforminput : 
  (#Dom_html.event Js.t -> unit) -> [> `OnFormInput ] attrib
val a_onhashchange : 
  (#Dom_html.event Js.t -> unit) -> [> `OnHashChange ] attrib
val a_oninput : (#Dom_html.event Js.t -> unit) -> [> `OnInput ] attrib
val a_oninvalid : (#Dom_html.event Js.t -> unit) -> [> `OnInvalid ] attrib
val a_onmousedown : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnMouseDown ] attrib
val a_onmouseup : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnMouseUp ] attrib
val a_onmouseover : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnMouseOver ] attrib
val a_onmousemove : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnMouseMove ] attrib
val a_onmouseout : 
  (#Dom_html.mouseEvent Js.t -> unit) -> [> `OnMouseOut ] attrib
val a_onmousewheel : 
  (#Dom_html.event Js.t -> unit) -> [> `OnMouseWheel ] attrib
val a_onoffline : (#Dom_html.event Js.t -> unit) -> [> `OnOffLine ] attrib
val a_ononline : (#Dom_html.event Js.t -> unit) -> [> `OnOnLine ] attrib
val a_onpause : (#Dom_html.event Js.t -> unit) -> [> `OnPause ] attrib
val a_onplay : (#Dom_html.event Js.t -> unit) -> [> `OnPlay ] attrib
val a_onplaying : (#Dom_html.event Js.t -> unit) -> [> `OnPlaying ] attrib
val a_onpagehide : 
  (#Dom_html.event Js.t -> unit) -> [> `OnPageHide ] attrib
val a_onpageshow : 
  (#Dom_html.event Js.t -> unit) -> [> `OnPageShow ] attrib
val a_onpopstate : 
  (#Dom_html.event Js.t -> unit) -> [> `OnPopState ] attrib
val a_onprogress : 
  (#Dom_html.event Js.t -> unit) -> [> `OnProgress ] attrib
val a_onratechange : 
  (#Dom_html.event Js.t -> unit) -> [> `OnRateChange ] attrib
val a_onreadystatechange : 
  (#Dom_html.event Js.t -> unit) -> [> `OnReadyStateChange ] attrib
val a_onredo : (#Dom_html.event Js.t -> unit) -> [> `OnRedo ] attrib
val a_onresize : (#Dom_html.event Js.t -> unit) -> [> `OnResize ] attrib
val a_onscroll : (#Dom_html.event Js.t -> unit) -> [> `OnScroll ] attrib
val a_onseeked : (#Dom_html.event Js.t -> unit) -> [> `OnSeeked ] attrib
val a_onseeking : (#Dom_html.event Js.t -> unit) -> [> `OnSeeking ] attrib
val a_onselect : (#Dom_html.event Js.t -> unit) -> [> `OnSelect ] attrib
val a_onshow : (#Dom_html.event Js.t -> unit) -> [> `OnShow ] attrib
val a_onstalled : (#Dom_html.event Js.t -> unit) -> [> `OnStalled ] attrib
val a_onstorage : (#Dom_html.event Js.t -> unit) -> [> `OnStorage ] attrib
val a_onsubmit : (#Dom_html.event Js.t -> unit) -> [> `OnSubmit ] attrib
val a_onsuspend : (#Dom_html.event Js.t -> unit) -> [> `OnSuspend ] attrib
val a_ontimeupdate : 
  (#Dom_html.event Js.t -> unit) -> [> `OnTimeUpdate ] attrib
val a_onundo : (#Dom_html.event Js.t -> unit) -> [> `OnUndo ] attrib
val a_onunload : (#Dom_html.event Js.t -> unit) -> [> `OnUnload ] attrib
val a_onvolumechange : 
  (#Dom_html.event Js.t -> unit) -> [> `OnVolumeChange ] attrib
val a_onwaiting : (#Dom_html.event Js.t -> unit) -> [> `OnWaiting ] attrib
val a_onkeypress : 
  (#Dom_html.keyboardEvent Js.t -> unit) -> [> `OnKeyPress ] attrib
val a_onkeydown : 
  (#Dom_html.keyboardEvent Js.t -> unit) -> [> `OnKeyDown ] attrib
val a_onkeyup : 
  (#Dom_html.keyboardEvent Js.t -> unit) -> [> `OnKeyUp ] attrib
val a_onload : (#Dom_html.event Js.t -> unit) -> [> `OnLoad ] attrib
val a_onloadeddata : 
  (#Dom_html.event Js.t -> unit) -> [> `OnLoadedData ] attrib
val a_onloadedmetadata : 
  (#Dom_html.event Js.t -> unit) -> [> `OnLoadedMetaData ] attrib
val a_onloadstart : 
  (#Dom_html.event Js.t -> unit) -> [> `OnLoadStart ] attrib
val a_onmessage : (#Dom_html.event Js.t -> unit) -> [> `OnMessage ] attrib
val of_element : Dom_html.element Js.t -> 'a elt

Wrap Dom_node into HTML5.elt

val of_html : Dom_html.htmlElement Js.t -> HTML5_types.html elt
val of_head : Dom_html.headElement Js.t -> HTML5_types.head elt
val of_title : Dom_html.titleElement Js.t -> HTML5_types.title elt
val of_meta : Dom_html.metaElement Js.t -> HTML5_types.meta elt
val of_base : Dom_html.baseElement Js.t -> HTML5_types.base elt
val of_style : Dom_html.styleElement Js.t -> HTML5_types.style elt
val of_body : Dom_html.bodyElement Js.t -> HTML5_types.body elt
val of_form : Dom_html.formElement Js.t -> HTML5_types.form elt
val of_optGroup : Dom_html.optGroupElement Js.t -> HTML5_types.optgroup elt
val of_option : Dom_html.optionElement Js.t -> HTML5_types.selectoption elt
val of_select : Dom_html.selectElement Js.t -> HTML5_types.select elt
val of_input : Dom_html.inputElement Js.t -> HTML5_types.input elt
val of_textArea : Dom_html.textAreaElement Js.t -> HTML5_types.textarea elt
val of_button : Dom_html.buttonElement Js.t -> HTML5_types.button elt
val of_label : Dom_html.labelElement Js.t -> HTML5_types.label elt
val of_fieldSet : Dom_html.fieldSetElement Js.t -> HTML5_types.fieldset elt
val of_legend : Dom_html.legendElement Js.t -> HTML5_types.legend elt
val of_uList : Dom_html.uListElement Js.t -> HTML5_types.ul elt
val of_oList : Dom_html.oListElement Js.t -> HTML5_types.ol elt
val of_dList : Dom_html.dListElement Js.t -> [ `Dl ] elt
val of_li : Dom_html.liElement Js.t -> HTML5_types.li elt
val of_div : Dom_html.divElement Js.t -> HTML5_types.div elt
val of_paragraph : Dom_html.paragraphElement Js.t -> HTML5_types.p elt
val of_heading : Dom_html.headingElement Js.t -> HTML5_types.heading elt
val of_quote : Dom_html.quoteElement Js.t -> HTML5_types.blockquote elt
val of_pre : Dom_html.preElement Js.t -> HTML5_types.pre elt
val of_br : Dom_html.brElement Js.t -> HTML5_types.br elt
val of_hr : Dom_html.hrElement Js.t -> HTML5_types.hr elt
val of_anchor : Dom_html.anchorElement Js.t -> 'a HTML5_types.a elt
val of_image : Dom_html.imageElement Js.t -> [ `Img ] elt
val of_object : Dom_html.objectElement Js.t -> 'a HTML5_types.object_ elt
val of_param : Dom_html.paramElement Js.t -> HTML5_types.param elt
val of_area : Dom_html.areaElement Js.t -> HTML5_types.area elt
val of_map : Dom_html.mapElement Js.t -> 'a HTML5_types.map elt
val of_script : Dom_html.scriptElement Js.t -> HTML5_types.script elt
val of_tableCell : Dom_html.tableCellElement Js.t -> [ `Td ] elt
val of_tableRow : Dom_html.tableRowElement Js.t -> HTML5_types.tr elt
val of_tableCol : Dom_html.tableColElement Js.t -> HTML5_types.col elt
val of_tableSection : 
  Dom_html.tableSectionElement Js.t -> [ `Tbody | `Tfoot | `Thead ] elt
val of_tableCaption : 
  Dom_html.tableCaptionElement Js.t -> HTML5_types.caption elt
val of_table : Dom_html.tableElement Js.t -> HTML5_types.table elt
val of_canvas : Dom_html.canvasElement Js.t -> 'a HTML5_types.canvas elt
val of_iFrame : Dom_html.iFrameElement Js.t -> HTML5_types.iframe elt

Global node

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 HTML5 element identifier. (see the Eliom manual for more information on 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 accessible through the name 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.