unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-13 00:12:21 +03:00
Code Issues Projects Releases Wiki Activity

MonadCatch and MonadThrow instances for Test

Browse Source
This commit is contained in:
Arya Irani 2021-04-07 14:14:49 -06:00
parent 844deaa9c1
commit 8d05785c30
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
yaks/easytest/easytest.cabal
View File

@ -58,6 +58,7 @@ library
build-depends:
async >= 2.1.1,
base >= 4.3,
exceptions,
mtl >= 2.0.1,
containers >= 0.4.0,
stm >= 2.4,

9
yaks/easytest/src/EasyTest.hs
View File

@ -9,6 +9,8 @@ import Control.Concurrent
import Control.Concurrent.STM
import Control.Exception
import Control.Monad
import Control.Monad.Catch (MonadCatch, MonadThrow(throwM))
import qualified Control.Monad.Catch as Catch
import Control.Monad.IO.Class
import Control.Monad.Reader
import Data.List
@ -404,6 +406,13 @@ instance Monad Test where
instance MonadFail Test where
fail = crash
instance MonadThrow Test where
throwM = Test . throwM
instance MonadCatch Test where
catch (Test m) f =
Test $ Catch.catch m (\e -> case f e of Test m' -> m')
instance Functor Test where
fmap = liftM