Data.List.Unicode

Documentation

(⧺) :: [α] -> [α] -> [α]

(⧺) = (++)

U+29FA, DOUBLE PLUS

(∈) :: Eq α => α -> [α] -> Bool

(∈) = elem

U+2208, ELEMENT OF

(∋) :: Eq α => [α] -> α -> Bool

(∋) = flip (∈)

U+220B, CONTAINS AS MEMBER

(∉) :: Eq α => α -> [α] -> Bool

(∉) = notElem

U+2209, NOT AN ELEMENT OF

(∌) :: Eq α => [α] -> α -> Bool

(∌) = flip (∉)

U+220C, DOES NOT CONTAIN AS MEMBER

(∪) :: Eq α => [α] -> [α] -> [α]

(∪) = union

U+222A, UNION

(∖) :: Eq α => [α] -> [α] -> [α]

(∖) = (\\)

U+2216, SET MINUS

(∆) :: Eq α => [α] -> [α] -> [α]

Symmetric difference

a ∆ b = (a ∖ b) ∪ (b ∖ a)

U+2206, INCREMENT

(∩) :: Eq α => [α] -> [α] -> [α]

(∩) = intersect

U+2229, INTERSECTION