这个"无实例"错误的解决方案是什么？

Question

我创建了描述二叉树的新类型

data BinTree a = Null | Num a (BinTree a) (BinTree a)
deriving (Show)

并创建了以下功能:

treehandle :: BinTree a -> Bool
treehandle a = True

检查至少输入值.

当我输入值Null时,程序输出结果成功,但我无法输入二叉树.我这样试试:

treehandle (5 (Null) (Null))

但获得:

<interactive>:66:13:
No instance for (Num (BinTree a1 -> BinTree a2 -> BinTree a0))
  (maybe you haven't applied enough arguments to a function?)
  arising from the literal ‘5’
In the expression: 5
In the first argument of ‘treehandle’, namely ‘(5 (Null) (Null))’
In the expression: treehandle (5 (Null) (Null))

为什么？

Answer 1

你忘记了值构造函数的名字

treehandle (Num 5 (Null) (Null))

Answer 2

如果我是你,我会为数据构造函数找到不同的命名.Num也是类型类的名称,在查看错误消息时可能会非常混乱.

也deriving Show没有正确缩进,你忘了数据构造函数treehandle (5 (Null) (Null)).这是一个工作版本.

data BinTree a = Leaf | Node a (BinTree a) (BinTree a) deriving Show

treehandle :: BinTree a -> Bool
treehandle _ = True

test = treehandle $ Node 5 Leaf Leaf

treehandle想要一个类型的值,BinTree a你给它的所有是一个Int和两个空BinTree's,它实际上尝试应用Int两个空BinTree's和失败.你必须制作一个可以传递给你Node的单曲BinTree atreehandle