[英]Haskell Unit tests using IO monad
I am trying to write HUnit tests for haskell functions that return IO monads because they perform file I/O. 我正在尝试为返回IO monads的haskell函数编写HUnit测试,因为它们执行文件I / O. Is there any way to do this?
有没有办法做到这一点? Right now I am trying to write a method that just returns a Bool and that can be my test
现在我正在尝试编写一个只返回Bool的方法,这可能是我的测试
combine :: FilePath -> FilePath -> Bool
combine fp1 fp2 = do
cs <- readFile fp1
let (_,y,z) = strToHuff cs
let _ = writeToFile fp2 z y
(a, b) <- readFromFile fp2
z == a && b == y
but that gives me the following error: 但这给了我以下错误:
FileWriter.hs:153:3: Couldn't match type ‘IO b0’ with ‘Bool’ …
Expected type: IO String -> (String -> IO b0) -> Bool
Actual type: IO String -> (String -> IO b0) -> IO b0
In a stmt of a 'do' block: cs <- readFile fp1
In the expression:
do { cs <- readFile fp1;
let (_, y, z) = strToHuff cs;
let _ = writeToFile "try1.txt" z y;
(a, b) <- readFromFile fp2;
.... }
In an equation for ‘combine’:
combine fp1 fp2
= do { cs <- readFile fp1;
let (_, y, z) = ...;
let _ = ...;
.... }
FileWriter.hs:157:3: Couldn't match expected type ‘IO b0’ with actual type ‘Bool’ …
In a stmt of a 'do' block: z == a && b == y
In the expression:
do { cs <- readFile fp1;
let (_, y, z) = strToHuff cs;
let _ = writeToFile "try1.txt" z y;
(a, b) <- readFromFile fp2;
.... }
In an equation for ‘combine’:
combine fp1 fp2
= do { cs <- readFile fp1;
let (_, y, z) = ...;
let _ = ...;
.... }
Compilation failed.
Like what @user2407038 said in the comments and as mentioned in the HUnit user manual HUnit tests run in the IO monad . 就像@ user2407038在评论中所说的那样,以及在HUnit用户手册中提到的HUnit测试在IO monad中运行。
Here is an example: 这是一个例子:
testFilesEqual = TestCase (do x <- readFile "a.txt"
y <- readFile "b.txt"
assertEqual "files not equal" x y)
# a.txt == b.txt
λ> runTestTT testFilesEqual
Cases: 1 Tried: 0 Errors: 0 Failures: 0
Counts {cases = 1, tried = 1, errors = 0, failures = 0}
# a.txt != b.txt
λ> runTestTT testFilesEqual
### Failure:
files not equal
expected: "hello\n"
but got: "world\n"
Cases: 1 Tried: 1 Errors: 0 Failures: 1
Counts {cases = 1, tried = 1, errors = 0, failures = 1}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.