Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
- type MailboxName = String
- type UID = Word64
- type Charset = String
- data MailboxInfo = MboxInfo {
- _mailbox :: MailboxName
- _exists :: Integer
- _recent :: Integer
- _flags :: [Flag]
- _permanentFlags :: [Flag]
- _isWritable :: Bool
- _isFlagWritable :: Bool
- _uidNext :: UID
- _uidValidity :: UID
- data Flag
- data Attribute
- data MboxUpdate = MboxUpdate {}
- data StatusCode
- data ServerResponse
- = OK (Maybe StatusCode) String
- | NO (Maybe StatusCode) String
- | BAD (Maybe StatusCode) String
- | PREAUTH (Maybe StatusCode) String
- data MailboxStatus
- = MESSAGES
- | RECENT
- | UIDNEXT
- | UIDVALIDITY
- data RespDerivs = RespDerivs {
- dvFlags :: Result RespDerivs [Flag]
- advTag :: Result RespDerivs String
- advChar :: Result RespDerivs Char
- advPos :: Pos
- emptyMboxInfo :: MailboxInfo
Documentation
type MailboxName = String Source
data MailboxInfo Source
MboxInfo | |
|
data MboxUpdate Source
data StatusCode Source
data ServerResponse Source
data MailboxStatus Source
the query data type for the status command
MESSAGES | the number of messages in the mailbox |
RECENT | the number of messages with the Recent flag set |
UIDNEXT | the next unique identifier value of the mailbox |
UIDVALIDITY | the unique identifier validity value of the mailbox |
data RespDerivs Source
RespDerivs | |
|