Portability | portable |
---|---|
Stability | unstable |
Maintainer | info@pontarius.org |
This module will be documented soon.
- data StanzaID = SID String
- type From = JID
- type To = JID
- type XMLLang = String
- data Stanza = Stanza {}
- data MessageType
- data Message
- = Message { }
- | MessageError { }
- message :: Maybe StanzaID -> Maybe From -> Maybe To -> Maybe XMLLang -> MessageType -> [Element] -> Message
- data PresenceType
- = Subscribe
- | Subscribed
- | Unsubscribe
- | Unsubscribed
- | Probe
- | Available
- | Unavailable
- data Presence
- presence :: Maybe StanzaID -> Maybe From -> Maybe To -> Maybe XMLLang -> PresenceType -> [Element] -> Presence
- data IQ
- getId :: IQ -> StanzaID
- iqGet :: Maybe StanzaID -> Maybe From -> Maybe To -> Maybe XMLLang -> Element -> IQ
- iqSet :: Maybe StanzaID -> Maybe From -> Maybe To -> Maybe XMLLang -> Element -> IQ
- iqResult :: Maybe StanzaID -> Maybe From -> Maybe To -> Maybe XMLLang -> Maybe Element -> IQ
- iqStanza :: IQ -> Stanza
- iqAck :: StanzaID -> To -> IQ
- iqPayloadNamespace :: IQ -> Maybe String
- iqPayload :: IQ -> Maybe Element
Documentation
data MessageType Source
message :: Maybe StanzaID -> Maybe From -> Maybe To -> Maybe XMLLang -> MessageType -> [Element] -> MessageSource
data PresenceType Source
Subscribe | Sender wants to subscribe to presence |
Subscribed | Sender has approved the subscription |
Unsubscribe | Sender is unsubscribing from presence |
Unsubscribed | Sender has denied or cancelled a subscription |
Probe | Sender requests current presence; should only be used by servers PresenceError | -- ^ Processing or delivery of previously sent presence stanza failed |
Available | |
Unavailable |
Presence stanzas are used to express an entity's network availability.
presence :: Maybe StanzaID -> Maybe From -> Maybe To -> Maybe XMLLang -> PresenceType -> [Element] -> PresenceSource