Warning: Reason support is experimental. We are looking for beta-tester and contributors.

Module Xhtmltypes

module Xhtmltypes: sig..end

XHTML types with variants. (See also XHTML.M)


type xhtml = [ `Html ]

type form = [ `Form ]

type a = [ `A ]

type img = [ `Img ]

type script = [ `Script ]

type input = [ `Input ]

type textarea = [ `Textarea ]

type param = [ `Param ]

type select = [ `Select ]

type selectoption = [ `Option ]

type optgroup = [ `Optgroup ]

type button = [ `Button ]

type ruby = [ `Ruby_complex | `Ruby_simple1 | `Ruby_simple2 ]

type pcdata = [ `PCDATA ]

type notag

type html_content = [ `Body | `Frameset | `Head ]

type body_content = XHTML.M.block

type div_content =
   [ `A
    | `Abbr
    | `Acronym
    | `Address
    | `B
    | `Bdo
    | `Big
    | `Blockquote
    | `Br
    | `Button
    | `Cite
    | `Code
    | `Del
    | `Dfn
    | `Div
    | `Dl
    | `Em
    | `Fieldset
    | `Form
    | `H1
    | `H2
    | `H3
    | `H4
    | `H5
    | `H6
    | `Hr
    | `I
    | `Img
    | `Input
    | `Ins
    | `Kbd
    | `Label
    | `Map
    | `Noscript
    | `Object
    | `Ol
    | `P
    | `PCDATA
    | `Pre
    | `Q
    | `Ruby_complex
    | `Ruby_simple1
    | `Ruby_simple2
    | `Samp
    | `Script
    | `Select
    | `Small
    | `Span
    | `Strong
    | `Sub
    | `Sup
    | `Table
    | `Textarea
    | `Tt
    | `Ul
    | `Var ]

type object_content =
   [ `A
    | `Abbr
    | `Acronym
    | `Address
    | `B
    | `Bdo
    | `Big
    | `Blockquote
    | `Br
    | `Button
    | `Cite
    | `Code
    | `Del
    | `Dfn
    | `Div
    | `Dl
    | `Em
    | `Fieldset
    | `Form
    | `H1
    | `H2
    | `H3
    | `H4
    | `H5
    | `H6
    | `Hr
    | `I
    | `Img
    | `Input
    | `Ins
    | `Kbd
    | `Label
    | `Map
    | `Noscript
    | `Object
    | `Ol
    | `P
    | `PCDATA
    | `Param
    | `Pre
    | `Q
    | `Ruby_complex
    | `Ruby_simple1
    | `Ruby_simple2
    | `Samp
    | `Script
    | `Select
    | `Small
    | `Span
    | `Strong
    | `Sub
    | `Sup
    | `Table
    | `Textarea
    | `Tt
    | `Ul
    | `Var ]

type fieldset_content =
   [ `A
    | `Abbr
    | `Acronym
    | `Address
    | `B
    | `Bdo
    | `Big
    | `Blockquote
    | `Br
    | `Button
    | `Cite
    | `Code
    | `Del
    | `Dfn
    | `Div
    | `Dl
    | `Em
    | `Fieldset
    | `Form
    | `H1
    | `H2
    | `H3
    | `H4
    | `H5
    | `H6
    | `Hr
    | `I
    | `Img
    | `Input
    | `Ins
    | `Kbd
    | `Label
    | `Legend
    | `Map
    | `Noscript
    | `Object
    | `Ol
    | `P
    | `PCDATA
    | `Pre
    | `Q
    | `Ruby_complex
    | `Ruby_simple1
    | `Ruby_simple2
    | `Samp
    | `Script
    | `Select
    | `Small
    | `Span
    | `Strong
    | `Sub
    | `Sup
    | `Table
    | `Textarea
    | `Tt
    | `Ul
    | `Var ]

type button_content =
   [ `Abbr
    | `Acronym
    | `Address
    | `B
    | `Bdo
    | `Big
    | `Blockquote
    | `Br
    | `Cite
    | `Code
    | `Del
    | `Dfn
    | `Div
    | `Dl
    | `Em
    | `H1
    | `H2
    | `H3
    | `H4
    | `H5
    | `H6
    | `Hr
    | `I
    | `Img
    | `Ins
    | `Kbd
    | `Map
    | `Noscript
    | `Object
    | `Ol
    | `P
    | `PCDATA
    | `Pre
    | `Q
    | `Samp
    | `Script
    | `Small
    | `Span
    | `Strong
    | `Sub
    | `Sup
    | `Table
    | `Tt
    | `Ul
    | `Var ]

type head_content = [ `Base | `Link | `Meta | `Object | `Script | `Style | `Title ]

type form_content =
   [ `Address
    | `Blockquote
    | `Del
    | `Div
    | `Dl
    | `Fieldset
    | `H1
    | `H2
    | `H3
    | `H4
    | `H5
    | `H6
    | `Hr
    | `Ins
    | `Noscript
    | `Ol
    | `P
    | `Pre
    | `Script
    | `Table
    | `Ul ]

type blockquote_content =
   [ `Address
    | `Blockquote
    | `Del
    | `Div
    | `Dl
    | `Fieldset
    | `Form
    | `H1
    | `H2
    | `H3
    | `H4
    | `H5
    | `H6
    | `Hr
    | `Ins
    | `Noscript
    | `Ol
    | `P
    | `PCDATA
    | `Pre
    | `Script
    | `Table
    | `Ul ]

type map_content =
   [ `Address
    | `Area
    | `Blockquote
    | `Del
    | `Div
    | `Dl
    | `Fieldset
    | `Form
    | `H1
    | `H2
    | `H3
    | `H4
    | `H5
    | `H6
    | `Hr
    | `Ins
    | `Noscript
    | `Ol
    | `P
    | `Pre
    | `Script
    | `Table
    | `Ul ]

type inlinemix =
   [ `A
    | `Abbr
    | `Acronym
    | `B
    | `Bdo
    | `Big
    | `Br
    | `Button
    | `Cite
    | `Code
    | `Del
    | `Dfn
    | `Em
    | `I
    | `Img
    | `Input
    | `Ins
    | `Kbd
    | `Label
    | `Map
    | `Noscript
    | `Object
    | `PCDATA
    | `Q
    | `Ruby_complex
    | `Ruby_simple1
    | `Ruby_simple2
    | `Samp
    | `Script
    | `Select
    | `Small
    | `Span
    | `Strong
    | `Sub
    | `Sup
    | `Textarea
    | `Tt
    | `Var ]

type label_content =
   [ `A
    | `Abbr
    | `Acronym
    | `B
    | `Bdo
    | `Big
    | `Br
    | `Button
    | `Cite
    | `Code
    | `Del
    | `Dfn
    | `Em
    | `I
    | `Img
    | `Input
    | `Ins
    | `Kbd
    | `Map
    | `Noscript
    | `Object
    | `PCDATA
    | `Q
    | `Samp
    | `Script
    | `Select
    | `Small
    | `Span
    | `Strong
    | `Sub
    | `Sup
    | `Textarea
    | `Tt
    | `Var ]

type a_content =
   [ `Abbr
    | `Acronym
    | `B
    | `Bdo
    | `Big
    | `Br
    | `Button
    | `Cite
    | `Code
    | `Del
    | `Dfn
    | `Em
    | `I
    | `Img
    | `Input
    | `Ins
    | `Kbd
    | `Label
    | `Map
    | `Noscript
    | `Object
    | `PCDATA
    | `Q
    | `Ruby_complex
    | `Ruby_simple1
    | `Ruby_simple2
    | `Samp
    | `Script
    | `Select
    | `Small
    | `Span
    | `Strong
    | `Sub
    | `Sup
    | `Textarea
    | `Tt
    | `Var ]

type pre_content =
   [ `A
    | `Abbr
    | `Acronym
    | `B
    | `Bdo
    | `Br
    | `Cite
    | `Code
    | `Dfn
    | `Em
    | `I
    | `Kbd
    | `Map
    | `PCDATA
    | `Q
    | `Samp
    | `Script
    | `Span
    | `Strong
    | `Tt
    | `Var ]

type dl_content = [ `Dd | `Dt ]

type optgroup_content = [ `Option ]

type colgroup_content = [ `Col ]

type ul_content = [ `Li ]

type select_content = [ `Optgroup | `Option ]

type tbody_content = [ `Tr ]

type table_content = [ `Caption | `Col | `Colgroup | `Tbody | `Tfoot | `Thead | `Tr ]

type tr_content = [ `Td | `Th ]

type abbr_content = inlinemix

type acronym_content = inlinemix

type address_content = inlinemix

type b_content = inlinemix

type bdo_content = inlinemix

type big_content = inlinemix

type caption_content = inlinemix

type cite_content = inlinemix

type code_content = inlinemix

type dfn_content = inlinemix

type dt_content = inlinemix

type em_content = inlinemix

type h1_content = inlinemix

type h2_content = inlinemix

type h3_content = inlinemix

type h4_content = inlinemix

type h5_content = inlinemix

type h6_content = inlinemix

type i_content = inlinemix

type kbd_content = inlinemix

type legend_content = inlinemix

type p_content = inlinemix

type q_content = inlinemix

type samp_content = inlinemix

type small_content = inlinemix

type span_content = inlinemix

type strong_content = inlinemix

type sub_content = inlinemix

type sup_content = inlinemix

type tt_content = inlinemix

type var_content = inlinemix

type dd_content = div_content

type del_content = div_content

type ins_content = div_content

type li_content = div_content

type th_content = div_content

type td_content = div_content

type noscript_content = body_content

type area_content = notag

type base_content = notag

type br_content = notag

type col_content = notag

type hr_content = notag

type img_content = notag

type input_content = notag

type meta_content = notag

type param_content = notag

type option_content = pcdata

type script_content = pcdata

type style_content = pcdata

type textarea_content = pcdata

type title_content = pcdata

type ol_content = ul_content

type thead_content = tbody_content

type tfoot_content = tbody_content

type a_attrib =
   [ `Accesskey
    | `Charset
    | `Class
    | `Coords
    | `Href
    | `Hreflang
    | `Id
    | `Name_01_00
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Rel
    | `Rev
    | `Shape
    | `Style_Attr
    | `Tabindex
    | `Target
    | `Title
    | `Type
    | `XML_lang ]

type script_attrib = [ `Charset | `Defer | `Src | `XML_space | `XMLns ]

type form_attrib =
   [ `Accept
    | `Accept_charset
    | `Class
    | `Enctype
    | `Id
    | `Method
    | `Name_01_00
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Style_Attr
    | `Target
    | `Title
    | `XML_lang ]

type img_attrib =
   [ `Class
    | `Height
    | `Id
    | `Longdesc
    | `Name_01_00
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Style_Attr
    | `Title
    | `Usemap
    | `Width
    | `XML_lang ]

type div_attrib = XHTML.M.common

type input_attrib =
   [ `Accept
    | `Accesskey
    | `Alt
    | `Checked
    | `Class
    | `Disabled
    | `Id
    | `Input_Type
    | `Maxlength
    | `Name
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Readonly
    | `Size
    | `Src
    | `Style_Attr
    | `Tabindex
    | `Title
    | `Usemap
    | `Value
    | `XML_lang ]

type textarea_attrib =
   [ `Accesskey
    | `Class
    | `Disabled
    | `Id
    | `Name
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Readonly
    | `Style_Attr
    | `Tabindex
    | `Title
    | `XML_lang ]

type select_attrib =
   [ `Class
    | `Disabled
    | `Id
    | `Multiple
    | `Name
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Size
    | `Style_Attr
    | `Tabindex
    | `Title
    | `XML_lang ]

type optgroup_attrib =
   [ `Class
    | `Disabled
    | `Id
    | `Label
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Style_Attr
    | `Title
    | `XML_lang ]

type option_attrib =
   [ `Class
    | `Disabled
    | `Id
    | `Label
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Selected
    | `Style_Attr
    | `Title
    | `Value
    | `XML_lang ]

type button_attrib =
   [ `Accesskey
    | `Button_Type
    | `Class
    | `Disabled
    | `Id
    | `Name
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Style_Attr
    | `Tabindex
    | `Title
    | `Value
    | `XML_lang ]

type fieldset_attrib = XHTML.M.common

type label_attrib =
   [ `Accesskey
    | `Class
    | `For
    | `Id
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Style_Attr
    | `Title
    | `XML_lang ]

type legend_attrib =
   [ `Accesskey
    | `Class
    | `Id
    | `OnClick
    | `OnDblClick
    | `OnKeyDown
    | `OnKeyPress
    | `OnKeyUp
    | `OnMouseDown
    | `OnMouseMove
    | `OnMouseOut
    | `OnMouseOver
    | `OnMouseUp
    | `Style_Attr
    | `Title
    | `XML_lang ]