コードの整理とプロジェクトのビルド QuickCheckを使ったプロパティテスト QuickCheckによるプロパティテスト
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)のUNIT6(コードの整理とプロジェクトのビルド)、LESSON 36(QuickCheckを使ったプロパティテスト)、36.3(QuickCheckによるプロパティテスト)、クイックチェック 36-4の解答を求めてみる。
palindrome-testing/test/Spec.hs
import Lib (isPalindrome)
prop_reverseInvariant :: String -> Bool
prop_reverseInvariant text =
isPalindrome text == isPalindrome (reverse text)
main :: IO ()
main = return ()
palindrome-testing/src/Lib.hs
module Lib
( isPalindrome,
)
where
isPalindrome :: String -> Bool
isPalindrome text =
let cleanText = filter (not . (`elem` ['!', '.'])) text
in cleanText == reverse cleanText
入出力結果(Terminal, Zsh)
% stack test
palindrome-testing-0.1.0.0: unregistering (local file changes: test/Spec.hs)
palindrome-testing> build (lib + exe + test)
Preprocessing library for palindrome-testing-0.1.0.0..
Building library for palindrome-testing-0.1.0.0..
ld: warning: -undefined dynamic_lookup may not work with chained fixups
Preprocessing executable 'palindrome-testing-exe' for palindrome-testing-0.1.0.0..
Building executable 'palindrome-testing-exe' for palindrome-testing-0.1.0.0..
Preprocessing test suite 'palindrome-testing-test' for palindrome-testing-0.1.0.0..
Building test suite 'palindrome-testing-test' for palindrome-testing-0.1.0.0..
[2 of 2] Compiling Main
/Users/…/palindrome-testing/test/Spec.hs:4:1: warning: [-Wunused-top-binds]
Defined but not used: ‘prop_reverseInvariant’
|
4 | prop_reverseInvariant text =
| ^^^^^^^^^^^^^^^^^^^^^
Linking .stack-work/dist/x86_64-osx/Cabal-3.4.1.0/build/palindrome-testing-test/palindrome-testing-test ...
palindrome-testing> copy/register
Installing library in /Users/…/palindrome-testing/.stack-work/install/x86_64-osx/dd0ba1c274e73dc536fbe6c0a59722f85fb3bc32a983d13f60410ac8cb68772f/9.0.2/lib/x86_64-osx-ghc-9.0.2/palindrome-testing-0.1.0.0-5TG33YXoyUc9xySoWsuis4
Installing executable palindrome-testing-exe in /Users/…/palindrome-testing/.stack-work/install/x86_64-osx/dd0ba1c274e73dc536fbe6c0a59722f85fb3bc32a983d13f60410ac8cb68772f/9.0.2/bin
Registering library for palindrome-testing-0.1.0.0..
palindrome-testing> test (suite: palindrome-testing-test)
palindrome-testing> Test suite palindrome-testing-test passed
Completed 2 action(s).
%