slaesvuo/hledger
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

lib: expectParseEqIO helper

Browse Source
This commit is contained in:
Simon Michael 2018-08-17 12:42:05 +01:00
parent 43d973e8ab
commit b1bbbf0d93
1 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
hledger-lib/Hledger/Utils/Test.hs
View File

@ -5,8 +5,7 @@ module Hledger.Utils.Test where
import Control.Exception import Control.Exception
import Control.Monad import Control.Monad
import Control.Monad.State.Strict (StateT) import Control.Monad.State.Strict (StateT, evalStateT)
--import Control.Monad.State.Strict (evalStateT)
import Data.CallStack import Data.CallStack
import Data.Functor.Identity import Data.Functor.Identity
import Data.List import Data.List
@ -94,16 +93,21 @@ runEasyTests args easytests = (do
) )
`catch` (\(_::ExitCode) -> return True) `catch` (\(_::ExitCode) -> return True)
-- ok to specify Identity here ? -- | Given a stateful, runnable-in-Identity-monad parser, input text, and expected parse result,
--expectParseEq :: (Monad m, Monoid st, Eq a, Show a) => StateT st (ParsecT CustomErr T.Text m) a -> T.Text -> a -> EasyTest.Test ()
-- ep <- runParserT (evalStateT parser mempty) "" input
-- | Given a (stateful, identity-monadic) parser, input text, and expected parse result,
-- make an easytest Test that parses the text and compares the result, -- make an easytest Test that parses the text and compares the result,
-- showing a nice failure message if either step fails. -- showing a nice failure message if either step fails.
expectParseEq :: (Monoid st, Eq a, Show a) => StateT st (ParsecT CustomErr T.Text Identity) a -> T.Text -> a -> EasyTest.Test () expectParseEq :: (Monoid st, Eq a, Show a) => StateT st (ParsecT CustomErr T.Text Identity) a -> T.Text -> a -> EasyTest.Test ()
expectParseEq parser input expected = do expectParseEq parser input expected = do
let ep = runIdentity $ parseWithState mempty parser input let ep = runIdentity $ parseWithState mempty parser input
either (fail.("parse error at "++).parseErrorPretty) (flip expectEq' expected) ep either (fail.("parse error at "++).parseErrorPretty) (expectEq' expected) ep
-- | Given a stateful, runnable-in-IO-monad parser, input text, and expected parse result,
-- make an easytest Test that parses the text and compares the result,
-- showing a nice failure message if either step fails.
expectParseEqIO :: (Monoid st, Eq a, Show a) => StateT st (ParsecT CustomErr T.Text IO) a -> T.Text -> a -> EasyTest.Test ()
expectParseEqIO parser input expected = do
ep <- io $ runParserT (evalStateT parser mempty) "" input
either (fail.("parse error at "++).parseErrorPretty) (expectEq' expected) ep
-- | Like easytest's expectEq, but pretty-prints the values in failure output. -- | Like easytest's expectEq, but pretty-prints the values in failure output.
expectEq' :: (Eq a, Show a, HasCallStack) => a -> a -> EasyTest.Test () expectEq' :: (Eq a, Show a, HasCallStack) => a -> a -> EasyTest.Test ()