Haskell elem function definition has t a pouvez-vous expliquer que

Question

Je regardais l'annotation de type de la fonction elem . Ça ressemblait à ça :

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

Je comprends que Eq a => est une contrainte de type. Ainsi, a doit soutenir == .

Mais je ne comprends pas t a où est-ce que cela t vient de ? Que fait-il ? Pourquoi est-il nécessaire ?

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

Answer 1

En t es un Foldable puisqu'elle est définie dans la classe de type Foldable classe donc la signature est :

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

elem fonctionne donc non seulement sur une liste (où t ~ [] ), mais sur tout Foldable Así que t ~ Maybe , t ~ NonEmpty , t ~ Tree etc. Son site L'implémentation par défaut est [src] :

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

Il vérifie donc si un élément du Foldable est égal à l'élément de la requête.

Cela signifie donc qu'il peut également fonctionner pour une Maybe a par exemple où Nothing peut être vu comme une collection vide, et Just x comme une collection avec un élément : x ou, par exemple, regardez si l'élément est l'une des valeurs d'un rosier. Tree a .