Functor Html5_f.​Make

module Make (Xml : Xml_sigs.T) 
   (Svg : Svg_sigs.T     with module Xml := Xml) :
  
  Html5_sigs.Twith type Xml.uri = Xml.uri
and type Xml.event_handler = Xml.event_handler
and type Xml.mouse_event_handler = Xml.mouse_event_handler
and type Xml.keyboard_event_handler = Xml.keyboard_event_handler
and type Xml.attrib = Xml.attrib
and type Xml.elt = Xml.elt
and module Svg := Svg
and type +'a elt = Xml.elt
and type 'a Xml.wrap = 'a
and type 'a wrap = 'a
and type 'a Xml.list_wrap = 'a list
and type 'a list_wrap = 'a list
and type 'a attrib = Xml.attrib
and type uri = Xml.uri

Parameters :

Xml:Xml_sigs.T
Svg:Svg_sigs.T with module Xml := Xml

module Xml : Xml_sigs.Wrapped
module Svg : Svg_sigs.Twith module Xml := Xml
module Info : Xml_sigs.Info
type 'a wrap
type 'a list_wrap
type uri = Xml.uri
val string_of_uri : uri -> string
val uri_of_string : string -> uri

Common Attributes

type +'a attrib
val to_xmlattribs : 'a attrib list -> Xml.attrib list
val to_attrib : Xml.attrib -> 'a attrib

'a is known as a phantom type. The implementation is actually monomorphic (the different element types are distinguished by a homogeneous variable, such as their textual representation) and the type variable `a is just used by the type checker.

NB: It might be possible to use polymorphic variants directly, without phantom types, but the implementation is likely to be more involved.

val a_autocomplete : 
  [< `Off | `On ] wrap ->
  [> `Autocomplete ] attrib
val a_async : [< `Async ] wrap -> [> `Async ] attrib
val a_autofocus : 
  [< `Autofocus ] wrap ->
  [> `Autofocus ] attrib
val a_autoplay : [< `Autoplay ] wrap -> [> `Autoplay ] attrib
val a_muted : [< `Muted ] wrap -> [> `Muted ] attrib
val a_crossorigin : 
  [< `Anonymous | `Use_credentials ] wrap ->
  [> `Crossorigin ] attrib
val a_mediagroup : string wrap -> [> `Mediagroup ] attrib
val a_challenge : 
  Html5_types.text wrap ->
  [> `Challenge ] attrib
val a_contenteditable : bool wrap -> [> `Contenteditable ] attrib
val a_contextmenu : 
  Html5_types.idref wrap ->
  [> `Contextmenu ] attrib
val a_controls : [< `Controls ] wrap -> [> `Controls ] attrib
val a_dir : [< `Ltr | `Rtl ] wrap -> [> `Dir ] attrib
val a_draggable : bool wrap -> [> `Draggable ] attrib
val a_form : Html5_types.idref wrap -> [> `Form ] attrib
val a_formaction : Xml.uri wrap -> [> `Formaction ] attrib
val a_formenctype : 
  Html5_types.contenttype wrap ->
  [> `Formenctype ] attrib
val a_formmethod : 
  [< `Delete | `Get | `Post | `Put ] wrap ->
  [> `Formmethod ] attrib
val a_formnovalidate : 
  [< `Formnovalidate ] wrap ->
  [> `Formnovalidate ] attrib
val a_formtarget : 
  Html5_types.text wrap ->
  [> `Formtarget ] attrib
val a_hidden : [< `Hidden ] wrap -> [> `Hidden ] attrib
val a_high : 
  Html5_types.float_number wrap ->
  [> `High ] attrib
val a_icon : Xml.uri wrap -> [> `Icon ] attrib
val a_ismap : [< `Ismap ] wrap -> [> `Ismap ] attrib
val a_keytype : 
  Html5_types.text wrap ->
  [> `Keytype ] attrib
val a_list : Html5_types.idref wrap -> [> `List ] attrib
val a_loop : [< `Loop ] wrap -> [> `Loop ] attrib
val a_low : 
  Html5_types.float_number wrap ->
  [> `High ] attrib
val a_max : 
  Html5_types.float_number wrap ->
  [> `Max ] attrib
val a_input_max : 
  Html5_types.float_number wrap ->
  [> `Input_Max ] attrib
val a_min : 
  Html5_types.float_number wrap ->
  [> `Min ] attrib
val a_input_min : 
  Html5_types.float_number wrap ->
  [> `Input_Min ] attrib
val a_novalidate : 
  [< `Novalidate ] wrap ->
  [> `Novalidate ] attrib
val a_open : [< `Open ] wrap -> [> `Open ] attrib
val a_optimum : 
  Html5_types.float_number wrap ->
  [> `Optimum ] attrib
val a_pattern : 
  Html5_types.text wrap ->
  [> `Pattern ] attrib
val a_placeholder : 
  Html5_types.text wrap ->
  [> `Placeholder ] attrib
val a_poster : Xml.uri wrap -> [> `Poster ] attrib
val a_preload : 
  [< `Audio | `Metadata | `None ] wrap ->
  [> `Preload ] attrib
val a_pubdate : [< `Pubdate ] wrap -> [> `Pubdate ] attrib
val a_radiogroup : 
  Html5_types.text wrap ->
  [> `Radiogroup ] attrib
val a_required : [< `Required ] wrap -> [> `Required ] attrib
val a_reversed : [< `Reversed ] wrap -> [> `Reversed ] attrib
val a_sandbox : 
  [< `AllowForms | `AllowSameOrigin | `AllowScript ] list
  wrap -> [> `Sandbox ] attrib
val a_spellcheck : bool wrap -> [> `Spellcheck ] attrib
val a_scoped : [< `Scoped ] wrap -> [> `Scoped ] attrib
val a_seamless : [< `Seamless ] wrap -> [> `Seamless ] attrib
val a_sizes : 
  Html5_types.numbers wrap ->
  [> `Sizes ] attrib
val a_span : Html5_types.number wrap -> [> `Span ] attrib
val a_srclang : 
  Html5_types.nmtoken wrap ->
  [> `XML_lang ] attrib
val a_start : 
  Html5_types.number wrap ->
  [> `Start ] attrib
val a_step : 
  Html5_types.float_number option wrap ->
  [> `Step ] attrib
val a_wrap : [< `Hard | `Soft ] wrap -> [> `Wrap ] attrib
val a_class : 
  Html5_types.nmtokens wrap ->
  [> `Class ] attrib

This attribute assigns a class name or set of class names to an element. Any number of elements may be assigned the same class name or names.

val a_user_data : 
  Html5_types.nmtoken ->
  Html5_types.text wrap ->
  [> `User_data ] attrib

May be used to specify custom attribs. The example given by the W3C is as follows : {{{<ol> <li data-length="2m11s">Beyond The Sea</li> </ol>}}} It should be used for preprocessing ends only.

val a_id : Html5_types.text wrap -> [> `Id ] attrib

This attribute assigns a name to an element. This name must be unique in a document. The text should be without any space.

val a_title : Html5_types.text wrap -> [> `Title ] attrib

This attribute offers advisory information about the element for which it is set.

Values of the title attribute may be rendered by user agents in a variety of ways. For instance, visual browsers frequently display the title as a tool tip (a short message that appears when the pointing device pauses over an object). Audio user agents may speak the title information in a similar context.

The title attribute has an additional role when used with the link element to designate an external style sheet. Please consult the section on links and style sheets for details.

I18N

val a_xml_lang : 
  Html5_types.nmtoken wrap ->
  [> `XML_lang ] attrib

Events

val a_onabort : Xml.event_handler -> [> `OnAbort ] attrib

Javascript events

val a_onafterprint : Xml.event_handler -> [> `OnAfterPrint ] attrib
val a_onbeforeprint : Xml.event_handler -> [> `OnBeforePrint ] attrib
val a_onbeforeunload : Xml.event_handler -> [> `OnBeforeUnload ] attrib
val a_onblur : Xml.event_handler -> [> `OnBlur ] attrib
val a_oncanplay : Xml.event_handler -> [> `OnCanPlay ] attrib
val a_oncanplaythrough : Xml.event_handler -> [> `OnCanPlayThrough ] attrib
val a_onchange : Xml.event_handler -> [> `OnChange ] attrib
val a_ondurationchange : Xml.event_handler -> [> `OnDurationChange ] attrib
val a_onemptied : Xml.event_handler -> [> `OnEmptied ] attrib
val a_onended : Xml.event_handler -> [> `OnEnded ] attrib
val a_onerror : Xml.event_handler -> [> `OnError ] attrib
val a_onfocus : Xml.event_handler -> [> `OnFocus ] attrib
val a_onformchange : Xml.event_handler -> [> `OnFormChange ] attrib
val a_onforminput : Xml.event_handler -> [> `OnFormInput ] attrib
val a_onhashchange : Xml.event_handler -> [> `OnHashChange ] attrib
val a_oninput : Xml.event_handler -> [> `OnInput ] attrib
val a_oninvalid : Xml.event_handler -> [> `OnInvalid ] attrib
val a_onmousewheel : Xml.event_handler -> [> `OnMouseWheel ] attrib
val a_onoffline : Xml.event_handler -> [> `OnOffLine ] attrib
val a_ononline : Xml.event_handler -> [> `OnOnLine ] attrib
val a_onpause : Xml.event_handler -> [> `OnPause ] attrib
val a_onplay : Xml.event_handler -> [> `OnPlay ] attrib
val a_onplaying : Xml.event_handler -> [> `OnPlaying ] attrib
val a_onpagehide : Xml.event_handler -> [> `OnPageHide ] attrib
val a_onpageshow : Xml.event_handler -> [> `OnPageShow ] attrib
val a_onpopstate : Xml.event_handler -> [> `OnPopState ] attrib
val a_onprogress : Xml.event_handler -> [> `OnProgress ] attrib
val a_onratechange : Xml.event_handler -> [> `OnRateChange ] attrib
val a_onreadystatechange : 
  Xml.event_handler -> [> `OnReadyStateChange ] attrib
val a_onredo : Xml.event_handler -> [> `OnRedo ] attrib
val a_onresize : Xml.event_handler -> [> `OnResize ] attrib
val a_onscroll : Xml.event_handler -> [> `OnScroll ] attrib
val a_onseeked : Xml.event_handler -> [> `OnSeeked ] attrib
val a_onseeking : Xml.event_handler -> [> `OnSeeking ] attrib
val a_onselect : Xml.event_handler -> [> `OnSelect ] attrib
val a_onshow : Xml.event_handler -> [> `OnShow ] attrib
val a_onstalled : Xml.event_handler -> [> `OnStalled ] attrib
val a_onstorage : Xml.event_handler -> [> `OnStorage ] attrib
val a_onsubmit : Xml.event_handler -> [> `OnSubmit ] attrib
val a_onsuspend : Xml.event_handler -> [> `OnSuspend ] attrib
val a_ontimeupdate : Xml.event_handler -> [> `OnTimeUpdate ] attrib
val a_onundo : Xml.event_handler -> [> `OnUndo ] attrib
val a_onunload : Xml.event_handler -> [> `OnUnload ] attrib
val a_onvolumechange : Xml.event_handler -> [> `OnVolumeChange ] attrib
val a_onwaiting : Xml.event_handler -> [> `OnWaiting ] attrib
val a_onload : Xml.event_handler -> [> `OnLoad ] attrib
val a_onloadeddata : Xml.event_handler -> [> `OnLoadedData ] attrib
val a_onloadedmetadata : Xml.event_handler -> [> `OnLoadedMetaData ] attrib
val a_onloadstart : Xml.event_handler -> [> `OnLoadStart ] attrib
val a_onmessage : Xml.event_handler -> [> `OnMessage ] attrib
val a_onclick : Xml.mouse_event_handler -> [> `OnClick ] attrib

Javascript mouse events

val a_oncontextmenu : Xml.mouse_event_handler -> [> `OnContextMenu ] attrib
val a_ondblclick : Xml.mouse_event_handler -> [> `OnDblClick ] attrib
val a_ondrag : Xml.mouse_event_handler -> [> `OnDrag ] attrib
val a_ondragend : Xml.mouse_event_handler -> [> `OnDragEnd ] attrib
val a_ondragenter : Xml.mouse_event_handler -> [> `OnDragEnter ] attrib
val a_ondragleave : Xml.mouse_event_handler -> [> `OnDragLeave ] attrib
val a_ondragover : Xml.mouse_event_handler -> [> `OnDragOver ] attrib
val a_ondragstart : Xml.mouse_event_handler -> [> `OnDragStart ] attrib
val a_ondrop : Xml.mouse_event_handler -> [> `OnDrop ] attrib
val a_onmousedown : Xml.mouse_event_handler -> [> `OnMouseDown ] attrib
val a_onmouseup : Xml.mouse_event_handler -> [> `OnMouseUp ] attrib
val a_onmouseover : Xml.mouse_event_handler -> [> `OnMouseOver ] attrib
val a_onmousemove : Xml.mouse_event_handler -> [> `OnMouseMove ] attrib
val a_onmouseout : Xml.mouse_event_handler -> [> `OnMouseOut ] attrib
val a_onkeypress : Xml.keyboard_event_handler -> [> `OnKeyPress ] attrib

Javascript keyboard events

val a_onkeydown : Xml.keyboard_event_handler -> [> `OnKeyDown ] attrib
val a_onkeyup : Xml.keyboard_event_handler -> [> `OnKeyUp ] attrib
val a_version : 
  Html5_types.cdata wrap ->
  [> `Version ] attrib
val a_xmlns : 
  [< `W3_org_1999_xhtml ] wrap ->
  [> `XMLns ] attrib
val a_manifest : Xml.uri wrap -> [> `Manifest ] attrib
val a_cite : Xml.uri wrap -> [> `Cite ] attrib
val a_xml_space : 
  [< `Preserve ] wrap ->
  [> `XML_space ] attrib
val a_accesskey : 
  Html5_types.character wrap ->
  [> `Accesskey ] attrib

This attribute assigns an access key to an element. An access key is a single character from the document character set. NB: authors should consider the input method of the expected reader when specifying an accesskey.

val a_charset : 
  Html5_types.charset wrap ->
  [> `Charset ] attrib

This attribute specifies the character encoding of the resource designated by the link. Please consult the section on character encodings for more details.

val a_accept_charset : 
  Html5_types.charsets wrap ->
  [> `Accept_charset ] attrib
val a_accept : 
  Html5_types.contenttypes wrap ->
  [> `Accept ] attrib
val a_href : Xml.uri wrap -> [> `Href ] attrib

This attribute specifies the location of a Web resource, thus defining a link between the current element (the source anchor) and the destination anchor defined by this attribute.

val a_hreflang : 
  Html5_types.languagecode wrap ->
  [> `Hreflang ] attrib

This attribute specifies the base language of the resource designated by href and may only be used when href is specified.

val a_rel : 
  Html5_types.linktypes wrap ->
  [> `Rel ] attrib

This attribute describes the relationship from the current document to the anchor specified by the href attribute. The value of this attribute is a space-separated list of link types.

This attribute is used to describe a reverse link from the anchor specified by the href attribute to the current document. The value of this attribute is a space-separated list of link types.

val a_tabindex : 
  Html5_types.number wrap ->
  [> `Tabindex ] attrib

This attribute specifies the position of the current element in the tabbing order for the current document. This value must be a number between 0 and 32767. User agents should ignore leading zeros.

val a_mime_type : 
  Html5_types.contenttype wrap ->
  [> `Mime_type ] attrib

This attribute gives an advisory hint as to the content type of the content available at the link target address. It allows user agents to opt to use a fallback mechanism rather than fetch the content if they are advised that they will get content in a content type they do not support.Authors who use this attribute take responsibility to manage the risk that it may become inconsistent with the content available at the link target address.

val a_datetime : 
  Html5_types.cdata wrap ->
  [> `Datetime ] attrib
val a_action : Xml.uri wrap -> [> `Action ] attrib

This attribute specifies a form processing agent. User agent behavior for a value other than an HTTP URI is undefined.

val a_checked : [< `Checked ] wrap -> [> `Checked ] attrib

When the type attribute has the value "radio" or "checkbox", this boolean attribute specifies that the button is on. User agents must ignore this attribute for other control types.

val a_cols : Html5_types.number wrap -> [> `Cols ] attrib

This attribute specifies the visible width in average character widths. Users should be able to enter longer lines than this, so user agents should provide some means to scroll through the contents of the control when the contents extend beyond the visible area. User agents may wrap visible text lines to keep long lines visible without the need for scrolling.

val a_enctype : 
  Html5_types.contenttype wrap ->
  [> `Enctype ] attrib
val a_for : Html5_types.idref wrap -> [> `For ] attrib
val a_for_list : 
  Html5_types.idrefs wrap ->
  [> `For_List ] attrib
val a_maxlength : 
  Html5_types.number wrap ->
  [> `Maxlength ] attrib
val a_method : 
  [< `Delete | `Get | `Post | `Put ] wrap ->
  [> `Method ] attrib
val a_multiple : [< `Multiple ] wrap -> [> `Multiple ] attrib
val a_name : Html5_types.text wrap -> [> `Name ] attrib

This attribute assigns the control name.

val a_rows : Html5_types.number wrap -> [> `Rows ] attrib

This attribute specifies the number of visible text lines. Users should be able to enter more lines than this, so user agents should provide some means to scroll through the contents of the control when the contents extend beyond the visible area.

val a_selected : [< `Selected ] wrap -> [> `Selected ] attrib

When set, this boolean attribute specifies that this option is pre-selected.

val a_size : Html5_types.number wrap -> [> `Size ] attrib
val a_src : Xml.uri wrap -> [> `Src ] attrib
val a_input_type : 
  [< `Button
   | `Checkbox
   | `Color
   | `Date
   | `Datetime
   | `Datetime_local
   | `Email
   | `File
   | `Hidden
   | `Image
   | `Month
   | `Number
   | `Password
   | `Radio
   | `Range
   | `Reset
   | `Search
   | `Submit
   | `Tel
   | `Text
   | `Time
   | `Url
   | `Week ]
  wrap -> [> `Input_Type ] attrib
val a_text_value : 
  Html5_types.text wrap ->
  [> `Text_Value ] attrib

This attribute specifies the initial value of the control. If this attribute is not set, the initial value is set to the contents of the option element.

val a_int_value : 
  s",0]]]]]" hrt;,0csforge "odoc>a_int_value : ,0,[t;,0csforge "odoc id="VALa_int_value">m-nodcsforgepan class=rver_AAA5tpg+b3sw] "odoc>a_int_value : ,0,[0,t;,0csforgecsforgetml5_st set, the initial value is set to the contents of "odoc"odocwiki_inlinecode">option
:csforge "odoc_keyword">val <>"odoc>a_int_value : 
  
ypes",0]]]]]t;,0csforge "odoc>a_int_value : ,0,[t;,0csforge "odoc id="VALa_int_value">m-nodcsforge rver_AAg+b3sw] "odoc>a_int_value : ,0,[0,t;,0csforgecsforgetml5_st set, the initial value is set to the corver_yaOm3rloae "odoc"odocwiki_inlinecode">option
:csforge "odoc_keyword">val <>pan class="odoc>a_int_value : 
  
ypes",0rloae_[0,0,[t;,0csforge "odoc>a_int_value : ,0,[t;,0csforge "odoc id="VALa_int_value">m-nodcsforgepan class=/NiJBhYSloaepg+b3sw] "odoc>a_int_value : ,0,[0,t;,0csforgecsforgetml5_st set, the initial value is set to the come inconsisisan>"odoc"odocwiki_inlinecode">option
:csforge "odoc_keyword">val <>[s="odocisan>a_int_value : ,0,[t;,0csforge "odoc id="VALa_int_value">m-nodcsforge 55+s/yHwisan>a_int_value : ,0,[0,t;,0csforgecsforgetml5_st set, the initial value is
set to the co
"odoc"odocwiki_inlinecode">option
:csforge "odoc_keyword">val <>[s="odoReadOnly ] "odoc>a_int_value : ,0,[t;,0csforge "odoc id="VALa_int_value">m-nodcsforge "server_eadOnly ] "odoc>a_int_value : ,0,[0,t;,0csforgecsforgetml5_st set, the initial value is
set to the co
<>"odoc"odocwiki_inlinecode">option
:csforge "odoc_keyword">val <>pan class=[docwiki_name | | `Im | | `Numb ] "odoc>a_int_value : ,0,[t;,0csforge "odoc id="VALa_int_value">m-nodcsforgepan class="serveri_namebVimTO] "odoc>a_int_value : ,0,[0,t;,0csforgecsforgetml5_st set, the initial value is
set to the cois on. User mmandpan> <>"odoc"odocwiki_inlinecode">option
:csforge "odoc_keyword">val <>pan class=[span cl/span>  |"ocsmmand | | `Fi ] "odoc>a_int_value : ,0,[t;,0csforge "odoc id="VALa_int_value">m-nodcsforgepan class=server_AAmmandbVimTO] "odoc>a_int_value : ,0,[0,t;,0csforgecsforgetml5_st set, the initial value is
set to the corver_/gOTMqknupan> <>"odoc"odocwiki_inlinecode">option
:csforge "odoc_keyword">val <>pan class=[span clhis xt | `Toolbar ] "odoc>a_int_value : ,0,[t;,0csforge "odoc id="VALa_int_value">m-nodcsforgepan class=o6FQmi7kYnubVimTO] "odoc>a_int_value : ,0,[0,t;,0csforgecsforgetml5_st set, the initial value is
set to the corver_/gOTMlabel">"odoc"odocwiki_inlinecode">option