package tyxml
A library for building correct HTML and SVG documents
Install
Dune Dependency
Authors
Maintainers
Sources
tyxml-4.5.0.tbz
sha256=c69accef5df4dd89d38f6aa0baad01e8fda4e9e98bb7dad61bec1452c5716068
sha512=772535441b09c393d53c27152e65f404a0a541aa0cea1bda899a8d751ab64d1729237e583618c3ff33d75e3865d53503d1ea413c6bbc8c68c413347efd1709b3
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