Module Make.XmlSource
Underlying XML data-structure
The type variables in elt and attrib are know as phantom types. The implementation, defined here, is actually monomorphic.
In particular, tyxml doesn't impose any overhead over the underlying representation. The tot and toelt functions allows to convert between the typed and the untyped representation without any cost.
Note that some implementation may not be iterable or printable, such as the Dom representation exposed by js_of_ocaml.
module W :
Xml_wrap.T
with type 'a t = 'a Xml.W.t
with type 'a tlist = 'a Xml.W.tlist
with type ('a, 'b) ft = ('a, 'b) Xml.W.fttype 'a wrap = 'a Xml.W.ttype 'a list_wrap = 'a Xml.W.tlisttype uri = Xml.uritype event_handler = Xml.event_handlertype mouse_event_handler = Xml.mouse_event_handlertype keyboard_event_handler = Xml.keyboard_event_handlertype touch_event_handler = Xml.touch_event_handlertype attrib = Xml.attribval float_attrib : Xml.aname -> float Xml.wrap -> Xml.attribval int_attrib : Xml.aname -> int Xml.wrap -> Xml.attribval string_attrib : Xml.aname -> string Xml.wrap -> Xml.attribval space_sep_attrib : Xml.aname -> string list Xml.wrap -> Xml.attribval comma_sep_attrib : Xml.aname -> string list Xml.wrap -> Xml.attribval event_handler_attrib : Xml.aname -> Xml.event_handler -> Xml.attribval mouse_event_handler_attrib :
Xml.aname ->
Xml.mouse_event_handler ->
Xml.attribval keyboard_event_handler_attrib :
Xml.aname ->
Xml.keyboard_event_handler ->
Xml.attribval touch_event_handler_attrib :
Xml.aname ->
Xml.touch_event_handler ->
Xml.attribval uri_attrib : Xml.aname -> Xml.uri Xml.wrap -> Xml.attribval uris_attrib : Xml.aname -> Xml.uri list Xml.wrap -> Xml.attribtype elt = Xml.eltval empty : unit -> Xml.eltval comment : string -> Xml.eltval entity : string -> Xml.eltval leaf : ?a:Xml.attrib list -> Xml.ename -> Xml.eltval node : ?a:Xml.attrib list -> Xml.ename -> Xml.elt Xml.list_wrap -> Xml.eltval cdata : string -> Xml.eltval cdata_script : string -> Xml.eltval cdata_style : string -> Xml.elt