Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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.ft
type 'a wrap = 'a W.t
type 'a list_wrap = 'a W.tlist
type uri = Xml.uri
type event_handler = Xml.event_handler
type mouse_event_handler = Xml.mouse_event_handler
type keyboard_event_handler = Xml.keyboard_event_handler
type touch_event_handler = Xml.touch_event_handler
type attrib = Xml.attrib
val event_handler_attrib : aname -> event_handler -> attrib
val mouse_event_handler_attrib : aname -> mouse_event_handler -> attrib
val keyboard_event_handler_attrib : aname -> keyboard_event_handler -> attrib
val touch_event_handler_attrib : aname -> touch_event_handler -> attrib
type elt = Xml.elt
val empty : unit -> elt
val comment : string -> elt
val entity : string -> elt
val cdata : string -> elt
val cdata_script : string -> elt
val cdata_style : string -> elt