가져 오기를 테스트하는 방법 Control.Monad.Exit with Hunit?</p> <pre><code>foo :: Double -> Double -> Except String Double foo x y | x < -10.0 = throwError "Invalid parameter" | otherwise = pure $ x + y </code></pre> <p>이 <code>hunit</code>를 사용하여 :

Question

어떻게 같은 기능을 Control.Monad.Except (두 가드 결과)를 테스트 할 수 있습니다?

Answer 1

runExcept을 사용하여 Except 동작을 실행하고 결과를 확인하기 위해 ~?=을 사용하는 일부 기능을 작성하는 것은 간단합니다.

shouldThrow :: Eq e => Except e a -> e -> Test 
m `shouldThrow` e = runExcept m ~?= Left e 

shouldReturn :: Eq a => Except e a -> a -> Test 
m `shouldReturn` x = runExcept m ~?= Right x 

사용 예제는 :

testFoo = TestList [ 
    foo -11 2 `shouldThrow` "Invalid parameter", 
    foo 3 1 `shouldReturn` 4 
    ]