Network.XMPP.JID

JIDs are written in the format of `node@server/resource'. An example of a JID is `[e-mail]'.

The node identifier is the part before the `@' character in Jabber IDs. Node names are optional. The server identifier is the part after the `@' character in Jabber IDs (and before the / character). The server identifier is the only required field of a JID. The server identifier MAY be an IP address but SHOULD be a fully qualified domain name. The resource identifier is the part after the / character in Jabber IDs. Like with node names, the resource identifier is optional.

A JID without a resource identifier (i.e. a JID in the form of `node@server') is called `bare JID'. A JID with a resource identifier is called `full JID'.

Documentation

jid :: Maybe String -> String -> Maybe String -> JID

Simple function to construct a JID. We will add validation to this function in a later release.

jidIsFull :: JID -> Bool

JIDs are written in the format of `node@server/resource'. A JID without a resource identifier (i.e. a JID in the form of server or `node@server') is called a `bare JID'. A JID with a resource identifier is called `full JID'. This function returns True if the JID is full and False otherwise.

jidIsBare :: JID -> Bool

JIDs are written in the format of `node@server/resource'. A JID without a resource identifier (i.e. a JID in the form of server or `node@server') is called a `bare JID'. A JID with a resource identifier is called `full JID'. This function returns True if the JID is bare and False otherwise.

stringToJID :: String -> Maybe JID

Converts a (JID) String to a JID record.

jidToString :: JID -> String

Converts a JID to a String.