StackOverflow 文件 Haskell Language 教程 快速檢查 快速檢查 隨機生成自定義型別的資料 使用 implication() 檢查具有前置條件的屬性 宣告屬性 檢查單個屬性 檢查檔案中的所有屬性 限制測試資料的大小 隨機生成自定義型別的資料