Haskell - コードの整理とプロジェクトのビルド - QuickCHeckを使ったプロパティテスト - 記述
入門Haskellプログラミング (Will Kurt(著)、株式会社クイープ(監修、翻訳)、翔泳社)の UNIT6(コードの整理とプロジェクトのビルド)、LESSON 36(QuickCHeckを使ったプロパティテスト)、36.3(QuickCheckによるプロパティテスト)、 クイックチェック 36-4の解答を求めてみる。
コード
palindrome-testing/test/Spec.hs
import Lib(isPalindrome)
prop_reverseInvarient text = isPalindrome text == isPalindrome (reverse text)