package erm_xmpp

You can search for identifiers within the package.

in-package search v0.2.0

package erm_xmpp

erm_xmpp
- JID
- Roster
  - Make
    
    X
- Sasl
- StanzaError
- StreamError
- Stringprep
- Uni_data
- Uni_norm
- XEP_disco
  - Make
    
    X
- XEP_last
  - Make
    
    X
- XEP_muc
  - Make
    
    Admin
    
    Owner
    
    Unique
    
    User
    
    X
- XEP_stats
  - Make
    
    X
- XEP_time
  - Make
    
    X
- XEP_vcard
  - Make
    
    X
- XEP_version
  - Make
    
    X
- XEP_xdata
  - Make
    
    X
- XMPP
  - IDCALLBACK
  - Make
    
    IDCallback
    
    IQRequestCallback
    
    M
    
    NS
    
    Qname
    
    Socket
    
    StanzaHandler
    
    X
    
    XmlParser
    
    M
  - S
- Xmlstream
  - IStream
    
    M
  - IterStream
  - MONAD
  - S
    
    M
  - XmlStanza
    
    M
  - XmlStream
    
    I
    
    M
    
    XmlParser
    
    E
    
    S
    
    X
    
    XmlStanza
  - XmlStreamIE
    
    M
    
    X
    
    XmlParser
    
    E
    
    S
    
    X

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception Error of string

val ns_xmpp_stanzas : string option

type error_type =

| Cancel
| Continue
| Modify
| Auth
| Wait

val string_of_error_type : error_type -> string

type condition =

| ERR_BAD_REQUEST
| ERR_CONFLICT
| ERR_FEATURE_NOT_IMPLEMENTED
| ERR_FORBIDDEN
| ERR_GONE
| ERR_INTERNAL_SERVER_ERROR
| ERR_ITEM_NOT_FOUND
| ERR_JID_MALFORMED
| ERR_NOT_ACCEPTABLE
| ERR_NOT_ALLOWED
| ERR_NOT_AUTHORIZED
| ERR_PAYMENT_REQUIRED
| ERR_RECIPIENT_UNAVAILABLE
| ERR_REDIRECT
| ERR_REGISTRATION_REQUIRED
| ERR_REMOTE_SERVER_NOT_FOUND
| ERR_REMOTE_SERVER_TIMEOUT
| ERR_RESOURCE_CONSTRAINT
| ERR_SERVICE_UNAVAILABLE
| ERR_SUBSCRIPTION_REQUIRED
| ERR_UNDEFINED_CONDITION
| ERR_UNEXPECTED_REQUEST
| 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 = {

err_type : error_type;
err_condition : condition;
err_text : string;
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