{-# LANGUAGE CPP #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
module Network.API.Mandrill.Types where
import Control.Applicative
import Control.Monad (mzero)
import Data.Char
import Data.Maybe
import Data.Time
import Lens.Micro.TH (makeLenses)
import Network.API.Mandrill.Utils
import Test.QuickCheck
import Text.Email.Validate
#if MIN_VERSION_time(1,5,0)
import Data.Time.Format (TimeLocale, defaultTimeLocale)
#else
import System.Locale (TimeLocale, defaultTimeLocale)
#endif
import Data.Aeson
import Data.Aeson.TH
import Data.Aeson.Types
import qualified Data.ByteString as B
import qualified Data.ByteString.Base64 as Base64
#if !MIN_VERSION_base(4,8,0)
import Data.Foldable
import Data.Traversable
#endif
import qualified Data.HashMap.Strict as H
import Data.Monoid
import qualified Data.Text as T
import qualified Data.Text.Encoding as TL
import qualified Data.Text.Lazy as TL
import qualified Text.Blaze.Html as Blaze
import qualified Text.Blaze.Html.Renderer.Text as Blaze
import qualified Text.Email.Validate as TEV
timeParse :: ParseTime t => TimeLocale -> String -> String -> Maybe t
#if MIN_VERSION_time(1,5,0)
timeParse :: forall t. ParseTime t => TimeLocale -> String -> String -> Maybe t
timeParse = forall (m :: * -> *) t.
(MonadFail m, ParseTime t) =>
Bool -> TimeLocale -> String -> String -> m t
parseTimeM Bool
True
#else
timeParse = parseTime
#endif
data MandrillError = MandrillError {
MandrillError -> Text
_merr_status :: !T.Text
, MandrillError -> Int
_merr_code :: !Int
, MandrillError -> Text
_merr_name :: !T.Text
, MandrillError -> Text
_merr_message :: !T.Text
} deriving (Int -> MandrillError -> ShowS
[MandrillError] -> ShowS
MandrillError -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillError] -> ShowS
$cshowList :: [MandrillError] -> ShowS
show :: MandrillError -> String
$cshow :: MandrillError -> String
showsPrec :: Int -> MandrillError -> ShowS
$cshowsPrec :: Int -> MandrillError -> ShowS
Show, MandrillError -> MandrillError -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: MandrillError -> MandrillError -> Bool
$c/= :: MandrillError -> MandrillError -> Bool
== :: MandrillError -> MandrillError -> Bool
$c== :: MandrillError -> MandrillError -> Bool
Eq)
makeLenses ''MandrillError
deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillError
data MandrillEmailStatus = ES_Sent
| ES_Queued
| ES_Scheduled
| ES_Rejected
| ES_Invalid deriving Int -> MandrillEmailStatus -> ShowS
[MandrillEmailStatus] -> ShowS
MandrillEmailStatus -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillEmailStatus] -> ShowS
$cshowList :: [MandrillEmailStatus] -> ShowS
show :: MandrillEmailStatus -> String
$cshow :: MandrillEmailStatus -> String
showsPrec :: Int -> MandrillEmailStatus -> ShowS
$cshowsPrec :: Int -> MandrillEmailStatus -> ShowS
Show
deriveJSON defaultOptions { constructorTagModifier = map toLower . drop 3 } ''MandrillEmailStatus
data MandrillRejectReason = RR_HardBounce
| RR_SoftBounce
| RR_Spam
| RR_Unsub
| RR_Custom
| RR_InvalidSender
| RR_Invalid
| RR_TestModeLimit
| RR_Unsigned
| RR_Rule deriving Int -> MandrillRejectReason -> ShowS
[MandrillRejectReason] -> ShowS
MandrillRejectReason -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillRejectReason] -> ShowS
$cshowList :: [MandrillRejectReason] -> ShowS
show :: MandrillRejectReason -> String
$cshow :: MandrillRejectReason -> String
showsPrec :: Int -> MandrillRejectReason -> ShowS
$cshowsPrec :: Int -> MandrillRejectReason -> ShowS
Show
deriveJSON defaultOptions {
constructorTagModifier = modRejectReason . drop 3
} ''MandrillRejectReason
data MandrillResponse k =
MandrillSuccess k
| MandrillFailure MandrillError deriving (Int -> MandrillResponse k -> ShowS
forall k. Show k => Int -> MandrillResponse k -> ShowS
forall k. Show k => [MandrillResponse k] -> ShowS
forall k. Show k => MandrillResponse k -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillResponse k] -> ShowS
$cshowList :: forall k. Show k => [MandrillResponse k] -> ShowS
show :: MandrillResponse k -> String
$cshow :: forall k. Show k => MandrillResponse k -> String
showsPrec :: Int -> MandrillResponse k -> ShowS
$cshowsPrec :: forall k. Show k => Int -> MandrillResponse k -> ShowS
Show, MandrillResponse k -> MandrillResponse k -> Bool
forall k. Eq k => MandrillResponse k -> MandrillResponse k -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: MandrillResponse k -> MandrillResponse k -> Bool
$c/= :: forall k. Eq k => MandrillResponse k -> MandrillResponse k -> Bool
== :: MandrillResponse k -> MandrillResponse k -> Bool
$c== :: forall k. Eq k => MandrillResponse k -> MandrillResponse k -> Bool
Eq, forall a b. a -> MandrillResponse b -> MandrillResponse a
forall a b. (a -> b) -> MandrillResponse a -> MandrillResponse b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
<$ :: forall a b. a -> MandrillResponse b -> MandrillResponse a
$c<$ :: forall a b. a -> MandrillResponse b -> MandrillResponse a
fmap :: forall a b. (a -> b) -> MandrillResponse a -> MandrillResponse b
$cfmap :: forall a b. (a -> b) -> MandrillResponse a -> MandrillResponse b
Functor, forall a. Eq a => a -> MandrillResponse a -> Bool
forall a. Num a => MandrillResponse a -> a
forall a. Ord a => MandrillResponse a -> a
forall m. Monoid m => MandrillResponse m -> m
forall a. MandrillResponse a -> Bool
forall a. MandrillResponse a -> Int
forall a. MandrillResponse a -> [a]
forall a. (a -> a -> a) -> MandrillResponse a -> a
forall m a. Monoid m => (a -> m) -> MandrillResponse a -> m
forall b a. (b -> a -> b) -> b -> MandrillResponse a -> b
forall a b. (a -> b -> b) -> b -> MandrillResponse a -> b
forall (t :: * -> *).
(forall m. Monoid m => t m -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. t a -> [a])
-> (forall a. t a -> Bool)
-> (forall a. t a -> Int)
-> (forall a. Eq a => a -> t a -> Bool)
-> (forall a. Ord a => t a -> a)
-> (forall a. Ord a => t a -> a)
-> (forall a. Num a => t a -> a)
-> (forall a. Num a => t a -> a)
-> Foldable t
product :: forall a. Num a => MandrillResponse a -> a
$cproduct :: forall a. Num a => MandrillResponse a -> a
sum :: forall a. Num a => MandrillResponse a -> a
$csum :: forall a. Num a => MandrillResponse a -> a
minimum :: forall a. Ord a => MandrillResponse a -> a
$cminimum :: forall a. Ord a => MandrillResponse a -> a
maximum :: forall a. Ord a => MandrillResponse a -> a
$cmaximum :: forall a. Ord a => MandrillResponse a -> a
elem :: forall a. Eq a => a -> MandrillResponse a -> Bool
$celem :: forall a. Eq a => a -> MandrillResponse a -> Bool
length :: forall a. MandrillResponse a -> Int
$clength :: forall a. MandrillResponse a -> Int
null :: forall a. MandrillResponse a -> Bool
$cnull :: forall a. MandrillResponse a -> Bool
toList :: forall a. MandrillResponse a -> [a]
$ctoList :: forall a. MandrillResponse a -> [a]
foldl1 :: forall a. (a -> a -> a) -> MandrillResponse a -> a
$cfoldl1 :: forall a. (a -> a -> a) -> MandrillResponse a -> a
foldr1 :: forall a. (a -> a -> a) -> MandrillResponse a -> a
$cfoldr1 :: forall a. (a -> a -> a) -> MandrillResponse a -> a
foldl' :: forall b a. (b -> a -> b) -> b -> MandrillResponse a -> b
$cfoldl' :: forall b a. (b -> a -> b) -> b -> MandrillResponse a -> b
foldl :: forall b a. (b -> a -> b) -> b -> MandrillResponse a -> b
$cfoldl :: forall b a. (b -> a -> b) -> b -> MandrillResponse a -> b
foldr' :: forall a b. (a -> b -> b) -> b -> MandrillResponse a -> b
$cfoldr' :: forall a b. (a -> b -> b) -> b -> MandrillResponse a -> b
foldr :: forall a b. (a -> b -> b) -> b -> MandrillResponse a -> b
$cfoldr :: forall a b. (a -> b -> b) -> b -> MandrillResponse a -> b
foldMap' :: forall m a. Monoid m => (a -> m) -> MandrillResponse a -> m
$cfoldMap' :: forall m a. Monoid m => (a -> m) -> MandrillResponse a -> m
foldMap :: forall m a. Monoid m => (a -> m) -> MandrillResponse a -> m
$cfoldMap :: forall m a. Monoid m => (a -> m) -> MandrillResponse a -> m
fold :: forall m. Monoid m => MandrillResponse m -> m
$cfold :: forall m. Monoid m => MandrillResponse m -> m
Foldable, Functor MandrillResponse
Foldable MandrillResponse
forall (t :: * -> *).
Functor t
-> Foldable t
-> (forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> t a -> f (t b))
-> (forall (f :: * -> *) a. Applicative f => t (f a) -> f (t a))
-> (forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> t a -> m (t b))
-> (forall (m :: * -> *) a. Monad m => t (m a) -> m (t a))
-> Traversable t
forall (m :: * -> *) a.
Monad m =>
MandrillResponse (m a) -> m (MandrillResponse a)
forall (f :: * -> *) a.
Applicative f =>
MandrillResponse (f a) -> f (MandrillResponse a)
forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> MandrillResponse a -> m (MandrillResponse b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> MandrillResponse a -> f (MandrillResponse b)
sequence :: forall (m :: * -> *) a.
Monad m =>
MandrillResponse (m a) -> m (MandrillResponse a)
$csequence :: forall (m :: * -> *) a.
Monad m =>
MandrillResponse (m a) -> m (MandrillResponse a)
mapM :: forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> MandrillResponse a -> m (MandrillResponse b)
$cmapM :: forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> MandrillResponse a -> m (MandrillResponse b)
sequenceA :: forall (f :: * -> *) a.
Applicative f =>
MandrillResponse (f a) -> f (MandrillResponse a)
$csequenceA :: forall (f :: * -> *) a.
Applicative f =>
MandrillResponse (f a) -> f (MandrillResponse a)
traverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> MandrillResponse a -> f (MandrillResponse b)
$ctraverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> MandrillResponse a -> f (MandrillResponse b)
Traversable)
instance FromJSON k => FromJSON (MandrillResponse k) where
parseJSON :: Value -> Parser (MandrillResponse k)
parseJSON Value
v = case (forall a b. (a -> Parser b) -> a -> Maybe b
parseMaybe forall a. FromJSON a => Value -> Parser a
parseJSON Value
v) :: Maybe k of
Just k
r -> forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall k. k -> MandrillResponse k
MandrillSuccess k
r
Maybe k
Nothing -> do
case (forall a b. (a -> Parser b) -> a -> Maybe b
parseMaybe forall a. FromJSON a => Value -> Parser a
parseJSON Value
v) :: Maybe MandrillError of
Just MandrillError
e -> forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ forall k. MandrillError -> MandrillResponse k
MandrillFailure MandrillError
e
Maybe MandrillError
Nothing -> forall (m :: * -> *) a. MonadFail m => String -> m a
fail forall a b. (a -> b) -> a -> b
$ forall a. Show a => a -> String
show Value
v forall a. Semigroup a => a -> a -> a
<> String
" is neither a MandrillSuccess or a MandrillError."
data MandrillRecipientTag = To | Cc | Bcc deriving Int -> MandrillRecipientTag -> ShowS
[MandrillRecipientTag] -> ShowS
MandrillRecipientTag -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillRecipientTag] -> ShowS
$cshowList :: [MandrillRecipientTag] -> ShowS
show :: MandrillRecipientTag -> String
$cshow :: MandrillRecipientTag -> String
showsPrec :: Int -> MandrillRecipientTag -> ShowS
$cshowsPrec :: Int -> MandrillRecipientTag -> ShowS
Show
deriveJSON defaultOptions { constructorTagModifier = map toLower } ''MandrillRecipientTag
newtype MandrillEmail = MandrillEmail EmailAddress deriving Int -> MandrillEmail -> ShowS
[MandrillEmail] -> ShowS
MandrillEmail -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillEmail] -> ShowS
$cshowList :: [MandrillEmail] -> ShowS
show :: MandrillEmail -> String
$cshow :: MandrillEmail -> String
showsPrec :: Int -> MandrillEmail -> ShowS
$cshowsPrec :: Int -> MandrillEmail -> ShowS
Show
instance ToJSON MandrillEmail where
toJSON :: MandrillEmail -> Value
toJSON (MandrillEmail EmailAddress
e) = Text -> Value
String forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> Text
TL.decodeUtf8 forall b c a. (b -> c) -> (a -> b) -> a -> c
. EmailAddress -> ByteString
toByteString forall a b. (a -> b) -> a -> b
$ EmailAddress
e
instance FromJSON MandrillEmail where
parseJSON :: Value -> Parser MandrillEmail
parseJSON (String Text
s) = case ByteString -> Either String EmailAddress
validate (Text -> ByteString
TL.encodeUtf8 Text
s) of
Left String
err -> forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
err
Right EmailAddress
v -> forall (m :: * -> *) a. Monad m => a -> m a
return forall b c a. (b -> c) -> (a -> b) -> a -> c
. EmailAddress -> MandrillEmail
MandrillEmail forall a b. (a -> b) -> a -> b
$ EmailAddress
v
parseJSON Value
o = forall a. String -> Value -> Parser a
typeMismatch String
"Expecting a String for MandrillEmail." Value
o
data MandrillRecipient = MandrillRecipient {
MandrillRecipient -> MandrillEmail
_mrec_email :: MandrillEmail
, MandrillRecipient -> Maybe Text
_mrec_name :: Maybe T.Text
, MandrillRecipient -> Maybe MandrillRecipientTag
_mrec_type :: Maybe MandrillRecipientTag
} deriving Int -> MandrillRecipient -> ShowS
[MandrillRecipient] -> ShowS
MandrillRecipient -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillRecipient] -> ShowS
$cshowList :: [MandrillRecipient] -> ShowS
show :: MandrillRecipient -> String
$cshow :: MandrillRecipient -> String
showsPrec :: Int -> MandrillRecipient -> ShowS
$cshowsPrec :: Int -> MandrillRecipient -> ShowS
Show
makeLenses ''MandrillRecipient
deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillRecipient
newRecipient :: EmailAddress -> MandrillRecipient
newRecipient :: EmailAddress -> MandrillRecipient
newRecipient EmailAddress
email = MandrillEmail
-> Maybe Text -> Maybe MandrillRecipientTag -> MandrillRecipient
MandrillRecipient (EmailAddress -> MandrillEmail
MandrillEmail EmailAddress
email) forall a. Maybe a
Nothing forall a. Maybe a
Nothing
instance Arbitrary MandrillRecipient where
arbitrary :: Gen MandrillRecipient
arbitrary = forall (f :: * -> *) a. Applicative f => a -> f a
pure MandrillRecipient {
_mrec_email :: MandrillEmail
_mrec_email = EmailAddress -> MandrillEmail
MandrillEmail forall a b. (a -> b) -> a -> b
$ forall a. HasCallStack => Maybe a -> a
fromJust (ByteString -> Maybe EmailAddress
emailAddress ByteString
"test@example.com")
, _mrec_name :: Maybe Text
_mrec_name = forall a. Maybe a
Nothing
, _mrec_type :: Maybe MandrillRecipientTag
_mrec_type = forall a. Maybe a
Nothing
}
newtype MandrillHtml = MandrillHtml Blaze.Html
unsafeMkMandrillHtml :: T.Text -> MandrillHtml
unsafeMkMandrillHtml :: Text -> MandrillHtml
unsafeMkMandrillHtml = Html -> MandrillHtml
MandrillHtml forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. ToMarkup a => a -> Html
Blaze.preEscapedToHtml
mkMandrillHtml :: Blaze.Html -> MandrillHtml
mkMandrillHtml :: Html -> MandrillHtml
mkMandrillHtml = Html -> MandrillHtml
MandrillHtml
#if MIN_VERSION_base(4,11,0)
instance Semigroup MandrillHtml where
MandrillHtml Html
m1 <> :: MandrillHtml -> MandrillHtml -> MandrillHtml
<> MandrillHtml Html
m2 = Html -> MandrillHtml
MandrillHtml (Html
m1 forall a. Semigroup a => a -> a -> a
<> Html
m2)
#endif
instance Monoid MandrillHtml where
mempty :: MandrillHtml
mempty = Html -> MandrillHtml
MandrillHtml forall a. Monoid a => a
mempty
mappend :: MandrillHtml -> MandrillHtml -> MandrillHtml
mappend (MandrillHtml Html
m1) (MandrillHtml Html
m2) = Html -> MandrillHtml
MandrillHtml (Html
m1 forall a. Semigroup a => a -> a -> a
<> Html
m2)
instance Show MandrillHtml where
show :: MandrillHtml -> String
show (MandrillHtml Html
h) = forall a. Show a => a -> String
show forall a b. (a -> b) -> a -> b
$ Html -> Text
Blaze.renderHtml Html
h
instance ToJSON MandrillHtml where
toJSON :: MandrillHtml -> Value
toJSON (MandrillHtml Html
h) = Text -> Value
String forall b c a. (b -> c) -> (a -> b) -> a -> c
. Text -> Text
TL.toStrict forall b c a. (b -> c) -> (a -> b) -> a -> c
. Html -> Text
Blaze.renderHtml forall a b. (a -> b) -> a -> b
$ Html
h
instance FromJSON MandrillHtml where
parseJSON :: Value -> Parser MandrillHtml
parseJSON (String Text
h) = forall (m :: * -> *) a. Monad m => a -> m a
return forall a b. (a -> b) -> a -> b
$ Html -> MandrillHtml
MandrillHtml (forall a. ToMarkup a => a -> Html
Blaze.preEscapedToHtml Text
h)
parseJSON Value
v = forall a. String -> Value -> Parser a
typeMismatch String
"Expecting a String for MandrillHtml" Value
v
instance Arbitrary MandrillHtml where
arbitrary :: Gen MandrillHtml
arbitrary = forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a b. (a -> b) -> a -> b
$ Html -> MandrillHtml
mkMandrillHtml Html
"<p><b>FooBar</b></p>"
type MandrillTags = T.Text
type MandrillHeaders = Object
data MergeVar = MergeVar {
MergeVar -> Text
_mv_name :: !T.Text
, MergeVar -> Value
_mv_content :: Value
} deriving Int -> MergeVar -> ShowS
[MergeVar] -> ShowS
MergeVar -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MergeVar] -> ShowS
$cshowList :: [MergeVar] -> ShowS
show :: MergeVar -> String
$cshow :: MergeVar -> String
showsPrec :: Int -> MergeVar -> ShowS
$cshowsPrec :: Int -> MergeVar -> ShowS
Show
makeLenses ''MergeVar
deriveJSON defaultOptions { fieldLabelModifier = drop 4 } ''MergeVar
data MandrillMergeVars = MandrillMergeVars {
MandrillMergeVars -> Text
_mmvr_rcpt :: !T.Text
, MandrillMergeVars -> [MergeVar]
_mmvr_vars :: [MergeVar]
} deriving Int -> MandrillMergeVars -> ShowS
[MandrillMergeVars] -> ShowS
MandrillMergeVars -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillMergeVars] -> ShowS
$cshowList :: [MandrillMergeVars] -> ShowS
show :: MandrillMergeVars -> String
$cshow :: MandrillMergeVars -> String
showsPrec :: Int -> MandrillMergeVars -> ShowS
$cshowsPrec :: Int -> MandrillMergeVars -> ShowS
Show
makeLenses ''MandrillMergeVars
deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillMergeVars
data MandrillMetadata = MandrillMetadata {
MandrillMetadata -> Text
_mmdt_rcpt :: !T.Text
, MandrillMetadata -> Object
_mmdt_values :: Object
} deriving Int -> MandrillMetadata -> ShowS
[MandrillMetadata] -> ShowS
MandrillMetadata -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillMetadata] -> ShowS
$cshowList :: [MandrillMetadata] -> ShowS
show :: MandrillMetadata -> String
$cshow :: MandrillMetadata -> String
showsPrec :: Int -> MandrillMetadata -> ShowS
$cshowsPrec :: Int -> MandrillMetadata -> ShowS
Show
makeLenses ''MandrillMetadata
deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillMetadata
data Base64ByteString =
EncodedB64BS B.ByteString
| PlainBS B.ByteString
deriving Int -> Base64ByteString -> ShowS
[Base64ByteString] -> ShowS
Base64ByteString -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Base64ByteString] -> ShowS
$cshowList :: [Base64ByteString] -> ShowS
show :: Base64ByteString -> String
$cshow :: Base64ByteString -> String
showsPrec :: Int -> Base64ByteString -> ShowS
$cshowsPrec :: Int -> Base64ByteString -> ShowS
Show
instance ToJSON Base64ByteString where
toJSON :: Base64ByteString -> Value
toJSON (PlainBS ByteString
bs) = Text -> Value
String forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> Text
TL.decodeUtf8 forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> ByteString
Base64.encode forall a b. (a -> b) -> a -> b
$ ByteString
bs
toJSON (EncodedB64BS ByteString
bs) = Text -> Value
String forall b c a. (b -> c) -> (a -> b) -> a -> c
. ByteString -> Text
TL.decodeUtf8 forall a b. (a -> b) -> a -> b
$ ByteString
bs
instance FromJSON Base64ByteString where
parseJSON :: Value -> Parser Base64ByteString
parseJSON (String Text
v) = forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a b. (a -> b) -> a -> b
$ ByteString -> Base64ByteString
EncodedB64BS (Text -> ByteString
TL.encodeUtf8 Text
v)
parseJSON Value
rest = forall a. String -> Value -> Parser a
typeMismatch String
"Base64ByteString must be a String." Value
rest
data MandrillWebContent = MandrillWebContent {
MandrillWebContent -> Text
_mwct_type :: !T.Text
, MandrillWebContent -> Text
_mwct_name :: !T.Text
, MandrillWebContent -> Base64ByteString
_mwct_content :: !Base64ByteString
} deriving Int -> MandrillWebContent -> ShowS
[MandrillWebContent] -> ShowS
MandrillWebContent -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillWebContent] -> ShowS
$cshowList :: [MandrillWebContent] -> ShowS
show :: MandrillWebContent -> String
$cshow :: MandrillWebContent -> String
showsPrec :: Int -> MandrillWebContent -> ShowS
$cshowsPrec :: Int -> MandrillWebContent -> ShowS
Show
makeLenses ''MandrillWebContent
deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillWebContent
data MandrillMessage = MandrillMessage {
MandrillMessage -> MandrillHtml
_mmsg_html :: MandrillHtml
, MandrillMessage -> Maybe Text
_mmsg_text :: Maybe T.Text
, MandrillMessage -> Maybe Text
_mmsg_subject :: !(Maybe T.Text)
, MandrillMessage -> Maybe MandrillEmail
_mmsg_from_email :: Maybe MandrillEmail
, MandrillMessage -> Maybe Text
_mmsg_from_name :: Maybe T.Text
, MandrillMessage -> [MandrillRecipient]
_mmsg_to :: [MandrillRecipient]
, :: MandrillHeaders
, MandrillMessage -> Maybe Bool
_mmsg_important :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_track_opens :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_track_clicks :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_auto_text :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_auto_html :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_inline_css :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_url_strip_qs :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_preserve_recipients :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_view_content_link :: Maybe Bool
, MandrillMessage -> Maybe Text
_mmsg_bcc_address :: Maybe T.Text
, MandrillMessage -> Maybe Text
_mmsg_tracking_domain :: Maybe T.Text
, MandrillMessage -> Maybe Bool
_mmsg_signing_domain :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_return_path_domain :: Maybe Bool
, MandrillMessage -> Maybe Bool
_mmsg_merge :: Maybe Bool
, MandrillMessage -> [MergeVar]
_mmsg_global_merge_vars :: [MergeVar]
, MandrillMessage -> [MandrillMergeVars]
_mmsg_merge_vars :: [MandrillMergeVars]
, MandrillMessage -> [Text]
_mmsg_tags :: [MandrillTags]
, MandrillMessage -> Maybe Text
_mmsg_subaccount :: Maybe T.Text
, MandrillMessage -> [Text]
_mmsg_google_analytics_domains :: [T.Text]
, MandrillMessage -> Maybe Text
_mmsg_google_analytics_campaign :: Maybe T.Text
, MandrillMessage -> Object
_mmsg_metadata :: Object
, MandrillMessage -> [MandrillMetadata]
_mmsg_recipient_metadata :: [MandrillMetadata]
, MandrillMessage -> [MandrillWebContent]
_mmsg_attachments :: [MandrillWebContent]
, MandrillMessage -> [MandrillWebContent]
_mmsg_images :: [MandrillWebContent]
} deriving Int -> MandrillMessage -> ShowS
[MandrillMessage] -> ShowS
MandrillMessage -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillMessage] -> ShowS
$cshowList :: [MandrillMessage] -> ShowS
show :: MandrillMessage -> String
$cshow :: MandrillMessage -> String
showsPrec :: Int -> MandrillMessage -> ShowS
$cshowsPrec :: Int -> MandrillMessage -> ShowS
Show
deriveJSON defaultOptions { fieldLabelModifier = drop 6 } ''MandrillMessage
instance Arbitrary MandrillMessage where
arbitrary :: Gen MandrillMessage
arbitrary = MandrillHtml
-> Maybe Text
-> Maybe Text
-> Maybe MandrillEmail
-> Maybe Text
-> [MandrillRecipient]
-> Object
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> Maybe Text
-> Maybe Text
-> Maybe Bool
-> Maybe Bool
-> Maybe Bool
-> [MergeVar]
-> [MandrillMergeVars]
-> [Text]
-> Maybe Text
-> [Text]
-> Maybe Text
-> Object
-> [MandrillMetadata]
-> [MandrillWebContent]
-> [MandrillWebContent]
-> MandrillMessage
MandrillMessage forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> forall a. Arbitrary a => Gen a
arbitrary
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure (forall a. a -> Maybe a
Just Text
"Test Subject")
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure (EmailAddress -> MandrillEmail
MandrillEmail forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ByteString -> Maybe EmailAddress
emailAddress ByteString
"sender@example.com")
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall a. Int -> Gen a -> Gen a
resize Int
2 forall a. Arbitrary a => Gen a
arbitrary
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Monoid a => a
mempty
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure []
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure []
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure []
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure []
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Maybe a
Nothing
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a. Monoid a => a
mempty
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure []
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure []
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> forall (f :: * -> *) a. Applicative f => a -> f a
pure []
data MandrillTemplateContent = MandrillTemplateContent {
MandrillTemplateContent -> Text
_mtc_name :: T.Text
, MandrillTemplateContent -> Text
_mtc_content :: T.Text
} deriving Int -> MandrillTemplateContent -> ShowS
[MandrillTemplateContent] -> ShowS
MandrillTemplateContent -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillTemplateContent] -> ShowS
$cshowList :: [MandrillTemplateContent] -> ShowS
show :: MandrillTemplateContent -> String
$cshow :: MandrillTemplateContent -> String
showsPrec :: Int -> MandrillTemplateContent -> ShowS
$cshowsPrec :: Int -> MandrillTemplateContent -> ShowS
Show
makeLenses ''MandrillTemplateContent
deriveJSON defaultOptions { fieldLabelModifier = drop 5 } ''MandrillTemplateContent
type MandrillKey = T.Text
type MandrillTemplate = T.Text
newtype MandrillDate = MandrillDate {
MandrillDate -> UTCTime
fromMandrillDate :: UTCTime
} deriving Int -> MandrillDate -> ShowS
[MandrillDate] -> ShowS
MandrillDate -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MandrillDate] -> ShowS
$cshowList :: [MandrillDate] -> ShowS
show :: MandrillDate -> String
$cshow :: MandrillDate -> String
showsPrec :: Int -> MandrillDate -> ShowS
$cshowsPrec :: Int -> MandrillDate -> ShowS
Show
instance ToJSON MandrillDate where
toJSON :: MandrillDate -> Value
toJSON = forall a. ToJSON a => a -> Value
toJSON forall b c a. (b -> c) -> (a -> b) -> a -> c
. MandrillDate -> UTCTime
fromMandrillDate
instance FromJSON MandrillDate where
parseJSON :: Value -> Parser MandrillDate
parseJSON = forall a. String -> (Text -> Parser a) -> Value -> Parser a
withText String
"MandrillDate" forall a b. (a -> b) -> a -> b
$ \Text
t ->
case forall t. ParseTime t => TimeLocale -> String -> String -> Maybe t
timeParse TimeLocale
defaultTimeLocale String
"%Y-%m-%d %H:%M:%S%Q" (Text -> String
T.unpack Text
t) of
Just UTCTime
d -> forall (f :: * -> *) a. Applicative f => a -> f a
pure forall a b. (a -> b) -> a -> b
$ UTCTime -> MandrillDate
MandrillDate UTCTime
d
Maybe UTCTime
_ -> forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"could not parse Mandrill date"