git.iko.soy/effectful
on fbc5b30 help sign in
effectful/tests/Utils.hs
30 lines 683 B history raw
1module Utils
2 ( assertBool
3 , assertEqual
4 , assertFailure
5 , Ex(..)
6 ) where
8import Control.Exception
9import Control.Monad.IO.Class
10import GHC.Stack
11import qualified Test.Tasty.HUnit as T
13import Effectful.Monad
15assertBool :: (HasCallStack, IOE :> es) => String -> Bool -> Eff es ()
16assertBool msg p = liftIO $ T.assertBool msg p
18assertEqual
19 :: (HasCallStack, Eq a, Show a, IOE :> es)
20 => String
21 -> a
22 -> a
23 -> Eff es ()
24assertEqual msg expected given = liftIO $ T.assertEqual msg expected given
26assertFailure :: (HasCallStack, IOE :> es) => String -> Eff es a
27assertFailure msg = liftIO $ T.assertFailure msg
29data Ex = Ex deriving (Eq, Show)
30instance Exception Ex