Network.Protocol.XMPP

Contents

• JIDs
• Stanzas
• The XMPP monad
  • Resuming sessions

Synopsis

• data JID = JID {
  • jidNode :: Maybe Node
  • jidDomain :: Domain
  • jidResource :: Maybe Resource
  }
• 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
  • = ReceivedMessage Message
  • | ReceivedPresence Presence
  • | ReceivedIQ IQ
• data Message = Message {
  • messageType :: MessageType
  • messageTo :: Maybe JID
  • messageFrom :: Maybe JID
  • messageID :: Maybe Text
  • messageLang :: Maybe Text
  • messagePayloads :: [Element]
  }
• data Presence = Presence {
  • presenceType :: PresenceType
  • presenceTo :: Maybe JID
  • presenceFrom :: Maybe JID
  • presenceID :: Maybe Text
  • presenceLang :: Maybe Text
  • presencePayloads :: [Element]
  }
• data IQ = IQ {
  • iqType :: IQType
  • iqTo :: Maybe JID
  • iqFrom :: Maybe JID
  • iqID :: Maybe Text
  • iqLang :: Maybe Text
  • iqPayload :: Maybe Element
  }
• data MessageType
  • = MessageNormal
  • | MessageChat
  • | MessageGroupChat
  • | MessageHeadline
  • | MessageError
• data PresenceType
  • = PresenceAvailable
  • | PresenceUnavailable
  • | PresenceSubscribe
  • | PresenceSubscribed
  • | PresenceUnsubscribe
  • | PresenceUnsubscribed
  • | PresenceProbe
  • | PresenceError
• data IQType
  • = IQGet
  • | IQSet
  • | IQResult
  • | IQError
• emptyMessage :: MessageType -> Message
• emptyPresence :: PresenceType -> Presence
• emptyIQ :: IQType -> IQ
• data XMPP a
• data Server = Server {
  • serverJID :: JID
  • serverHostname :: HostName
  • serverPort :: PortID
  }
• data Error
  • = AuthenticationFailure
  • | AuthenticationError Text
  • | InvalidStanza Element
  • | InvalidBindResult ReceivedStanza
  • | TransportError Text
  • | NoComponentStreamID
• 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

Stanzas

The XMPP monad

Resuming sessions