Haskell elem 函数定义有 t 你能解释一下吗

Question

我正在查看函数 elem 的类型注释。它看起来像这样:

elem :: Eq a => a -> t a -> Bool 

我知道 Eq a => 是一个类型约束。所以a必须支持==。

但是我不明白t a，这个t是从哪里来的？它有什么作用？为什么有必要？

链接:https://hackage.haskell.org/package/base-4.16.0.0/docs/Prelude.html#v:elem

Answer 1

t 是一个 Foldable 类型类，因为它是在 Foldable class 中定义的，所以签名是:

elem :: (Foldable t, Eq a) => a -> t a -> Bool

elem 因此不仅适用于列表(其中 t ~ [])，而且适用于任何 Foldable，所以 t ~ Maybe、t ~ NonEmpty、t ~ Tree 等。它是 default implementation is [src] :

elem :: Eq a => a -> t a -> Bool
elem = any . (==)

因此它会检查 Foldable 的任何元素是否等于查询元素。

因此这意味着它也可以用于 Maybe a 例如其中 Nothing 可以被视为一个空集合，而 Just x 作为包含一个元素的集合:x，或者例如查看该元素是否是玫瑰树中的值之一 Tree a .