package erm_xmpp

  1. Overview
  2. Docs

Parameters

module M : MONAD

Signature

module X : sig ... end
module XmlParser : sig ... end
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. strm : IterStream.stream;
  6. mutable read : string -> int -> int -> int M.t;
  7. mutable cont : IE.input -> X.token IE.t;
  8. source : IE.input;
}
val reset : p -> (string -> int -> int -> int M.t) option -> unit
val (>>=) : 'a M.t -> ('a -> 'b M.t) -> 'b M.t
val return : 'a -> 'a M.t
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
val create : (string -> int -> int -> int M.t) -> p