| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Network.HaskellNet.IMAP.Types
- 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
Constructors
| MboxInfo | |
Fields
| |
Instances
data MboxUpdate Source
Instances
data StatusCode Source
Constructors
| ALERT | |
| BADCHARSET [Charset] | |
| CAPABILITY_sc [String] | |
| PARSE | |
| PERMANENTFLAGS [Flag] | |
| READ_ONLY | |
| READ_WRITE | |
| TRYCREATE | |
| UIDNEXT_sc UID | |
| UIDVALIDITY_sc UID | |
| UNSEEN_sc Integer |
Instances
data ServerResponse Source
Constructors
| OK (Maybe StatusCode) String | |
| NO (Maybe StatusCode) String | |
| BAD (Maybe StatusCode) String | |
| PREAUTH (Maybe StatusCode) String |
Instances
data MailboxStatus Source
the query data type for the status command
Constructors
| 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 |
Instances
data RespDerivs Source
Constructors
| RespDerivs | |
Fields
| |