@@ -1,33 +1,59 @@
1−{-# LANGUAGE TemplateHaskell #-}
2−{-# LANGUAGE RankNTypes #-}
1+{-# LANGUAGE CPP #-}
2+{-# LANGUAGE DeriveFoldable #-}
3+{-# LANGUAGE DeriveFunctor #-}
4+{-# LANGUAGE DeriveTraversable #-}
5+{-# LANGUAGE OverloadedStrings #-}
6+{-# LANGUAGE RankNTypes #-}
37{-# LANGUAGE ScopedTypeVariables #-}
4−{-# LANGUAGE OverloadedStrings #-}
8+{-# LANGUAGE TemplateHaskell #-}
59module Network.API.Mandrill.Types where
610
7−import Network.API.Mandrill.Utils
11+import Control.Applicative
12+import Control.Monad (mzero)
813import Data.Char
14+import Data.Maybe
915import Data.Time
10−import Control.Applicative
11−import System.Locale (defaultTimeLocale)
12−import qualified Data.Text as T
13−import qualified Data.Text.Lazy as TL
14−import Control.Lens
15−import Control.Monad
16−import Data.Monoid
16+import Lens.Micro.TH (makeLenses)
17+import Network.API.Mandrill.Utils
18+import Test.QuickCheck
19+import Text.Email.Validate
20+#if MIN_VERSION_time(1,5,0)
21+import Data.Time.Format (TimeLocale, defaultTimeLocale)
22+#else
23+import System.Locale (TimeLocale, defaultTimeLocale)
24+#endif
1725import Data.Aeson
18−import Data.Aeson.Types
1926import Data.Aeson.TH
20−import qualified Text.Blaze.Html as Blaze
27+import Data.Aeson.Types
28+import qualified Data.ByteString as B
29+import qualified Data.ByteString.Base64 as Base64
30+#if !MIN_VERSION_base(4,8,0)
31+import Data.Foldable
32+import Data.Traversable
33+#endif
34+import qualified Data.HashMap.Strict as H
35+import Data.Monoid
36+import qualified Data.Text as T
37+import qualified Data.Text.Encoding as TL
38+import qualified Data.Text.Lazy as TL
39+import qualified Text.Blaze.Html as Blaze
2140import qualified Text.Blaze.Html.Renderer.Text as Blaze
41+import qualified Text.Email.Validate as TEV
2242
43+timeParse :: ParseTime t => TimeLocale -> String -> String -> Maybe t
44+#if MIN_VERSION_time(1,5,0)
45+timeParse = parseTimeM True
46+#else
47+timeParse = parseTime
48+#endif
2349
2450--------------------------------------------------------------------------------
2551data MandrillError = MandrillError {
26− _merr_status :: !T.Text
27− , _merr_code :: !Int
28− , _merr_name :: !T.Text
52+ _merr_status :: !T.Text
53+ , _merr_code :: !Int
54+ , _merr_name :: !T.Text
2955 , _merr_message :: !T.Text
30− } deriving Show
56+ } deriving (Show, Eq)
3157
3258makeLenses ''MandrillError
3359deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillError
@@ -52,6 +78,7 @@ data MandrillRejectReason = RR_HardBounce
5278 | RR_InvalidSender
5379 | RR_Invalid
5480 | RR_TestModeLimit
81+ | RR_Unsigned
5582 | RR_Rule deriving Show
5683
5784deriveJSON defaultOptions {
@@ -63,17 +90,17 @@ deriveJSON defaultOptions {
6390-- | The main datatypes which models the response from the Mandrill API,
6491-- which can be either a success or a failure.
6592data MandrillResponse k =
66− MandrillSuccess [k]
67− | MandrillFailure MandrillError deriving Show
93+ MandrillSuccess k
94+ | MandrillFailure MandrillError deriving (Show, Eq, Functor, Foldable, Traversable)
6895
6996instance FromJSON k => FromJSON (MandrillResponse k) where
70− parseJSON a@(Array _) = case (parseMaybe parseJSON a) :: Maybe [k] of
97+ parseJSON v = case (parseMaybe parseJSON v) :: Maybe k of
7198 Just r -> return $ MandrillSuccess r
72− Nothing -> fail $ show a <> " is not a valid MandrillSuccess"
73− parseJSON o@(Object _) = case (parseMaybe parseJSON o) :: Maybe MandrillError of
74− Just e -> return $ MandrillFailure e
75− Nothing -> fail $ show o <> " is not a valid MandrillError"
76− parseJSON v = typeMismatch "Expected an Object or an Array for MandrillResponse" v
99+ Nothing -> do
100+ -- try to parse it as an error
101+ case (parseMaybe parseJSON v) :: Maybe MandrillError of
102+ Just e -> return $ MandrillFailure e
103+ Nothing -> fail $ show v <> " is neither a MandrillSuccess or a MandrillError."
77104
78105
79106--------------------------------------------------------------------------------
@@ -82,14 +109,27 @@ data MandrillRecipientTag = To | Cc | Bcc deriving Show
82109deriveJSON defaultOptions { constructorTagModifier = map toLower } ''MandrillRecipientTag
83110
84111
112+--------------------------------------------------------------------------------
113+newtype MandrillEmail = MandrillEmail EmailAddress deriving Show
114+
115+instance ToJSON MandrillEmail where
116+ toJSON (MandrillEmail e) = String . TL.decodeUtf8 . toByteString $ e
117+
118+instance FromJSON MandrillEmail where
119+ parseJSON (String s) = case validate (TL.encodeUtf8 s) of
120+ Left err -> fail err
121+ Right v -> return . MandrillEmail $ v
122+ parseJSON o = typeMismatch "Expecting a String for MandrillEmail." o
123+
124+
85125--------------------------------------------------------------------------------
86126-- | An array of recipient information.
87127data MandrillRecipient = MandrillRecipient {
88− _mrec_email :: !T.Text
128+ _mrec_email :: MandrillEmail
89129 -- ^ The email address of the recipient
90− , _mrec_name :: Maybe T.Text
130+ , _mrec_name :: Maybe T.Text
91131 -- ^ The optional display name to use for the recipient
92− , _mrec_type :: Maybe MandrillRecipientTag
132+ , _mrec_type :: Maybe MandrillRecipientTag
93133 -- ^ The header type to use for the recipient.
94134 -- defaults to "to" if not provided
95135 } deriving Show
@@ -97,15 +137,35 @@ data MandrillRecipient = MandrillRecipient {
97137makeLenses ''MandrillRecipient
98138deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillRecipient
99139
140+newRecipient :: EmailAddress -> MandrillRecipient
141+newRecipient email = MandrillRecipient (MandrillEmail email) Nothing Nothing
142+
143+instance Arbitrary MandrillRecipient where
144+ arbitrary = pure MandrillRecipient {
145+ _mrec_email = MandrillEmail $ fromJust (emailAddress "test@example.com")
146+ , _mrec_name = Nothing
147+ , _mrec_type = Nothing
148+ }
100149
101150--------------------------------------------------------------------------------
102151newtype MandrillHtml = MandrillHtml Blaze.Html
103152
104−mkMandrillHtml :: T.Text -> MandrillHtml
105−mkMandrillHtml = MandrillHtml . Blaze.toHtml
153+unsafeMkMandrillHtml :: T.Text -> MandrillHtml
154+unsafeMkMandrillHtml = MandrillHtml . Blaze.preEscapedToHtml
106155
107−mkMandrillHtml' :: Blaze.Html -> MandrillHtml
108−mkMandrillHtml' = MandrillHtml
156+-- This might be slightly hairy because it violates
157+-- the nice encapsulation that newtypes offer.
158+mkMandrillHtml :: Blaze.Html -> MandrillHtml
159+mkMandrillHtml = MandrillHtml
160+
161+#if MIN_VERSION_base(4,11,0)
162+instance Semigroup MandrillHtml where
163+ MandrillHtml m1 <> MandrillHtml m2 = MandrillHtml (m1 <> m2)
164+#endif
165+
166+instance Monoid MandrillHtml where
167+ mempty = MandrillHtml mempty
168+ mappend (MandrillHtml m1) (MandrillHtml m2) = MandrillHtml (m1 <> m2)
109169
110170instance Show MandrillHtml where
111171 show (MandrillHtml h) = show $ Blaze.renderHtml h
@@ -114,33 +174,211 @@ instance ToJSON MandrillHtml where
114174 toJSON (MandrillHtml h) = String . TL.toStrict . Blaze.renderHtml $ h
115175
116176instance FromJSON MandrillHtml where
117− parseJSON (String h) = return $ MandrillHtml (Blaze.toHtml h)
177+ parseJSON (String h) = return $ MandrillHtml (Blaze.preEscapedToHtml h)
118178 parseJSON v = typeMismatch "Expecting a String for MandrillHtml" v
119179
180+instance Arbitrary MandrillHtml where
181+ arbitrary = pure $ mkMandrillHtml "<p><b>FooBar</b></p>"
182+
183+--------------------------------------------------------------------------------
184+type MandrillTags = T.Text
185+
186+
187+--------------------------------------------------------------------------------
188+type MandrillHeaders = Object
189+
190+
191+--------------------------------------------------------------------------------
192+
193+data MergeVar = MergeVar {
194+ _mv_name :: !T.Text
195+ , _mv_content :: Value
196+ } deriving Show
197+
198+makeLenses ''MergeVar
199+deriveJSON defaultOptions { fieldLabelModifier = drop 4 } ''MergeVar
200+
201+--------------------------------------------------------------------------------
202+data MandrillMergeVars = MandrillMergeVars {
203+ _mmvr_rcpt :: !T.Text
204+ , _mmvr_vars :: [MergeVar]
205+ } deriving Show
206+
207+makeLenses ''MandrillMergeVars
208+deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillMergeVars
209+
210+--------------------------------------------------------------------------------
211+data MandrillMetadata = MandrillMetadata {
212+ _mmdt_rcpt :: !T.Text
213+ , _mmdt_values :: Object
214+ } deriving Show
215+
216+makeLenses ''MandrillMetadata
217+deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillMetadata
218+
219+
220+data Base64ByteString =
221+ EncodedB64BS B.ByteString
222+ -- ^ An already-encoded Base64 ByteString.
223+ | PlainBS B.ByteString
224+ -- ^ A plain Base64 ByteString which requires encoding.
225+ deriving Show
226+
227+instance ToJSON Base64ByteString where
228+ toJSON (PlainBS bs) = String . TL.decodeUtf8 . Base64.encode $ bs
229+ toJSON (EncodedB64BS bs) = String . TL.decodeUtf8 $ bs
230+
231+instance FromJSON Base64ByteString where
232+ parseJSON (String v) = pure $ EncodedB64BS (TL.encodeUtf8 v)
233+ parseJSON rest = typeMismatch "Base64ByteString must be a String." rest
234+
235+--------------------------------------------------------------------------------
236+data MandrillWebContent = MandrillWebContent {
237+ _mwct_type :: !T.Text
238+ , _mwct_name :: !T.Text
239+ -- ^ [for images] the Content ID of the image
240+ -- - use <img src="cid:THIS_VALUE"> to reference the image
241+ -- in your HTML content
242+ , _mwct_content :: !Base64ByteString
243+ } deriving Show
244+
245+makeLenses ''MandrillWebContent
246+deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillWebContent
120247
121248--------------------------------------------------------------------------------
122249-- | The information on the message to send
123250data MandrillMessage = MandrillMessage {
124− _mmsg_html :: MandrillHtml
251+ _mmsg_html :: MandrillHtml
125252 -- ^ The full HTML content to be sent
126− , _mmsg_text :: Maybe T.Text
253+ , _mmsg_text :: Maybe T.Text
127254 -- ^ Optional full text content to be sent
128− , _mmsg_subject :: !T.Text
255+ , _mmsg_subject :: !T.Text
129256 -- ^ The message subject
130− , _mmsg_from_email :: !T.Text
257+ , _mmsg_from_email :: MandrillEmail
131258 -- ^ The sender email address
132− , _mmsg_from_name :: Maybe T.Text
259+ , _mmsg_from_name :: Maybe T.Text
133260 -- ^ Optional from name to be used
134− , _mmsg_to :: [MandrillRecipient]
261+ , _mmsg_to :: [MandrillRecipient]
135262 -- ^ A list of recipient information
263+ , _mmsg_headers :: MandrillHeaders
264+ -- ^ optional extra headers to add to the message (most headers are allowed)
265+ , _mmsg_important :: Maybe Bool
266+ -- ^ whether or not this message is important, and should be delivered ahead
267+ -- of non-important messages
268+ , _mmsg_track_opens :: Maybe Bool
269+ -- ^ whether or not to turn on open tracking for the message
270+ , _mmsg_track_clicks :: Maybe Bool
271+ -- ^ whether or not to turn on click tracking for the message
272+ , _mmsg_auto_text :: Maybe Bool
273+ -- ^ whether or not to automatically generate a text part for messages that are not given text
274+ , _mmsg_auto_html :: Maybe Bool
275+ -- ^ whether or not to automatically generate an HTML part for messages that are not given HTML
276+ , _mmsg_inline_css :: Maybe Bool
277+ -- ^ whether or not to automatically inline all CSS styles provided in the message HTML
278+ -- - only for HTML documents less than 256KB in size
279+ , _mmsg_url_strip_qs :: Maybe Bool
280+ -- ^ whether or not to strip the query string from URLs when aggregating tracked URL data
281+ , _mmsg_preserve_recipients :: Maybe Bool
282+ -- ^ whether or not to expose all recipients in to "To" header for each email
283+ , _mmsg_view_content_link :: Maybe Bool
284+ -- ^ set to false to remove content logging for sensitive emails
285+ , _mmsg_bcc_address :: Maybe T.Text
286+ -- ^ an optional address to receive an exact copy of each recipient's email
287+ , _mmsg_tracking_domain :: Maybe T.Text
288+ -- ^ a custom domain to use for tracking opens and clicks instead of mandrillapp.com
289+ , _mmsg_signing_domain :: Maybe Bool
290+ -- ^ a custom domain to use for SPF/DKIM signing instead of mandrill
291+ -- (for "via" or "on behalf of" in email clients)
292+ , _mmsg_return_path_domain :: Maybe Bool
293+ -- ^ a custom domain to use for the messages's return-path
294+ , _mmsg_merge :: Maybe Bool
295+ -- ^ whether to evaluate merge tags in the message.
296+ -- Will automatically be set to true if either merge_vars
297+ -- or global_merge_vars are provided.
298+ , _mmsg_global_merge_vars :: [MergeVar]
299+ -- ^ global merge variables to use for all recipients. You can override these per recipient.
300+ , _mmsg_merge_vars :: [MandrillMergeVars]
301+ -- ^ per-recipient merge variables, which override global merge variables with the same name.
302+ , _mmsg_tags :: [MandrillTags]
303+ -- ^ an array of string to tag the message with. Stats are accumulated using tags,
304+ -- though we only store the first 100 we see, so this should not be unique
305+ -- or change frequently. Tags should be 50 characters or less.
306+ -- Any tags starting with an underscore are reserved for internal use
307+ -- and will cause errors.
308+ , _mmsg_subaccount :: Maybe T.Text
309+ -- ^ the unique id of a subaccount for this message
310+ -- - must already exist or will fail with an error
311+ , _mmsg_google_analytics_domains :: [T.Text]
312+ -- ^ an array of strings indicating for which any matching URLs
313+ -- will automatically have Google Analytics parameters appended
314+ -- to their query string automatically.
315+ , _mmsg_google_analytics_campaign :: Maybe T.Text
316+ -- ^ optional string indicating the value to set for the utm_campaign
317+ -- tracking parameter. If this isn't provided the email's from address
318+ -- will be used instead.
319+ , _mmsg_metadata :: Object
320+ -- ^ metadata an associative array of user metadata. Mandrill will store
321+ -- this metadata and make it available for retrieval.
322+ -- In addition, you can select up to 10 metadata fields to index
323+ -- and make searchable using the Mandrill search api.
324+ , _mmsg_recipient_metadata :: [MandrillMetadata]
325+ -- ^ Per-recipient metadata that will override the global values
326+ -- specified in the metadata parameter.
327+ , _mmsg_attachments :: [MandrillWebContent]
328+ -- ^ an array of supported attachments to add to the message
329+ , _mmsg_images :: [MandrillWebContent]
330+ -- ^ an array of embedded images to add to the message
136331 } deriving Show
137332
138333makeLenses ''MandrillMessage
139334deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillMessage
140335
336+instance Arbitrary MandrillMessage where
337+ arbitrary = MandrillMessage <$> arbitrary
338+ <*> pure Nothing
339+ <*> pure "Test Subject"
340+ <*> pure (MandrillEmail . fromJust $ emailAddress "sender@example.com")
341+ <*> pure Nothing
342+ <*> resize 2 arbitrary
343+ <*> pure H.empty
344+ <*> pure Nothing
345+ <*> pure Nothing
346+ <*> pure Nothing
347+ <*> pure Nothing
348+ <*> pure Nothing
349+ <*> pure Nothing
350+ <*> pure Nothing
351+ <*> pure Nothing
352+ <*> pure Nothing
353+ <*> pure Nothing
354+ <*> pure Nothing
355+ <*> pure Nothing
356+ <*> pure Nothing
357+ <*> pure Nothing
358+ <*> pure []
359+ <*> pure []
360+ <*> pure []
361+ <*> pure Nothing
362+ <*> pure []
363+ <*> pure Nothing
364+ <*> pure H.empty
365+ <*> pure []
366+ <*> pure []
367+ <*> pure []
368+
369+--------------------------------------------------------------------------------
370+-- | Key value pair for replacing content in templates via 'Editable Regions'
371+data MandrillTemplateContent = MandrillTemplateContent {
372+ _mtc_name :: T.Text
373+ , _mtc_content :: T.Text
374+ } deriving Show
375+
376+makeLenses ''MandrillTemplateContent
377+deriveJSON defaultOptions { fieldLabelModifier = drop 5 } ''MandrillTemplateContent
141378
142379--------------------------------------------------------------------------------
143380type MandrillKey = T.Text
381+type MandrillTemplate = T.Text
144382
145383newtype MandrillDate = MandrillDate {
146384 fromMandrillDate :: UTCTime
@@ -151,6 +389,6 @@ instance ToJSON MandrillDate where
151389
152390instance FromJSON MandrillDate where
153391 parseJSON = withText "MandrillDate" $ \t ->
154− case parseTime defaultTimeLocale "%Y-%m-%d %I:%M:%S%Q" (T.unpack t) of
392+ case timeParse defaultTimeLocale "%Y-%m-%d %I:%M:%S%Q" (T.unpack t) of
155393 Just d -> pure $ MandrillDate d
156394 _ -> fail "could not parse Mandrill date"