Safe Haskell	None
Language	Haskell98

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 Element
- | 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
sessionIsSecure :: XMPP Bool
runXMPP :: Session -> XMPP a -> IO (Either Error a)

JIDs

data JID Source #

Constructors

JID
Fields jidNode :: Maybe Node jidDomain :: Domain jidResource :: Maybe Resource

Instances

Eq JID Source #
Instance details Defined in Network.Protocol.XMPP.JID Methods (==) :: JID -> JID -> Bool Source # (/=) :: JID -> JID -> Bool Source #
Show JID Source #
Instance details Defined in Network.Protocol.XMPP.JID Methods showsPrec :: Int -> JID -> ShowS Source # show :: JID -> String Source # showList :: [JID] -> ShowS Source #
IsString JID Source #
Instance details Defined in Network.Protocol.XMPP.JID Methods fromString :: String -> JID Source #

data Node Source #

Instances

Eq Node Source #
Instance details Defined in Network.Protocol.XMPP.JID Methods (==) :: Node -> Node -> Bool Source # (/=) :: Node -> Node -> Bool Source #
Show Node Source #
Instance details Defined in Network.Protocol.XMPP.JID Methods showsPrec :: Int -> Node -> ShowS Source # show :: Node -> String Source # showList :: [Node] -> ShowS Source #

data Domain Source #

Instances

Eq Domain Source #
Instance details Defined in Network.Protocol.XMPP.JID Methods (==) :: Domain -> Domain -> Bool Source # (/=) :: Domain -> Domain -> Bool Source #
Show Domain Source #
Instance details Defined in Network.Protocol.XMPP.JID Methods showsPrec :: Int -> Domain -> ShowS Source # show :: Domain -> String Source # showList :: [Domain] -> ShowS Source #

data Resource Source #

Instances

Eq Resource Source #
Instance details Defined in Network.Protocol.XMPP.JID Methods (==) :: Resource -> Resource -> Bool Source # (/=) :: Resource -> Resource -> Bool Source #
Show Resource Source #
Instance details Defined in Network.Protocol.XMPP.JID Methods showsPrec :: Int -> Resource -> ShowS Source # show :: Resource -> String Source # showList :: [Resource] -> ShowS Source #

strNode :: Node -> Text Source #

strDomain :: Domain -> Text Source #

strResource :: Resource -> Text Source #

parseJID :: Text -> Maybe JID Source #

formatJID :: JID -> Text Source #

Stanzas

class Stanza a where Source #

Minimal complete definition

stanzaTo, stanzaFrom, stanzaID, stanzaLang, stanzaPayloads, stanzaToElement

Methods

stanzaTo :: a -> Maybe JID Source #

stanzaFrom :: a -> Maybe JID Source #

stanzaID :: a -> Maybe Text Source #

stanzaLang :: a -> Maybe Text Source #

stanzaPayloads :: a -> [Element] Source #

Instances

Stanza IQ Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods stanzaTo :: IQ -> Maybe JID Source # stanzaFrom :: IQ -> Maybe JID Source # stanzaID :: IQ -> Maybe Text Source # stanzaLang :: IQ -> Maybe Text Source # stanzaPayloads :: IQ -> [Element] Source # stanzaToElement :: IQ -> Element
Stanza Presence Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods stanzaTo :: Presence -> Maybe JID Source # stanzaFrom :: Presence -> Maybe JID Source # stanzaID :: Presence -> Maybe Text Source # stanzaLang :: Presence -> Maybe Text Source # stanzaPayloads :: Presence -> [Element] Source # stanzaToElement :: Presence -> Element
Stanza Message Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods stanzaTo :: Message -> Maybe JID Source # stanzaFrom :: Message -> Maybe JID Source # stanzaID :: Message -> Maybe Text Source # stanzaLang :: Message -> Maybe Text Source # stanzaPayloads :: Message -> [Element] Source # stanzaToElement :: Message -> Element

data ReceivedStanza Source #

Constructors

ReceivedMessage Message
ReceivedPresence Presence
ReceivedIQ IQ

Instances

Show ReceivedStanza Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods showsPrec :: Int -> ReceivedStanza -> ShowS Source # show :: ReceivedStanza -> String Source # showList :: [ReceivedStanza] -> ShowS Source #

data Message Source #

Constructors

Message
Fields messageType :: MessageType messageTo :: Maybe JID messageFrom :: Maybe JID messageID :: Maybe Text messageLang :: Maybe Text messagePayloads :: [Element]

Instances

Show Message Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods showsPrec :: Int -> Message -> ShowS Source # show :: Message -> String Source # showList :: [Message] -> ShowS Source #
Stanza Message Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods stanzaTo :: Message -> Maybe JID Source # stanzaFrom :: Message -> Maybe JID Source # stanzaID :: Message -> Maybe Text Source # stanzaLang :: Message -> Maybe Text Source # stanzaPayloads :: Message -> [Element] Source # stanzaToElement :: Message -> Element

data Presence Source #

Constructors

Presence
Fields presenceType :: PresenceType presenceTo :: Maybe JID presenceFrom :: Maybe JID presenceID :: Maybe Text presenceLang :: Maybe Text presencePayloads :: [Element]

Instances

Show Presence Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods showsPrec :: Int -> Presence -> ShowS Source # show :: Presence -> String Source # showList :: [Presence] -> ShowS Source #
Stanza Presence Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods stanzaTo :: Presence -> Maybe JID Source # stanzaFrom :: Presence -> Maybe JID Source # stanzaID :: Presence -> Maybe Text Source # stanzaLang :: Presence -> Maybe Text Source # stanzaPayloads :: Presence -> [Element] Source # stanzaToElement :: Presence -> Element

data IQ Source #

Constructors

IQ
Fields iqType :: IQType iqTo :: Maybe JID iqFrom :: Maybe JID iqID :: Maybe Text iqLang :: Maybe Text iqPayload :: Maybe Element

Instances

Show IQ Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods showsPrec :: Int -> IQ -> ShowS Source # show :: IQ -> String Source # showList :: [IQ] -> ShowS Source #
Stanza IQ Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods stanzaTo :: IQ -> Maybe JID Source # stanzaFrom :: IQ -> Maybe JID Source # stanzaID :: IQ -> Maybe Text Source # stanzaLang :: IQ -> Maybe Text Source # stanzaPayloads :: IQ -> [Element] Source # stanzaToElement :: IQ -> Element

data MessageType Source #

Constructors

MessageNormal
MessageChat
MessageGroupChat
MessageHeadline
MessageError

Instances

Eq MessageType Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods (==) :: MessageType -> MessageType -> Bool Source # (/=) :: MessageType -> MessageType -> Bool Source #
Show MessageType Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods showsPrec :: Int -> MessageType -> ShowS Source # show :: MessageType -> String Source # showList :: [MessageType] -> ShowS Source #

data PresenceType Source #

Constructors

PresenceAvailable
PresenceUnavailable
PresenceSubscribe
PresenceSubscribed
PresenceUnsubscribe
PresenceUnsubscribed
PresenceProbe
PresenceError

Instances

Eq PresenceType Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods (==) :: PresenceType -> PresenceType -> Bool Source # (/=) :: PresenceType -> PresenceType -> Bool Source #
Show PresenceType Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods showsPrec :: Int -> PresenceType -> ShowS Source # show :: PresenceType -> String Source # showList :: [PresenceType] -> ShowS Source #

data IQType Source #

Constructors

IQGet
IQSet
IQResult
IQError

Instances

Eq IQType Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods (==) :: IQType -> IQType -> Bool Source # (/=) :: IQType -> IQType -> Bool Source #
Show IQType Source #
Instance details Defined in Network.Protocol.XMPP.Stanza Methods showsPrec :: Int -> IQType -> ShowS Source # show :: IQType -> String Source # showList :: [IQType] -> ShowS Source #

emptyMessage :: MessageType -> Message Source #

emptyPresence :: PresenceType -> Presence Source #

emptyIQ :: IQType -> IQ Source #

The XMPP monad

data XMPP a Source #

Instances

Monad XMPP Source #
Instance details Defined in Network.Protocol.XMPP.Monad Methods (>>=) :: XMPP a -> (a -> XMPP b) -> XMPP b Source # (>>) :: XMPP a -> XMPP b -> XMPP b Source # return :: a -> XMPP a Source # fail :: String -> XMPP a Source #
Functor XMPP Source #
Instance details Defined in Network.Protocol.XMPP.Monad Methods fmap :: (a -> b) -> XMPP a -> XMPP b Source # (<$) :: a -> XMPP b -> XMPP a Source #
MonadFix XMPP Source #
Instance details Defined in Network.Protocol.XMPP.Monad Methods mfix :: (a -> XMPP a) -> XMPP a Source #
Applicative XMPP Source #
Instance details Defined in Network.Protocol.XMPP.Monad Methods pure :: a -> XMPP a Source # (<>) :: XMPP (a -> b) -> XMPP a -> XMPP b Source # liftA2 :: (a -> b -> c) -> XMPP a -> XMPP b -> XMPP c Source # (>) :: XMPP a -> XMPP b -> XMPP b Source # (<*) :: XMPP a -> XMPP b -> XMPP a Source #
MonadIO XMPP Source #
Instance details Defined in Network.Protocol.XMPP.Monad Methods liftIO :: IO a -> XMPP a Source #
MonadError XMPP Source #
Instance details Defined in Network.Protocol.XMPP.Monad Associated Types type ErrorType XMPP :: Type Source # Methods throwError :: ErrorType XMPP -> XMPP a Source # catchError :: XMPP a -> (ErrorType XMPP -> XMPP a) -> XMPP a Source #
type ErrorType XMPP Source #
Instance details Defined in Network.Protocol.XMPP.Monad type ErrorType XMPP = Error

data Server Source #

Constructors

Server
Fields serverJID :: JID serverHostname :: HostName serverPort :: PortID

data Error Source #

Constructors

AuthenticationFailure Element	The remote host refused the specified authentication credentials. The included XML element is the error value that the server provided. It may contain additional information about why authentication failed.
AuthenticationError Text	There was an error while authenticating with the remote host.
InvalidStanza Element	An unrecognized or malformed `Stanza` was received from the remote host.
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.

Instances

Show Error Source #
Instance details Defined in Network.Protocol.XMPP.Monad Methods showsPrec :: Int -> Error -> ShowS Source # show :: Error -> String Source # showList :: [Error] -> ShowS Source #

runClient Source #

Arguments

:: Server
-> JID	Client JID
-> Text	Username
-> Text	Password
-> XMPP a
-> IO (Either Error a)

runComponent Source #

Arguments

:: Server
-> Text	Server secret
-> XMPP a
-> IO (Either Error a)

putStanza :: Stanza a => a -> XMPP () Source #

getStanza :: XMPP ReceivedStanza Source #

bindJID :: JID -> XMPP JID Source #

Send a <bind> message for the given JID, returning the server's reply. In most cases the reply will be the same as the input. However, if the input has no Resource, the returned JID will contain a generated Resource.

Clients must bind a JID before sending any Stanzas.

Resuming sessions

data Session Source #

getSession :: XMPP Session Source #

sessionIsSecure :: XMPP Bool Source #

runXMPP :: Session -> XMPP a -> IO (Either Error a) Source #