Xml_iter.Makemodule Xml : Xml_sigs.Iterableval amap :
(Xml.ename -> Xml.attrib list -> Xml.attrib list) ->
Xml.elt ->
Xml.eltRecursively edit attributes for the element and all its children.
val amap1 :
(Xml.ename -> Xml.attrib list -> Xml.attrib list) ->
Xml.elt ->
Xml.eltEdit attributes only for one element.
The following can safely be exported by higher level libraries, because removing an attribute from a element is always legal.
val rm_attrib : (Xml.aname -> bool) -> Xml.attrib list -> Xml.attrib listval rm_attrib_from_list :
(Xml.aname -> bool) ->
(string -> bool) ->
Xml.attrib list ->
Xml.attrib listval map_int_attrib :
(Xml.aname -> bool) ->
(int -> int) ->
Xml.attrib list ->
Xml.attrib listval map_float_attrib :
(Xml.aname -> bool) ->
(float -> float) ->
Xml.attrib list ->
Xml.attrib listval map_string_attrib :
(Xml.aname -> bool) ->
(string -> string) ->
Xml.attrib list ->
Xml.attrib listval map_string_attrib_in_list :
(Xml.aname -> bool) ->
(string -> string) ->
Xml.attrib list ->
Xml.attrib listExporting 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 add_int_attrib : Xml.aname -> int -> Xml.attrib list -> Xml.attrib listval add_float_attrib : Xml.aname -> float -> Xml.attrib list -> Xml.attrib listval add_string_attrib :
Xml.aname ->
string ->
Xml.attrib list ->
Xml.attrib listval add_comma_sep_attrib :
Xml.aname ->
string ->
Xml.attrib list ->
Xml.attrib listval add_space_sep_attrib :
Xml.aname ->
string ->
Xml.attrib list ->
Xml.attrib listval fold :
(unit -> 'a) ->
(string -> 'a) ->
(string -> 'a) ->
(string -> 'a) ->
(string -> 'a) ->
(Xml.ename -> Xml.attrib list -> 'a) ->
(Xml.ename -> Xml.attrib list -> 'a list -> 'a) ->
Xml.elt ->
'aval all_entities : Xml.elt -> string listval translate :
(Xml.ename -> Xml.attrib list -> Xml.elt) ->
(Xml.ename -> Xml.attrib list -> Xml.elt list -> Xml.elt) ->
('state -> Xml.ename -> Xml.attrib list -> Xml.elt list) ->
('state -> Xml.ename -> Xml.attrib list -> Xml.elt list -> Xml.elt list) ->
(Xml.ename -> Xml.attrib list -> 'state -> 'state) ->
'state ->
Xml.elt ->
Xml.elt