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