- data JID = JID {}
- data Node
- data Domain
- data Resource
- strNode :: Node -> Text
- strDomain :: Domain -> Text
- strResource :: Resource -> Text
- parseJID :: Text -> Maybe JID
- formatJID :: JID -> Text
- class Stanza a where
- stanzaTo :: a -> Maybe JID
- stanzaFrom :: a -> Maybe JID
- stanzaID :: a -> Maybe Text
- stanzaLang :: a -> Maybe Text
- stanzaPayloads :: a -> [Element]
- data ReceivedStanza
- data Message = Message {
- messageType :: MessageType
- messageTo :: Maybe JID
- messageFrom :: Maybe JID
- messageID :: Maybe Text
- messageLang :: Maybe Text
- messagePayloads :: [Element]
- data Presence = Presence {}
- data IQ = IQ {}
- data MessageType
- data PresenceType
- data IQType
- emptyMessage :: MessageType -> Message
- emptyPresence :: PresenceType -> Presence
- emptyIQ :: IQType -> IQ
- data XMPP a
- data Server = Server {}
- data Error
- runClient :: Server -> JID -> Text -> Text -> XMPP a -> IO (Either Error a)
- runComponent :: Server -> Text -> XMPP a -> IO (Either Error a)
- putStanza :: Stanza a => a -> XMPP ()
- getStanza :: XMPP ReceivedStanza
- bindJID :: JID -> XMPP JID
- data Session
- getSession :: XMPP Session
- runXMPP :: Session -> XMPP a -> IO (Either Error a)
JIDs
strResource :: Resource -> TextSource
Stanzas
data ReceivedStanza Source
Message | |
|
Presence | |
|
data MessageType Source
data PresenceType Source
The XMPP monad
Server | |
|
AuthenticationFailure | The remote host refused the specified authentication credentials. |
AuthenticationError Text | There was an error while authenticating with the remote host. |
InvalidStanza Element | An unrecognized or malformed |
InvalidBindResult ReceivedStanza | The remote host sent an invalid reply to a resource bind request. |
TransportError Text | There was an error with the underlying transport. |
NoComponentStreamID | The remote host did not send a stream ID when accepting a component connection. |