package tyxml
TyXML is a library for building correct HTML and SVG documents
Install
Dune Dependency
Authors
Maintainers
Sources
tyxml-4.4.0.tbz
sha256=516394dd4a5c31726997c51d66aa31cacb91e3c46d4e16c7699130e204042530
sha512=d5f2187f8410524cec7a14b28e8950837070eb0b6571b015dd06076c2841eb7ccaffa86d5d2307eaf1950ee62f9fb926477dac01c870d9c1a2f525853cb44d0c
doc/tyxml.functor/Xml_iter/Make/index.html
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.eltOn This Page