1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
(* TyXML
* http://www.ocsigen.org/tyxml
* Copyright (C) 2004 Thorsten Ohl <ohl@physik.uni-wuerzburg.de>
* Copyright (C) 2007 Gabriel Kerneis
* Copyright (C) 2010 Cecile Herbelin
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, with linking exception;
* either version 2.1 of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Suite 500, Boston, MA 02110-1301, USA.
*)
(** Basic functions for construction and manipulation of XML tree. *)
include Xml_sigs.Iterable
with type uri = string
and type event_handler = string
and type mouse_event_handler = string
and type keyboard_event_handler = string
and type touch_event_handler = string
include Xml_sigs.Pp
with type elt := elt
(** {2 Import/Export} *)
val of_seq : Xml_stream.signal Seq.t -> elt list
(** {2 Iterators} *)
val amap : (ename -> attrib list -> attrib list) -> elt -> elt
(** Recursively edit attributes for the element and all its children. *)
val amap1 : (ename -> attrib list -> attrib list) -> elt -> elt
(** 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. *)
val rm_attrib : (aname -> bool) -> attrib list -> attrib list
val rm_attrib_from_list : (aname -> bool) -> (string -> bool) -> attrib list -> attrib list
val map_int_attrib :
(aname -> bool) -> (int -> int) -> attrib list -> attrib list
val map_string_attrib :
(aname -> bool) -> (string -> string) -> attrib list -> attrib list
val map_string_attrib_in_list :
(aname -> bool) -> (string -> string) -> attrib list -> attrib list
(** Exporting the following by higher level libraries would drive
a hole through a type system, because they allow to add {e any}
attribute to {e any} element. *)
val add_int_attrib : aname -> int -> attrib list -> attrib list
val add_string_attrib : aname -> string -> attrib list -> attrib list
val add_comma_sep_attrib : aname -> string -> attrib list -> attrib list
val add_space_sep_attrib : aname -> string -> attrib list -> attrib list
val fold : (unit -> 'a) -> (string -> 'a) -> (string -> 'a) -> (string -> 'a) ->
(string -> 'a) -> (ename -> attrib list -> 'a) ->
(ename -> attrib list -> 'a list -> 'a) ->
elt -> 'a
val all_entities : elt -> string list
val translate :
(ename -> attrib list -> elt) ->
(ename -> attrib list -> elt list -> elt) ->
('state -> ename -> attrib list -> elt list) ->
('state -> ename -> attrib list -> elt list -> elt list) ->
(ename -> attrib list -> 'state -> 'state) -> 'state -> elt -> elt
(** {2 Deprecated printers} *)
val print_list:
output:(string -> unit) -> ?encode:(string -> string) -> elt list -> unit
[@@ocaml.deprecated "Use Xml.pp instead."]
val print : Format.formatter -> elt -> unit
[@@ocaml.deprecated "Use Xml.pp instead."]
|
