Haskell foldr在名单上

Question

我在Haskell中有一个BST的成员函数。我正在尝试使用foldr来检查列表中的每个元素是否都在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的类型为foldr ::（a - ＆gt; b - ＆gt; b） - ＆gt; b - ＆gt; [a] - ＆gt; b，所以我的类型不匹配，但我不知道如何解决它，或者甚至可能在这种情况下使用foldr。但我需要检查列表中的每个元素是否都在我的BST中。

Answer 1

foldr收到3个论点。二元函数（运算符），累加器（运算符的中性操作数）和结构（List）。

你打电话的功能可能是：

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

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

map函数在数组的元素上提供了一元运算符（或接收一个参数的函数）。在您的结构（列表）上的每个成员上member与mBST一起使用后，请使用true检查所有成员是否foldr。