graninas/Hydra
1
1
Fork 0
mirror of https://github.com/graninas/Hydra.git synced 2024-12-25 18:12:38 +03:00
Code Issues Projects Releases Wiki Activity

Additional method, documentation and test.

Browse Source
This commit is contained in:
Alexander Granin 2020-08-06 18:31:12 +07:00
parent 3e5d7f88b7
commit e83d054ba8
2 changed files with 23 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/hydra-free/src/Hydra/Core/Lang/Language.hs
View File

@ -139,6 +139,13 @@ runDB = evalSqlDB
throwException :: forall a e. Exception e => e -> LangL a
throwException ex = liftF $ ThrowException ex id
-- | Catches any type of exceptions and returns as SomeException.
runSafely' :: LangL a -> LangL (Either SomeException a)
runSafely' act = liftF $ RunSafely act id
-- | Catches only a specified type of exceptions or exceptions which are wider.
-- For example, when SomeException is specified, any exceptions will be catched.
-- Otherwise depends on the hierarchy of the exceptions.
runSafely :: Exception e => LangL a -> LangL (Either e a)
runSafely act = liftF $ RunSafely act id

22
lib/hydra-free/test/Hydra/Tests/Integration/FrameworkSpec.hs
View File

@ -55,11 +55,11 @@ spec =
result <- R.runAppL rt app
result `shouldBe` "Some"
it "ThrowException & runSafely, catched second, wider" $ \rt -> do
it "ThrowException & runSafely, catched by second, wider" $ \rt -> do
let app = do
void $ L.scenario
$ L.runSafely @SomeException
$ L.runSafely @(E.AssertionFailed)
$ L.runSafely @SomeException -- by second
$ L.runSafely @(E.AssertionFailed) -- by first
$ L.throwException E.DivideByZero
pure "Some"
result <- R.runAppL rt app
@ -68,14 +68,24 @@ spec =
it "ThrowException & runSafely, not catched any" $ \rt -> do
let app = do
void $ L.scenario
$ L.runSafely @(E.AssertionFailed)
$ L.runSafely @(E.ArrayException)
$ L.runSafely @(E.AssertionFailed) -- second
$ L.runSafely @(E.ArrayException) -- first
$ L.throwException E.DivideByZero
pure "Some"
eRes :: Either SomeException String <- try $ R.runAppL rt app
case eRes of
Left err -> show err `shouldBe` "divide by zero"
Right res -> fail $ "Unexpected success: " <> res
Right res -> fail $ "Unexpected success: " <> res
it "ThrowException & runSafely', catched by second, wider" $ \rt -> do
let app = do
void $ L.scenario
$ L.runSafely' -- second (SomeException)
$ L.runSafely @(E.AssertionFailed) -- first
$ L.throwException E.DivideByZero
pure "Some"
result <- R.runAppL rt app
result `shouldBe` "Some"
it "ThrowException & runSafely, catched after run" $ \rt -> do
let (app :: L.AppL (Either E.AssertionFailed Int)) =