package erm_xmpp

  1. Overview
  2. Docs

Parameters

module M : MONAD

Signature

module I : sig ... end
module XmlParser : sig ... end
type stream = I.stream
exception Exn_msg of string
exception Exn_EOF
exception Exn_ExpectedChar of char list
exception Exn_ExpectedSpace
exception Exn_CharToken of int
exception Error_XMLDecl
exception XmlError of string
type p = {
  1. namespaces : (string, Xml.namespace) Hashtbl.t;
  2. stack : (Xml.qname * Xml.attribute list * Xml.element list) Stack.t;
  3. stack_ns : (Xml.qname * (Xml.namespace * Xml.prefix) list) Stack.t;
  4. state : XmlParser.state;
  5. mutable strm : XmlParser.S.stream;
}
val create : (string -> int -> int -> int M.t) -> p
val reset : p -> (string -> int -> int -> int M.t) option -> unit
val (>>=) : 'a M.t -> ('a -> 'b M.t) -> 'b M.t
module XmlStanza : sig ... end
val parse : p -> (Xml.qname -> Xml.attribute list -> unit M.t) -> ((Xml.qname * Xml.attribute list * Xml.element list) -> unit M.t) -> (unit -> unit M.t) -> unit M.t