package erm_xmpp

  1. Overview
  2. Docs
exception Error of string
val ns_xmpp_stanzas : string option
type error_type =
  1. | Cancel
  2. | Continue
  3. | Modify
  4. | Auth
  5. | Wait
val string_of_error_type : error_type -> string
type condition =
  1. | ERR_BAD_REQUEST
  2. | ERR_CONFLICT
  3. | ERR_FEATURE_NOT_IMPLEMENTED
  4. | ERR_FORBIDDEN
  5. | ERR_GONE
  6. | ERR_INTERNAL_SERVER_ERROR
  7. | ERR_ITEM_NOT_FOUND
  8. | ERR_JID_MALFORMED
  9. | ERR_NOT_ACCEPTABLE
  10. | ERR_NOT_ALLOWED
  11. | ERR_NOT_AUTHORIZED
  12. | ERR_PAYMENT_REQUIRED
  13. | ERR_RECIPIENT_UNAVAILABLE
  14. | ERR_REDIRECT
  15. | ERR_REGISTRATION_REQUIRED
  16. | ERR_REMOTE_SERVER_NOT_FOUND
  17. | ERR_REMOTE_SERVER_TIMEOUT
  18. | ERR_RESOURCE_CONSTRAINT
  19. | ERR_SERVICE_UNAVAILABLE
  20. | ERR_SUBSCRIPTION_REQUIRED
  21. | ERR_UNDEFINED_CONDITION
  22. | ERR_UNEXPECTED_REQUEST
  23. | UNKNOWN_CONDITION of string
val condition_of_string : string -> condition
val string_of_condition : condition -> string
val error_type_of_condition : condition -> error_type
type t = {
  1. err_type : error_type;
  2. err_condition : condition;
  3. err_text : string;
  4. err_lang : string;
}
val parse_error : Xml.element -> t
val create_error : ?type_:error_type -> ?text:string -> ?lang:string -> condition -> t
val of_error : Xml.namespace -> t -> Xml.element
val make_error : ns:Xml.namespace -> ?error_type:error_type -> ?text:string -> ?lang:string -> condition -> Xml.element