dwergaz-0.3.0.0: test/Main.hs

module Main (main) where

import Control.Monad (when)
import Data.Either (isLeft, isRight)
import System.Exit (exitFailure)
import Test.Dwergaz

testFun01 :: a -> String
testFun01 = const "quux"

testFun02 :: a -> Int
testFun02 = const 43

testFun03 :: a -> Either String String
testFun03 = const (Left "quux")

testFun04 :: a -> Either String Int
testFun04 = const (Left "quux")

expectExample01, expectExample02 :: Test
expectExample01 = Expect "Strings are equal" (==) "quux" (testFun01 "quux")
expectExample02 = assertEqual "Ints are equal" 42 (testFun02 "quux")

predicateExample01, predicateExample02, predicateExample03 :: Test
predicateExample01 = Predicate "Value is a Left" (isLeft $ testFun03 "quux")
predicateExample02 = assertBool "Value is a Right" (isRight (testFun04 "quux"))
predicateExample03 = assertFailure "Just fail"

exampleTests :: [Test]
exampleTests =
  [ expectExample01,
    expectExample02,
    predicateExample01,
    predicateExample02,
    predicateExample03
  ]

results :: [Result]
results = fmap runTest exampleTests

main :: IO ()
main = do
  mapM_ (putStrLn . resultToString) results
  -- The following should use 'Control.Monad.unless' in real usage.
  when (all resultIsPassed results) exitFailure