chore: fix tests & refactor

src/Mail.hs

@@ -50,7 +50,7 @@ import Settings.Mime
 import Data.Monoid (Last(..))
 import Control.Monad.Trans.RWS (RWST(..))
 import Control.Monad.Trans.State (StateT(..), execStateT, mapStateT)
-import Control.Monad.Trans.Writer (execWriter, Writer)
+import Control.Monad.Trans.Writer (execWriter, execWriterT, Writer)
 import Control.Monad.RWS.Class (MonadWriter(..), MonadState(..), modify)
 import Control.Monad.Fail
 import Control.Monad.Base
@@ -124,8 +124,6 @@ import Language.Haskell.TH (nameBase)
 
 import Network.Mail.Mime.Instances()
 
-import Control.Monad.Trans.Writer (execWriterT)
-
 
 makeLenses_ ''Address
 makeLenses_ ''Mail

test/MailSpec.hs

@@ -14,7 +14,7 @@ instance Arbitrary MailContext where
   arbitrary = genericArbitrary
   shrink = genericShrink
 
-instance Arbitrary VerpMode where
+instance Arbitrary Address where
   arbitrary = genericArbitrary
   shrink = genericShrink
 
@@ -25,5 +25,3 @@ spec = do
       [ eqLaws, ordLaws, showReadLaws, monoidLaws ]
     lawsCheckHspec (Proxy @MailContext)
       [ eqLaws, ordLaws, showReadLaws, jsonLaws, hashableLaws ]
-    lawsCheckHspec (Proxy @VerpMode)
-      [ eqLaws, showReadLaws, jsonLaws ]

test/ModelSpec.hs

@@ -5,9 +5,10 @@ module ModelSpec where
 
 import TestImport
 
-import Settings (getTimeLocale')
+import Settings (getTimeLocale', VerpMode(..))
 
 import Model.TypesSpec ()
+import MailSpec ()
 
 import qualified Data.CaseInsensitive as CI
 import qualified Data.ByteString.Char8 as CBS
@@ -203,6 +204,11 @@ instance {-# OVERLAPS #-} (HasCryptoID ns ct pt (ReaderT CryptoIDKey Catch), Arb
     where
       tmpKey = unsafePerformIO genKey
 
+instance Arbitrary VerpMode where
+  arbitrary = genericArbitrary
+  shrink = genericShrink
+
+
 spec :: Spec
 spec = do
   parallel $ do
@@ -214,3 +220,5 @@ spec = do
       [ eqLaws ]
     lawsCheckHspec (Proxy @Term)
       [ eqLaws, jsonLaws ]
+    lawsCheckHspec (Proxy @VerpMode)
+      [ eqLaws, showReadLaws, jsonLaws ]