:: Eq a => [a] -> a -> Bool -package:numhask -package:Agda -package:data-ordlist -package:rebase -package:incipit-base package:vector

elem :: (Vector v a, Eq a) => a -> v a -> Bool
vector Data.Vector.Generic
O(n) Check if the vector contains an element.
notElem :: (Vector v a, Eq a) => a -> v a -> Bool
vector Data.Vector.Generic
O(n) Check if the vector does not contain an element (inverse of elem).