haskell - 如何逐步完成快速检查流程

Question

我有以下两个功能：

leftPoint :: Point -> Board -> Point
rightPoint :: Point -> Board -> Point

它应该具有以下属性：

rightPoint (leftPoint p b) b == p

或者用英语：一个点的左点的右点就是它自己。

我的测试因案例而失败，但我想逐步完成测试以了解它。Haskell 或 QuickCheck 库是否提供这样的调试工具？

标签： haskell