テスト | haskell

テスト

[Testing Failure with Either Instead of Exception

Haskell at Work](https://haskell-at-work.com/episodes/2018-03-18-testing-failure-with-either-instead-of-exception.html)

Property Testing

import Data.List
import Test.QuickCheck

prop_sort :: [Int] -> Bool
prop_sort xs = sort xs == sort (sort xs)

$ ghci test.hs
...
Ok, modules loaded: Main.

*Main> quickCheck prop_sort
+++ OK, passed 100 tests.

*Main> verboseCheck prop_sort
Passed:
[]
Passed:
[-1]
Passed:
[6,-2]
Passed:
[5,-3,0,0,-5,-3,-3]
...
+++ OK, passed 100 tests.

HipSpec

Doctest

デバッグ