2020-12-10 19:47:11 +02:00
|
|
|
module Main (main) where
|
|
|
|
|
2020-12-10 21:24:23 +02:00
|
|
|
import Test.Tasty
|
|
|
|
|
2020-12-10 22:22:46 +02:00
|
|
|
import qualified Test.Data.Email as Data.Email
|
2020-12-10 21:24:23 +02:00
|
|
|
import qualified Test.Data.Email.Header as Data.Email.Header
|
|
|
|
|
|
|
|
tests :: TestTree
|
|
|
|
tests = testGroup "tests"
|
|
|
|
[ Data.Email.Header.tests
|
2020-12-10 22:22:46 +02:00
|
|
|
, Data.Email.tests
|
2020-12-10 21:24:23 +02:00
|
|
|
]
|
|
|
|
|
2020-12-10 19:47:11 +02:00
|
|
|
main :: IO ()
|
2020-12-10 21:24:23 +02:00
|
|
|
main = defaultMain tests
|