Data.Foldable.Unicode

Documentation

(∈) :: (Foldable t, Eq α) => α -> t α -> Bool infix 4

(∈) = elem

U+2208, ELEMENT OF

(∋) :: (Foldable t, Eq α) => t α -> α -> Bool infix 4

(∋) = flip (∈)

U+220B, CONTAINS AS MEMBER

(∉) :: (Foldable t, Eq α) => α -> t α -> Bool infix 4

(∉) = notElem

U+2209, NOT AN ELEMENT OF

(∌) :: (Foldable t, Eq α) => t α -> α -> Bool infix 4

(∌) = flip (∉)

U+220C, DOES NOT CONTAIN AS MEMBER