Safe Haskell	Safe-Inferred
Language	Haskell2010

Network.HaskellNet.IMAP.Types

Synopsis

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
- = Seen
- | Answered
- | Flagged
- | Deleted
- | Draft
- | Recent
- | Keyword String
data Attribute
- = Noinferiors
- | Noselect
- | Marked
- | Unmarked
- | OtherAttr String
data MboxUpdate = MboxUpdate {
- exists :: Maybe Integer
- recent :: Maybe Integer
}
data StatusCode
- = ALERT
- | BADCHARSET [Charset]
- | CAPABILITY_sc [String]
- | PARSE
- | PERMANENTFLAGS [Flag]
- | READ_ONLY
- | READ_WRITE
- | TRYCREATE
- | UIDNEXT_sc UID
- | UIDVALIDITY_sc UID
- | UNSEEN_sc Integer
data ServerResponse
- = OK (Maybe StatusCode) String
- | NO (Maybe StatusCode) String
- | BAD (Maybe StatusCode) String
- | PREAUTH (Maybe StatusCode) String
data MailboxStatus
- = MESSAGES
- | RECENT
- | UIDNEXT
- | UIDVALIDITY
- | UNSEEN
data RespDerivs = RespDerivs {
- dvFlags :: Result RespDerivs [Flag]
- advTag :: Result RespDerivs String
- advChar :: Result RespDerivs Char
- advPos :: Pos
}
emptyMboxInfo :: MailboxInfo

Documentation

type MailboxName = String Source #

type UID = Word64 Source #

type Charset = String Source #

data MailboxInfo Source #

Constructors

MboxInfo
Fields _mailbox :: MailboxName _exists :: Integer _recent :: Integer _flags :: [Flag] _permanentFlags :: [Flag] _isWritable :: Bool _isFlagWritable :: Bool _uidNext :: UID _uidValidity :: UID

Instances

Instances details

Eq MailboxInfo Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods (==) :: MailboxInfo -> MailboxInfo -> Bool # (/=) :: MailboxInfo -> MailboxInfo -> Bool #
Show MailboxInfo Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods showsPrec :: Int -> MailboxInfo -> ShowS # show :: MailboxInfo -> String # showList :: [MailboxInfo] -> ShowS #

data Flag Source #

Constructors

Seen
Answered
Flagged
Deleted
Draft
Recent
Keyword String

Instances

Instances details

Eq Flag Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods (==) :: Flag -> Flag -> Bool # (/=) :: Flag -> Flag -> Bool #
Show Flag Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods showsPrec :: Int -> Flag -> ShowS # show :: Flag -> String # showList :: [Flag] -> ShowS #

data Attribute Source #

Constructors

Noinferiors
Noselect
Marked
Unmarked
OtherAttr String

Instances

Instances details

Eq Attribute Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods (==) :: Attribute -> Attribute -> Bool # (/=) :: Attribute -> Attribute -> Bool #
Show Attribute Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods showsPrec :: Int -> Attribute -> ShowS # show :: Attribute -> String # showList :: [Attribute] -> ShowS #

data MboxUpdate Source #

Constructors

MboxUpdate
Fields exists :: Maybe Integer recent :: Maybe Integer

Instances

Instances details

Eq MboxUpdate Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods (==) :: MboxUpdate -> MboxUpdate -> Bool # (/=) :: MboxUpdate -> MboxUpdate -> Bool #
Show MboxUpdate Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods showsPrec :: Int -> MboxUpdate -> ShowS # show :: MboxUpdate -> String # showList :: [MboxUpdate] -> ShowS #

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

Instances details

Eq StatusCode Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods (==) :: StatusCode -> StatusCode -> Bool # (/=) :: StatusCode -> StatusCode -> Bool #
Show StatusCode Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods showsPrec :: Int -> StatusCode -> ShowS # show :: StatusCode -> String # showList :: [StatusCode] -> ShowS #

data ServerResponse Source #

Constructors

OK (Maybe StatusCode) String
NO (Maybe StatusCode) String
BAD (Maybe StatusCode) String
PREAUTH (Maybe StatusCode) String

Instances

Instances details

Eq ServerResponse Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods (==) :: ServerResponse -> ServerResponse -> Bool # (/=) :: ServerResponse -> ServerResponse -> Bool #
Show ServerResponse Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods showsPrec :: Int -> ServerResponse -> ShowS # show :: ServerResponse -> String # showList :: [ServerResponse] -> ShowS #

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
UNSEEN	the number of messages with the Unseen flag set

Instances

Instances details

Eq MailboxStatus Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods (==) :: MailboxStatus -> MailboxStatus -> Bool # (/=) :: MailboxStatus -> MailboxStatus -> Bool #
Read MailboxStatus Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods readsPrec :: Int -> ReadS MailboxStatus # readList :: ReadS [MailboxStatus] # readPrec :: ReadPrec MailboxStatus # readListPrec :: ReadPrec [MailboxStatus] #
Show MailboxStatus Source #
Instance details Defined in Network.HaskellNet.IMAP.Types Methods showsPrec :: Int -> MailboxStatus -> ShowS # show :: MailboxStatus -> String # showList :: [MailboxStatus] -> ShowS #

data RespDerivs Source #

Constructors

RespDerivs
Fields dvFlags :: Result RespDerivs [Flag] advTag :: Result RespDerivs String advChar :: Result RespDerivs Char advPos :: Pos

emptyMboxInfo :: MailboxInfo Source #