Module `Tyxml_html`

Typesafe constructors and printers for Html documents.

see http://www.w3.org/TR/html5/: W3C Recommendation

Concrete implementation of Html typesafe constructors. See Html_sigs.T.

include Html_sigs.Make(Tyxml_xml)(Tyxml_svg).T with module Xml.W = Xml_wrap.NoWrap

type +'a elt
type doc = Html_types.html elt
type +'a attrib

module Xml : sig ... end

type 'a wrap = 'a Xml.W.t
type 'a list_wrap = 'a Xml.W.tlist
type ('a, 'b) nullary = ?⁠a:'a attrib list -> unit -> 'b elt
type ('a, 'b, 'c) unary = ?⁠a:'a attrib list -> 'b elt wrap -> 'c elt
type ('a, 'b, 'c) star = ?⁠a:'a attrib list -> 'b elt list_wrap -> 'c elt

module Info : Xml_sigs.Info

type uri = Xml.uri

val string_of_uri : (uri, string) Xml.W.ft
val uri_of_string : (string, uri) Xml.W.ft
val a_class : Html_types.nmtokens wrap -> [> `Class ] attrib
val a_user_data : Html_types.nmtoken -> Html_types.text wrap -> [> `User_data ] attrib
val a_id : Html_types.text wrap -> [> `Id ] attrib
val a_title : Html_types.text wrap -> [> `Title ] attrib
val a_xml_lang : Html_types.languagecode wrap -> [> `XML_lang ] attrib
val a_lang : Html_types.languagecode wrap -> [> `Lang ] attrib
val a_onabort : Xml.event_handler -> [> `OnAbort ] attrib
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
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_ontouchstart : Xml.touch_event_handler -> [> `OnTouchStart ] attrib
val a_ontouchend : Xml.touch_event_handler -> [> `OnTouchEnd ] attrib
val a_ontouchmove : Xml.touch_event_handler -> [> `OnTouchMove ] attrib
val a_ontouchcancel : Xml.touch_event_handler -> [> `OnTouchCancel ] attrib
val a_onkeypress : Xml.keyboard_event_handler -> [> `OnKeyPress ] attrib
val a_onkeydown : Xml.keyboard_event_handler -> [> `OnKeyDown ] attrib
val a_onkeyup : Xml.keyboard_event_handler -> [> `OnKeyUp ] attrib
val a_autocomplete : bool wrap -> [> `Autocomplete ] attrib
val a_async : unit -> [> `Async ] attrib
val a_autofocus : unit -> [> `Autofocus ] attrib
val a_autoplay : unit -> [> `Autoplay ] attrib
val a_muted : unit -> [> `Muted ] attrib
val a_crossorigin : [< `Anonymous | `Use_credentials ] wrap -> [> `Crossorigin ] attrib
val a_mediagroup : string wrap -> [> `Mediagroup ] attrib
val a_challenge : Html_types.text wrap -> [> `Challenge ] attrib
val a_contenteditable : bool wrap -> [> `Contenteditable ] attrib
val a_contextmenu : Html_types.idref wrap -> [> `Contextmenu ] attrib
val a_controls : unit -> [> `Controls ] attrib
val a_dir : [< `Ltr | `Rtl ] wrap -> [> `Dir ] attrib
val a_draggable : bool wrap -> [> `Draggable ] attrib
val a_form : Html_types.idref wrap -> [> `Form ] attrib
val a_formaction : Xml.uri wrap -> [> `Formaction ] attrib
val a_formenctype : Html_types.contenttype wrap -> [> `Formenctype ] attrib
val a_formnovalidate : unit -> [> `Formnovalidate ] attrib
val a_formtarget : Html_types.text wrap -> [> `Formtarget ] attrib
val a_hidden : unit -> [> `Hidden ] attrib
val a_high : Html_types.float_number wrap -> [> `High ] attrib
val a_icon : Xml.uri wrap -> [> `Icon ] attrib
val a_ismap : unit -> [> `Ismap ] attrib
val a_keytype : Html_types.text wrap -> [> `Keytype ] attrib
val a_list : Html_types.idref wrap -> [> `List ] attrib
val a_loop : unit -> [> `Loop ] attrib
val a_low : Html_types.float_number wrap -> [> `High ] attrib
val a_max : Html_types.float_number wrap -> [> `Max ] attrib
val a_input_max : Html_types.number_or_datetime wrap -> [> `Input_Max ] attrib
val a_min : Html_types.float_number wrap -> [> `Min ] attrib
val a_input_min : Html_types.number_or_datetime wrap -> [> `Input_Min ] attrib
val a_inputmode : [< `Email | `Full_width_latin | `Kana | `Katakana | `Latin | `Latin_name | `Latin_prose | `Numeric | `Tel | `Url | `Verbatim ] wrap -> [> `Inputmode ] attrib
val a_novalidate : unit -> [> `Novalidate ] attrib
val a_open : unit -> [> `Open ] attrib
val a_optimum : Html_types.float_number wrap -> [> `Optimum ] attrib
val a_pattern : Html_types.text wrap -> [> `Pattern ] attrib
val a_placeholder : Html_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 : unit -> [> `Pubdate ] attrib
val a_radiogroup : Html_types.text wrap -> [> `Radiogroup ] attrib
val a_required : unit -> [> `Required ] attrib
val a_reversed : unit -> [> `Reversed ] attrib
val a_sandbox : [< Html_types.sandbox_token ] list wrap -> [> `Sandbox ] attrib
val a_spellcheck : bool wrap -> [> `Spellcheck ] attrib
val a_scoped : unit -> [> `Scoped ] attrib
val a_seamless : unit -> [> `Seamless ] attrib
val a_sizes : (Html_types.number * Html_types.number) list option wrap -> [> `Sizes ] attrib
val a_span : Html_types.number wrap -> [> `Span ] attrib
val a_srclang : Html_types.nmtoken wrap -> [> `XML_lang ] attrib

type image_candidate = [ | `Url of uri | `Url_pixel of uri * Html_types.float_number | `Url_width of uri * Html_types.number ]

val a_srcset : image_candidate list wrap -> [> `Srcset ] attrib
val a_img_sizes : Html_types.text list wrap -> [> `Img_sizes ] attrib
val a_start : Html_types.number wrap -> [> `Start ] attrib
val a_step : Html_types.float_number option wrap -> [> `Step ] attrib
val a_wrap : [< `Hard | `Soft ] wrap -> [> `Wrap ] attrib
val a_version : Html_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 : [< `Default | `Preserve ] wrap -> [> `XML_space ] attrib
val a_accesskey : Html_types.character wrap -> [> `Accesskey ] attrib
val a_charset : Html_types.charset wrap -> [> `Charset ] attrib
val a_accept_charset : Html_types.charsets wrap -> [> `Accept_charset ] attrib
val a_accept : Html_types.contenttypes wrap -> [> `Accept ] attrib
val a_href : Xml.uri wrap -> [> `Href ] attrib
val a_hreflang : Html_types.languagecode wrap -> [> `Hreflang ] attrib
val a_download : string option wrap -> [> `Download ] attrib
val a_rel : Html_types.linktypes wrap -> [> `Rel ] attrib
val a_tabindex : Html_types.number wrap -> [> `Tabindex ] attrib
val a_mime_type : Html_types.contenttype wrap -> [> `Mime_type ] attrib
val a_datetime : Html_types.cdata wrap -> [> `Datetime ] attrib
val a_action : Xml.uri wrap -> [> `Action ] attrib
val a_checked : unit -> [> `Checked ] attrib
val a_cols : Html_types.number wrap -> [> `Cols ] attrib
val a_enctype : Html_types.contenttype wrap -> [> `Enctype ] attrib
val a_label_for : Html_types.idref wrap -> [> `Label_for ] attrib
val a_for : Html_types.idref wrap -> [> `Label_for ] attrib
val a_output_for : Html_types.idrefs wrap -> [> `Output_for ] attrib
val a_for_list : Html_types.idrefs wrap -> [> `Output_for ] attrib
val a_maxlength : Html_types.number wrap -> [> `Maxlength ] attrib
val a_minlength : Html_types.number wrap -> [> `Minlength ] attrib
val a_method : [< `Get | `Post ] wrap -> [> `Method ] attrib
val a_formmethod : [< `Get | `Post ] wrap -> [> `Method ] attrib
val a_multiple : unit -> [> `Multiple ] attrib
val a_name : Html_types.text wrap -> [> `Name ] attrib
val a_rows : Html_types.number wrap -> [> `Rows ] attrib
val a_selected : unit -> [> `Selected ] attrib
val a_size : Html_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 : Html_types.text wrap -> [> `Text_Value ] attrib
val a_int_value : Html_types.number wrap -> [> `Int_Value ] attrib
val a_value : Html_types.cdata wrap -> [> `Value ] attrib
val a_float_value : Html_types.float_number wrap -> [> `Float_Value ] attrib
val a_disabled : unit -> [> `Disabled ] attrib
val a_readonly : unit -> [> `ReadOnly ] attrib
val a_button_type : [< `Button | `Reset | `Submit ] wrap -> [> `Button_Type ] attrib
val a_command_type : [< `Checkbox | `Command | `Radio ] wrap -> [> `Command_Type ] attrib
val a_menu_type : [< `Context | `Toolbar ] wrap -> [> `Menu_Type ] attrib
val a_label : Html_types.text wrap -> [> `Label ] attrib
val a_align : [< `Char | `Justify | `Left | `Right ] wrap -> [> `Align ] attrib
val a_axis : Html_types.cdata wrap -> [> `Axis ] attrib
val a_colspan : Html_types.number wrap -> [> `Colspan ] attrib
val a_headers : Html_types.idrefs wrap -> [> `Headers ] attrib
val a_rowspan : Html_types.number wrap -> [> `Rowspan ] attrib
val a_scope : [< `Col | `Colgroup | `Row | `Rowgroup ] wrap -> [> `Scope ] attrib
val a_summary : Html_types.text wrap -> [> `Summary ] attrib
val a_border : Html_types.pixels wrap -> [> `Border ] attrib
val a_rules : [< `All | `Cols | `Groups | `None | `Rows ] wrap -> [> `Rules ] attrib
val a_char : Html_types.character wrap -> [> `Char ] attrib
val a_alt : Html_types.text wrap -> [> `Alt ] attrib
val a_height : Html_types.number wrap -> [> `Height ] attrib
val a_width : Html_types.number wrap -> [> `Width ] attrib

type shape = [ | `Circle | `Default | `Poly | `Rect ]

val a_shape : shape wrap -> [> `Shape ] attrib
val a_coords : Html_types.numbers wrap -> [> `Coords ] attrib
val a_usemap : Html_types.idref wrap -> [> `Usemap ] attrib
val a_data : Xml.uri wrap -> [> `Data ] attrib
val a_codetype : Html_types.contenttype wrap -> [> `Codetype ] attrib
val a_frameborder : [< `One | `Zero ] wrap -> [> `Frameborder ] attrib
val a_marginheight : Html_types.pixels wrap -> [> `Marginheight ] attrib
val a_marginwidth : Html_types.pixels wrap -> [> `Marginwidth ] attrib
val a_scrolling : [< `Auto | `No | `Yes ] wrap -> [> `Scrolling ] attrib
val a_target : Html_types.frametarget wrap -> [> `Target ] attrib
val a_content : Html_types.text wrap -> [> `Content ] attrib
val a_http_equiv : Html_types.text wrap -> [> `Http_equiv ] attrib
val a_defer : unit -> [> `Defer ] attrib
val a_media : Html_types.mediadesc wrap -> [> `Media ] attrib
val a_style : string wrap -> [> `Style_Attr ] attrib
val a_property : string wrap -> [> `Property ] attrib
val a_role : string list wrap -> [> `Role ] attrib
val a_aria : string -> string list wrap -> [> `Aria ] attrib
val txt : string wrap -> [> Html_types.txt ] elt
val html : ?⁠a:Html_types.html_attrib attrib list -> [< Html_types.head ] elt wrap -> [< Html_types.body ] elt wrap -> [> Html_types.html ] elt
val head : ?⁠a:Html_types.head_attrib attrib list -> [< Html_types.title ] elt wrap -> Html_types.head_content_fun elt list_wrap -> [> Html_types.head ] elt
val base : ([< Html_types.base_attrib ], [> Html_types.base ]) nullary
val title : (Html_types.title_attrib, [< Html_types.title_content_fun ], [> Html_types.title ]) unary
val body : ([< Html_types.body_attrib ], [< Html_types.body_content_fun ], [> Html_types.body ]) star
val svg : ?⁠a:[< Html_types.svg_attrib ] Tyxml_svg.attrib list -> [< Html_types.svg_content ] Tyxml_svg.elt list_wrap -> [> Html_types.svg ] elt
val footer : ([< Html_types.footer_attrib ], [< Html_types.footer_content_fun ], [> Html_types.footer ]) star
val header : ([< Html_types.header_attrib ], [< Html_types.header_content_fun ], [> Html_types.header ]) star
val section : ([< Html_types.section_attrib ], [< Html_types.section_content_fun ], [> Html_types.section ]) star
val nav : ([< Html_types.nav_attrib ], [< Html_types.nav_content_fun ], [> Html_types.nav ]) star
val h1 : ([< Html_types.h1_attrib ], [< Html_types.h1_content_fun ], [> Html_types.h1 ]) star
val h2 : ([< Html_types.h2_attrib ], [< Html_types.h2_content_fun ], [> Html_types.h2 ]) star
val h3 : ([< Html_types.h3_attrib ], [< Html_types.h3_content_fun ], [> Html_types.h3 ]) star
val h4 : ([< Html_types.h4_attrib ], [< Html_types.h4_content_fun ], [> Html_types.h4 ]) star
val h5 : ([< Html_types.h5_attrib ], [< Html_types.h5_content_fun ], [> Html_types.h5 ]) star
val h6 : ([< Html_types.h6_attrib ], [< Html_types.h6_content_fun ], [> Html_types.h6 ]) star
val hgroup : ([< Html_types.hgroup_attrib ], [< Html_types.hgroup_content_fun ], [> Html_types.hgroup ]) star
val address : ([< Html_types.address_attrib ], [< Html_types.address_content_fun ], [> Html_types.address ]) star
val article : ([< Html_types.article_attrib ], [< Html_types.article_content_fun ], [> Html_types.article ]) star
val aside : ([< Html_types.aside_attrib ], [< Html_types.aside_content_fun ], [> Html_types.aside ]) star
val main : ([< Html_types.main_attrib ], [< Html_types.main_content_fun ], [> Html_types.main ]) star
val p : ([< Html_types.p_attrib ], [< Html_types.p_content_fun ], [> Html_types.p ]) star
val pre : ([< Html_types.pre_attrib ], [< Html_types.pre_content_fun ], [> Html_types.pre ]) star
val blockquote : ([< Html_types.blockquote_attrib ], [< Html_types.blockquote_content_fun ], [> Html_types.blockquote ]) star
val div : ([< Html_types.div_attrib ], [< Html_types.div_content_fun ], [> Html_types.div ]) star
val dl : ([< Html_types.dl_attrib ], [< Html_types.dl_content_fun ], [> Html_types.dl ]) star
val ol : ([< Html_types.ol_attrib ], [< Html_types.ol_content_fun ], [> Html_types.ol ]) star
val ul : ([< Html_types.ul_attrib ], [< Html_types.ul_content_fun ], [> Html_types.ul ]) star
val dd : ([< Html_types.dd_attrib ], [< Html_types.dd_content_fun ], [> Html_types.dd ]) star
val dt : ([< Html_types.dt_attrib ], [< Html_types.dt_content_fun ], [> Html_types.dt ]) star
val li : ([< Html_types.li_attrib ], [< Html_types.li_content_fun ], [> Html_types.li ]) star
val figcaption : ([< Html_types.figcaption_attrib ], [< Html_types.figcaption_content_fun ], [> Html_types.figcaption ]) star
val figure : ?⁠figcaption:[ `Bottom of [< Html_types.figcaption ] elt wrap | `Top of [< Html_types.figcaption ] elt wrap ] -> ([< Html_types.figure_attrib ], [< Html_types.figure_content_fun ], [> Html_types.figure ]) star
val hr : ([< Html_types.hr_attrib ], [> Html_types.hr ]) nullary
val b : ([< Html_types.b_attrib ], [< Html_types.b_content_fun ], [> Html_types.b ]) star
val i : ([< Html_types.i_attrib ], [< Html_types.i_content_fun ], [> Html_types.i ]) star
val u : ([< Html_types.u_attrib ], [< Html_types.u_content_fun ], [> Html_types.u ]) star
val small : ([< Html_types.small_attrib ], [< Html_types.small_content_fun ], [> Html_types.small ]) star
val sub : ([< Html_types.sub_attrib ], [< Html_types.sub_content_fun ], [> Html_types.sub ]) star
val sup : ([< Html_types.sup_attrib ], [< Html_types.sup_content_fun ], [> Html_types.sup ]) star
val mark : ([< Html_types.mark_attrib ], [< Html_types.mark_content_fun ], [> Html_types.mark ]) star
val wbr : ([< Html_types.wbr_attrib ], [> Html_types.wbr ]) nullary
val bdo : dir:[< `Ltr | `Rtl ] wrap -> ([< Html_types.bdo_attrib ], [< Html_types.bdo_content_fun ], [> Html_types.bdo ]) star
val abbr : ([< Html_types.abbr_attrib ], [< Html_types.abbr_content_fun ], [> Html_types.abbr ]) star
val br : ([< Html_types.br_attrib ], [> Html_types.br ]) nullary
val cite : ([< Html_types.cite_attrib ], [< Html_types.cite_content_fun ], [> Html_types.cite ]) star
val code : ([< Html_types.code_attrib ], [< Html_types.code_content_fun ], [> Html_types.code ]) star
val dfn : ([< Html_types.dfn_attrib ], [< Html_types.dfn_content_fun ], [> Html_types.dfn ]) star
val em : ([< Html_types.em_attrib ], [< Html_types.em_content_fun ], [> Html_types.em ]) star
val kbd : ([< Html_types.kbd_attrib ], [< Html_types.kbd_content_fun ], [> Html_types.kbd ]) star
val q : ([< Html_types.q_attrib ], [< Html_types.q_content_fun ], [> Html_types.q ]) star
val samp : ([< Html_types.samp_attrib ], [< Html_types.samp_content_fun ], [> Html_types.samp ]) star
val span : ([< Html_types.span_attrib ], [< Html_types.span_content_fun ], [> Html_types.span ]) star
val strong : ([< Html_types.strong_attrib ], [< Html_types.strong_content_fun ], [> Html_types.strong ]) star
val time : ([< Html_types.time_attrib ], [< Html_types.time_content_fun ], [> Html_types.time ]) star
val var : ([< Html_types.var_attrib ], [< Html_types.var_content_fun ], [> Html_types.var ]) star
val a : ([< Html_types.a_attrib ], 'a, [> 'a Html_types.a ]) star
val del : ([< Html_types.del_attrib ], 'a, [> 'a Html_types.del ]) star
val ins : ([< Html_types.ins_attrib ], 'a, [> 'a Html_types.ins ]) star
val img : src:Xml.uri wrap -> alt:Html_types.text wrap -> ([< Html_types.img_attrib ], [> Html_types.img ]) nullary
val iframe : ([< Html_types.iframe_attrib ], [< Html_types.iframe_content_fun ], [> Html_types.iframe ]) star
val object_ : ?⁠params:[< Html_types.param ] elt list_wrap -> ([< Html_types.object__attrib ], 'a, [> `Object of 'a ]) star
val param : ([< Html_types.param_attrib ], [> Html_types.param ]) nullary
val embed : ([< Html_types.embed_attrib ], [> Html_types.embed ]) nullary
val audio : ?⁠src:Xml.uri wrap -> ?⁠srcs:[< Html_types.source ] elt list_wrap -> ([< Html_types.audio_attrib ], 'a, [> 'a Html_types.audio ]) star
val video : ?⁠src:Xml.uri wrap -> ?⁠srcs:[< Html_types.source ] elt list_wrap -> ([< Html_types.video_attrib ], 'a, [> 'a Html_types.video ]) star
val canvas : ([< Html_types.canvas_attrib ], 'a, [> 'a Html_types.canvas ]) star
val source : ([< Html_types.source_attrib ], [> Html_types.source ]) nullary
val area : alt:Html_types.text wrap -> ([< `Accesskey | `Alt | `Aria | `Class | `Contenteditable | `Contextmenu | `Coords | `Dir | `Draggable | `Hidden | `Hreflang | `Id | `Lang | `Media | `Mime_type | `OnAbort | `OnBlur | `OnCanPlay | `OnCanPlayThrough | `OnChange | `OnClick | `OnContextMenu | `OnDblClick | `OnDrag | `OnDragEnd | `OnDragEnter | `OnDragLeave | `OnDragOver | `OnDragStart | `OnDrop | `OnDurationChange | `OnEmptied | `OnEnded | `OnError | `OnFocus | `OnFormChange | `OnFormInput | `OnInput | `OnInvalid | `OnKeyDown | `OnKeyPress | `OnKeyUp | `OnLoad | `OnLoadStart | `OnLoadedData | `OnLoadedMetaData | `OnMouseDown | `OnMouseMove | `OnMouseOut | `OnMouseOver | `OnMouseUp | `OnMouseWheel | `OnPause | `OnPlay | `OnPlaying | `OnProgress | `OnRateChange | `OnReadyStateChange | `OnScroll | `OnSeeked | `OnSeeking | `OnSelect | `OnShow | `OnStalled | `OnSubmit | `OnSuspend | `OnTimeUpdate | `OnTouchCancel | `OnTouchEnd | `OnTouchMove | `OnTouchStart | `OnVolumeChange | `OnWaiting | `Rel | `Role | `Shape | `Spellcheck | `Style_Attr | `Tabindex | `Target | `Title | `User_data | `XML_lang | `XMLns ], [> Html_types.area ]) nullary
val map : ([< Html_types.map_attrib ], 'a, [> 'a Html_types.map ]) star
val caption : ([< Html_types.caption_attrib ], [< Html_types.caption_content_fun ], [> Html_types.caption ]) star
val table : ?⁠caption:[< Html_types.caption ] elt wrap -> ?⁠columns:[< Html_types.colgroup ] elt list_wrap -> ?⁠thead:[< Html_types.thead ] elt wrap -> ?⁠tfoot:[< Html_types.tfoot ] elt wrap -> ([< Html_types.table_attrib ], [< Html_types.table_content_fun ], [> Html_types.table ]) star
val tablex : ?⁠caption:[< Html_types.caption ] elt wrap -> ?⁠columns:[< Html_types.colgroup ] elt list_wrap -> ?⁠thead:[< Html_types.thead ] elt wrap -> ?⁠tfoot:[< Html_types.tfoot ] elt wrap -> ([< Html_types.tablex_attrib ], [< Html_types.tablex_content_fun ], [> Html_types.tablex ]) star
val colgroup : ([< Html_types.colgroup_attrib ], [< Html_types.colgroup_content_fun ], [> Html_types.colgroup ]) star
val col : ([< Html_types.col_attrib ], [> Html_types.col ]) nullary
val thead : ([< Html_types.thead_attrib ], [< Html_types.thead_content_fun ], [> Html_types.thead ]) star
val tbody : ([< Html_types.tbody_attrib ], [< Html_types.tbody_content_fun ], [> Html_types.tbody ]) star
val tfoot : ([< Html_types.tfoot_attrib ], [< Html_types.tfoot_content_fun ], [> Html_types.tfoot ]) star
val td : ([< Html_types.td_attrib ], [< Html_types.td_content_fun ], [> Html_types.td ]) star
val th : ([< Html_types.th_attrib ], [< Html_types.th_content_fun ], [> Html_types.th ]) star
val tr : ([< Html_types.tr_attrib ], [< Html_types.tr_content_fun ], [> Html_types.tr ]) star
val form : ([< Html_types.form_attrib ], [< Html_types.form_content_fun ], [> Html_types.form ]) star
val fieldset : ?⁠legend:[< Html_types.legend ] elt wrap -> ([< Html_types.fieldset_attrib ], [< Html_types.fieldset_content_fun ], [> Html_types.fieldset ]) star
val legend : ([< Html_types.legend_attrib ], [< Html_types.legend_content_fun ], [> Html_types.legend ]) star
val label : ([< Html_types.label_attrib ], [< Html_types.label_content_fun ], [> Html_types.label ]) star
val input : ([< Html_types.input_attrib ], [> Html_types.input ]) nullary
val button : ([< Html_types.button_attrib ], [< Html_types.button_content_fun ], [> Html_types.button ]) star
val select : ([< Html_types.select_attrib ], [< Html_types.select_content_fun ], [> Html_types.select ]) star
val datalist : ?⁠children:[< `Options of [< Html_types.selectoption ] elt list_wrap | `Phras of [< Html_types.phrasing ] elt list_wrap ] -> ([< Html_types.datalist_attrib ], [> Html_types.datalist ]) nullary
val optgroup : label:Html_types.text wrap -> ([< Html_types.optgroup_attrib ], [< Html_types.optgroup_content_fun ], [> Html_types.optgroup ]) star
val option : ([< Html_types.option_attrib ], [< Html_types.option_content_fun ], [> Html_types.selectoption ]) unary
val textarea : ([< Html_types.textarea_attrib ], [< Html_types.textarea_content_fun ], [> Html_types.textarea ]) unary
val keygen : ([< Html_types.keygen_attrib ], [> Html_types.keygen ]) nullary
val progress : ([< Html_types.progress_attrib ], [< Html_types.progress_content_fun ], [> Html_types.progress ]) star
val meter : ([< Html_types.meter_attrib ], [< Html_types.meter_content_fun ], [> Html_types.meter ]) star
val output_elt : ([< Html_types.output_elt_attrib ], [< Html_types.output_elt_content_fun ], [> Html_types.output_elt ]) star
val entity : string -> [> Html_types.txt ] elt
val space : unit -> [> Html_types.txt ] elt
val cdata : string -> [> Html_types.txt ] elt
val cdata_script : string -> [> Html_types.txt ] elt
val cdata_style : string -> [> Html_types.txt ] elt
val details : [< Html_types.summary ] elt wrap -> ([< Html_types.details_attrib ], [< Html_types.details_content_fun ], [> Html_types.details ]) star
val summary : ([< Html_types.summary_attrib ], [< Html_types.summary_content_fun ], [> Html_types.summary ]) star
val command : label:Html_types.text wrap -> ([< Html_types.command_attrib ], [> Html_types.command ]) nullary
val menu : ?⁠children:[< `Flows of [< Html_types.flow5 ] elt list_wrap | `Lis of [< `Li of [< Html_types.common ] ] elt list_wrap ] -> ([< Html_types.menu_attrib ], [> Html_types.menu ]) nullary
val script : ([< Html_types.script_attrib ], [< Html_types.script_content_fun ], [> Html_types.script ]) unary
val noscript : ([< Html_types.noscript_attrib ], [< Html_types.noscript_content_fun ], [> Html_types.noscript ]) star
val meta : ([< Html_types.meta_attrib ], [> Html_types.meta ]) nullary
val style : ([< Html_types.style_attrib ], [< Html_types.style_content_fun ], [> Html_types.style ]) star
val link : rel:Html_types.linktypes wrap -> href:Xml.uri wrap -> ([< Html_types.link_attrib ], [> Html_types.link ]) nullary
val rt : ([< Html_types.rt_attrib ], [< Html_types.rt_content_fun ], [> Html_types.rt ]) star
val rp : ([< Html_types.rp_attrib ], [< Html_types.rp_content_fun ], [> Html_types.rp ]) star
val ruby : ([< Html_types.ruby_attrib ], [< Html_types.ruby_content_fun ], [> Html_types.ruby ]) star
val pcdata : string wrap -> [> Html_types.pcdata ] elt
val of_seq : Xml_stream.signal Stdlib.Seq.t -> 'a elt list_wrap
val tot : Xml.elt -> 'a elt
val totl : Xml.elt list_wrap -> 'a elt list_wrap
val toelt : 'a elt -> Xml.elt
val toeltl : 'a elt list_wrap -> Xml.elt list_wrap
val doc_toelt : doc -> Xml.elt
val to_xmlattribs : 'a attrib list -> Xml.attrib list
val to_attrib : Xml.attrib -> 'a attrib

module Unsafe : sig ... end

Printers

val pp : ?⁠encode:(string -> string) -> ?⁠indent:bool -> ?⁠advert:string -> unit -> Stdlib.Format.formatter -> doc -> unit

pp () is a Format printer for Html documents.

It can be used in combination with "%a". For example, to get a string:

let s = Format.asprintf "%a" (Tyxml.Html.pp ()) my_html

val pp_elt : ?⁠encode:(string -> string) -> ?⁠indent:bool -> unit -> Stdlib.Format.formatter -> 'a elt -> unit: pp_elt () is a Format printer for Html elements.

module Make_printer : functor (O : Xml_sigs.Output) -> Xml_sigs.Typed_printer with type out := O.out and type 'a elt := 'a elt and type doc := doc: Parametrized stream printer for Html documents.