Haskell文件夹在列表中

Question

我在Haskell的BST中有一个成员函数。 我正在尝试使用文件夹检查列表中的每个元素是否在BST中。 我的成员函数适用于单个元素，第一行看起来像这样。

member ::(Ord a) =>  BST a -> a -> Bool

当我有：

let val = foldr mBST my_list 

我收到以下错误：

Couldn't match expected type `a0 -> b0 -> b0'
            with actual type `BST Int'
In the first argument of `foldr', namely `mBST'
In the expression: foldr mBST my_list

我知道foldr的类型为folder ::（a-> b-> b）-> b-> [a]-> b，所以我的类型不匹配，但我不知道如何解决它，甚至可能在这种情况下使用文件夹。 但是我需要检查列表中的每个元素是否都在我的BST中。

Answer 1

foldr接收3个参数。 二进制函数（运算符），累加器（运算符的中性操作数）和结构（列表）。

您调用的函数可能是：

foldr (&&) true $ map (member mBST) myList

:t member mBST
 member mBST :: (Ord a) => a -> Bool

map函数在数组的元素上添加了一元运算符（或接受一个参数的函数）。 当你应用。查阅全文member与mBST的每个成员都在你的结构（列表），然后检查是否都是true使用foldr 。