为什么会出现 "No instance for (Arbitrary) arising from a use of `quickCheck'" 错误？

Question

我是 Haskell 的新手，遇到这个错误时遇到了一些麻烦。我在 Windows 上使用 ghci。这是代码：

data Direction = North | South | East | West
            deriving (Eq, Show)
type Point = (Int, Int)
origin = (0,0)
type Road = [Direction]
movement :: Point -> Road -> Point
{- ... }
test :: Road -> Road -> Bool
test road1 road2 = movement origin road1 == movement origin road2
-- i check if two roads lead to the same destination starting from 
-- the origin point in a grid

这是我尝试运行测试时发生的情况：

*Main> quickCheck test
<interactive>:8:1: error:
* No instance for (Arbitrary Direction)
    arising from a use of `quickCheck'
* In the expression: quickCheck test
  In an equation for `it': it = quickCheck test

我的老师告诉我我的代码是正确的，但没有解释为什么在 Windows 上会出现这种情况，因此没有提供解决方案。我也没有在网上找到任何有用的东西。我真的很感激一个解释。

Answer 1

您定义：

Direction = North | South | East | West
        deriving (Eq, Show)

上面没有instance Arbitrary Direction。毕竟，怎么可能呢？您刚刚定义了方向，全世界只有 Eq 和 Show.

尝试：

import Test.QuickCheck
data Direction = North | South | East | West
   deriving (Eq,Show)

instance Arbitrary Direction where
    arbitrary = elements [North,South,East,West]

elements 函数来自 Test.QuickCheck 就像 Arbitrary.

作为元注释：如果您的讲师没有立即看到这里的问题，那么要么是沟通不畅，要么您应该计划补充您的 Haskell 教育，例如使用 wikibooks 等在线资源，打印 material 比如The Craft of Functional Programming，或者freenode之类的地方的很多对话。

为什么会出现 "No instance for (Arbitrary) arising from a use of `quickCheck'" 错误？

Why does "No instance for (Arbitrary) arising from a use of `quickCheck'" error appears?

haskell

cmd

quickcheck

ghci