您可以寻求更通用的解决方案,并将您的数据类型设为Foldable 的实例。
hackage 有一个非常相似的示例,但它实现了订单后访问。
如果您想支持预购访问,您必须编写如下内容:
import qualified Data.Foldable as F
data Tree a = Leaf a | Node a (Tree a) (Tree a) deriving Show
instance F.Foldable Tree where
foldr f z (Leaf x) = f x z
foldr f z (Node k l r) = f k (F.foldr f (F.foldr f z r) l)
有了这个,你就可以使用在Foldable类型上工作的每个函数,比如elem、foldr、foldr、sum、minimum、maximum等等(参考here)。
特别是,您正在搜索的列表可以通过toList 获得。以下是您可以通过该实例声明编写的一些示例:
*Main> let t = Node 1 (Node 2 (Leaf 3) (Leaf 4)) (Leaf 5)
*Main> F.toList t
[1,2,3,4,5]
*Main> F.foldl (\a x -> a ++ [x]) [] t
[1,2,3,4,5]
*Main> F.foldr (\x a -> a ++ [x]) [] t
[5,4,3,2,1]
*Main> F.sum t
15
*Main> F.elem 3 t
True
*Main> F.elem 12 t
False