-- Initial imap.cabal generated by cabal init. For further documentation, -- see http://haskell.org/cabal/users-guide/ name: imap version: 0.2.0.2 synopsis: An efficient IMAP client library, with SSL and streaming license: BSD3 license-file: LICENSE author: Michal Kawalec maintainer: michal@monad.cat -- copyright: category: Network build-type: Simple -- extra-source-files: cabal-version: >=1.10 description: This is an IMAP library for Haskell that aims to be efficient, easy to use, transparent when it comes to underlying libraries and support results streaming. To this end it employs `ListT`, so you can use it with any concurrency management library of your choosing. . It tries to implement as faithfully as possible, diverging from it where we noticed that servers have different ideas. If you want to understand this library, it's highly recommended to skim through that RFC first. . /Usage/ . For a description of types used in this tutorial or an in-depth description of functions presented, please check the documentation or the source code. . All of the commands will output their results in `ListT` and `MonadIO`. Results consist of a list of `UntaggedResult`s followed by a single `TaggedResult` that describes the command state (if it succeeded or failed). . We provide a helper function that simplifies the output types for the cases when you don't care about the streaming and just want a list of `UntaggedResult`s or an error message. Depending on your needs you will probably use it for all the commands that are not `FETCH`. . Also, remember that you probably have to keep the connection alive so that the server doesn't disconnect you. Send a `noop` from time to time to achieve that. . /Simple, no streaming/ . You need a connection object first, so that you can execute commands on it. It's produced by `connectServer`, which accepts parameters from . Say you want to connect to gmail: . > import Network.Connection > import Network.IMAP > import Network.IMAP.Types . > let tls = TLSSettingsSimple False False False > let params = ConnectionParams "imap.gmail.com" 993 (Just tls) Nothing > conn <- connectServer params Nothing . From now on you can run commands on this connection. The second parameter to `connectServer` is `Maybe IMAPSettings`. If settings are not provided, sane defaults will be used. We will use the `simpleFormat` helper function to convert from `ListT` to `IO`. Let's log in: . > simpleFormat $ login conn "mylogin" "mypass" > Right [Capabilities [CIMAP4,CUnselect,CIdle,CNamespace,CQuota,CId,CExperimental "XLIST",CChildren,CExperimental "X-GM-EXT-1",CUIDPlus,CCompress "DEFLATE",CEnable,CMove,CCondstore,CEsearch,CUtf8 "ACCEPT",CListExtended,CListStatus,CAppendLimit 35882577]] . You can see that the server replied with a `CAPABILITIES` reply and the login was successful. Next, let's select an inbox: . > simpleFormat $ select conn "inbox2" > Left "[NONEXISTENT] Unknown Mailbox: inbox2 (Failure)" . Oh, let's fix that . > simpleFormat $ select conn "inbox" > Right [Flags [FAnswered,FFlagged,FDraft,FDeleted,FSeen,FOther "$NotPhishing",FOther "$Phishing",FOther "NonJunk"],PermanentFlags [FAnswered,FFlagged,FDraft,FDeleted,FSeen,FOther "$NotPhishing",FOther "$Phishing",FOther "NonJunk",FAny],UIDValidity 1,Exists 65,Recent 0,UIDNext 1050,HighestModSeq 251971] . Again you can use the metadata if you wish to. Let's see what messages we have ( if you're unsure about the parameter to `uidSearch`): . > simpleFormat $ uidSearch conn "ALL" > Right [Search [105,219,411,424,425,748,763,770,774,819,824,825,..]] . Fetching a message is straigtforward as well: . > simpleFormat $ uidFetch conn "219" > Right [Fetch [MessageId 2,UID 219,Body "Delivered-To: michal@monad.cat\r\nReceived: by... . If you need more control on the parameters of fetch, there is a more general function available: . > simpleFormat $ uidFetchG conn "219 ALL" . . Do you want multiple messages in one reply? That's easy with [UID ranges](https://tools.ietf.org/html/rfc3501#section-6.4.8)! . > simpleFormat $ uidFetchG conn "219:9000 RFC822.SIZE" > Right [Fetch [MessageId 2,UID 219,Size 4880],Fetch [MessageId 3,UID 411,Size 7392],...] . That's where streaming comes in handy - if these were message bodies you would probably like to do something with them before all are downloaded. . /Replies we didn't expect/ . IMAP protocol allows for messages pushed to the client at any time, even when they're not requested. This is used to notify the client that a new message had arrived, or as status of a message had changed as it was read by another client. These server messages wait for you in a bounded message queue and you can read them like: . > import qualified Data.STM.RollingQueue as RQ > msgs <- atomically . RQ.read . untaggedQueue $ conn . Where `conn` is the connection from previous step. . /Streaming/ . There's by Gabriel Gonzalez you should read :) source-repository head type: git location: https://github.com/mkawalec/imap library exposed-modules: Network.IMAP Network.IMAP.Parsers Network.IMAP.Parsers.Fetch Network.IMAP.Parsers.Untagged Network.IMAP.Parsers.Utils Network.IMAP.RequestWatcher Network.IMAP.Types Network.IMAP.Utils -- other-modules: -- other-extensions: build-depends: base >=4.8 && <4.9, attoparsec == 0.13.*, text == 1.2.*, connection == 0.2.*, bytestring == 0.10.*, random == 1.1.*, word8 == 0.1.* && <0.2, rolling-queue == 0.1, stm == 2.4.* && <2.5, either == 4.4.*, hslogger == 1.2.*, transformers == 0.4.*, list-t == 0.4.*, monadIO == 0.10.*, derive == 2.5.*, stm-delay == 0.1.*, exceptions == 0.8.*, data-default == 0.5.* hs-source-dirs: src default-language: Haskell2010 default-extensions: OverloadedStrings, GeneralizedNewtypeDeriving, BangPatterns, ScopedTypeVariables, TypeSynonymInstances, DeriveFunctor, FlexibleInstances, TemplateHaskell, LambdaCase ghc-options: -Wall -fno-warn-unused-do-bind Test-Suite imap-test type: exitcode-stdio-1.0 main-is: main.hs hs-source-dirs: test, src build-depends: base >=4.8 && <4.9, attoparsec == 0.13.*, text == 1.2.*, connection == 0.2.*, bytestring == 0.10.*, random == 1.1.*, word8 == 0.1.* && <0.2, rolling-queue == 0.1, stm == 2.4.* && <2.5, either == 4.4.*, hslogger == 1.2.*, transformers == 0.4.*, list-t == 0.4.*, monadIO == 0.10.*, derive == 2.5.*, stm-delay == 0.1.*, exceptions == 0.8.*, data-default == 0.5.*, tasty == 0.11.*, HUnit == 1.3.*, QuickCheck == 2.8.*, tasty-hunit == 0.9.*, tasty-quickcheck == 0.8.*, mtl == 2.2.* default-language: Haskell2010 default-extensions: OverloadedStrings, GeneralizedNewtypeDeriving, BangPatterns, ScopedTypeVariables, TypeSynonymInstances, DeriveFunctor, FlexibleInstances, TemplateHaskell, LambdaCase