Module Xml_iter.MakeSource
Parameters
module Xml : Xml_sigs.IterableSignature
Recursively edit attributes for the element and all its children.
Edit 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.
Source
val rm_attrib_from_list :
(Xml.aname -> bool) ->
(string -> bool) ->
Xml.attrib list ->
Xml.attrib listSource
val map_int_attrib :
(Xml.aname -> bool) ->
(int -> int) ->
Xml.attrib list ->
Xml.attrib listSource
val map_float_attrib :
(Xml.aname -> bool) ->
(float -> float) ->
Xml.attrib list ->
Xml.attrib listSource
val map_string_attrib :
(Xml.aname -> bool) ->
(string -> string) ->
Xml.attrib list ->
Xml.attrib listSource
val 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.
Source
val 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 ->
'aSource
val 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