宣告屬性

最簡單的是,屬性是一個返回 Bool 的函式。

prop_reverseDoesNotChangeLength xs = length (reverse xs) == length xs

屬性宣告程式的高階不變數。QuickCheck 測試執行器將使用 100 個隨機輸入評估該功能,並檢查結果是否始終為 True

按照慣例,屬性函式的名稱以 prop_ 開頭。