#
type 'a list_wrap = 'a list
#
val string_of_uri :
uri -> string
#
val uri_of_string : string
-> uri
#
type event_handler = string
#
type mouse_event_handler = string
#
type keyboard_event_handler = string
#
val pcdata : string
-> elt
#
val encodedpcdata : string
-> elt
#
val entity : string
-> elt
Neither comment
, pcdata
nor entity
check their argument for invalid
characters. Unsafe characters will be escaped later by the output routines.
#
val cdata : string
-> elt
#
val cdata_script : string
-> elt
#
val cdata_style : string
-> elt
#
val amap : (
ename -> attrib list
-> attrib list)
-> elt -> elt
Recursively edit attributes for the element and all its children.
The following can safely be exported by higher level libraries,
because removing an attribute from a element is always legal.
#
val rm_attrib_from_list : (
aname -> bool)
-> (string
-> bool)
-> attrib list
-> attrib list
#
val map_string_attrib : (
aname -> bool)
-> (string
-> string)
-> attrib list
-> attrib list
#
val map_string_attrib_in_list : (
aname -> bool)
-> (string
-> string)
-> attrib list
-> attrib list
Exporting the following by higher level libraries would drive
a hole through a type system, because they allow to add any
attribute to any element.
#
val fold : (unit
-> 'a)
-> (string
-> 'a)
-> (string
-> 'a)
-> (string
-> 'a)
-> (string
-> 'a)
-> (
ename -> attrib list
-> 'a)
-> (
ename -> attrib list
-> 'a list
-> 'a)
-> elt -> 'a
#
val all_entities :
elt -> string list
#
val print_list : output:(string
-> unit)
-> ?encode:(string
-> string)
-> elt list
-> unit