This is server API (go to client)

Module Eliom_pervasives.​XML

module XML : sig..end

XML building and deconstructing.


type aname = string
type separator =  | Space | Comma
type attrib
type acontent = private  | AFloat of aname * float | AInt of aname * int | AStr of aname * string | AStrL of 
    separator * aname
     * string list
val acontent : attrib -> acontent
val aname : attrib -> aname
type caml_event
type event
val event_of_string : string -> event
val string_of_event : event -> string
val event_of_js : int64 -> Eliom_pervasives.poly -> event
val event_of_service : 
  ([ `A | `Form_get | `Form_post ] * (bool * string list) option) option
  Eliom_lazy.request -> event
type racontent =  | RA of acontent | RACamlEvent of (aname * caml_event) | RALazyString of aname * string Eliom_lazy.request
val racontent : attrib -> racontent
val float_attrib : aname -> float -> attrib
val int_attrib : aname -> int -> attrib
val string_attrib : aname -> string -> attrib
val space_sep_attrib : 
  aname ->
  string list -> attrib
val comma_sep_attrib : 
  aname ->
  string list -> attrib
val event_attrib : 
  aname ->
  event -> attrib
type elt
type ename = string
type econtent = private  | Empty | Comment of string | EncodedPCDATA of string | PCDATA of string | Entity of string | Leaf of ename * attrib list | Node of 
    ename * attrib list
     * elt list
val content : elt -> econtent
val empty : unit -> elt
val comment : string -> elt
val pcdata : string -> elt
val encodedpcdata : string -> elt
val entity : string -> elt

Neither comment, pcdata nor entity check their argument for invalid characters. Unsafe characters will be escaped later by the output routines.

val leaf : 
  ?a:attrib list ->
  ename -> elt
val node : 
  ?a:attrib list ->
  ename ->
  elt list -> elt

NB: Leaf ("foo", []) -> "<foo />", but Node ("foo", [], []) -> "<foo></foo>"

val lazy_node : 
  ?a:attrib list ->
  ename ->
  elt list Eliom_lazy.request ->
  elt
val cdata : string -> elt
val cdata_script : string -> elt
val cdata_style : string -> elt
val make_unique : 
  ?copy:elt ->
  elt -> elt
val is_unique : elt -> bool
val get_unique_id : elt -> string option
type ref_tree
val make_ref_tree : elt -> ref_tree
val make_ref_tree_list : elt list -> ref_tree list