package erm_xmpp

  1. Overview
  2. Docs
val ns_xmpp_streams : string option
val ns_streams : string option
type condition =
  1. | ERR_BAD_FORMAT
  2. | ERR_BAD_NAMESPACE_PREFIX
  3. | ERR_CONFLICT
  4. | ERR_CONNECTION_TIMEOUT
  5. | ERR_HOST_GONE
  6. | ERR_HOST_UNKNOWN
  7. | ERR_IMPROPER_ADDRESSING
  8. | ERR_INTERNAL_SERVER_ERROR
  9. | ERR_INVALID_FROM
  10. | ERR_INVALID_ID
  11. | ERR_INVALID_NAMESPACE
  12. | ERR_INVALID_XML
  13. | ERR_NOT_AUTHORIZED
  14. | ERR_POLICY_VIOLATION
  15. | ERR_REMOTE_CONNECTION_FAILED
  16. | ERR_RESOURCE_CONSTRAINT
  17. | ERR_RESTRICTED_XML
  18. | ERR_SEE_OTHER_HOST
  19. | ERR_SYSTEM_SHUTDOWN
  20. | ERR_UNDEFINED_CONDITION
  21. | ERR_UNSUPPORTED_ENCODING
  22. | ERR_UNSUPPORTED_STANZA_TYPE
  23. | ERR_UNSUPPORTED_VERSION
  24. | ERR_XML_NOT_WELL_FORMED
  25. | UNKNOWN_CONDITION of string
val string_of_condition : condition -> string
val condition_of_string : string -> condition
type t = {
  1. err_condition : condition;
  2. err_text : string;
}
val parse_error : Xml.element list -> t
val make_error : ?text:Xml.cdata -> ?lang:Xml.cdata -> ?app_condition:Xml.element -> condition -> Xml.element