Documentation
(∈) :: (Foldable t, Eq α) => α -> t α -> Bool infix 4 Source #
(∈) = elem
U+2208, ELEMENT OF
(∋) :: (Foldable t, Eq α) => t α -> α -> Bool infix 4 Source #
(∋) = flip
(∈)
U+220B, CONTAINS AS MEMBER
(∉) :: (Foldable t, Eq α) => α -> t α -> Bool infix 4 Source #
(∉) = notElem
U+2209, NOT AN ELEMENT OF
(∌) :: (Foldable t, Eq α) => t α -> α -> Bool infix 4 Source #
(∌) = flip
(∉)
U+220C, DOES NOT CONTAIN AS MEMBER