Data.Set.Unicode

Documentation

(∈) :: Ord α => α -> Set α -> Bool

(∈) = member

U+2208, ELEMENT OF

(∋) :: Ord α => Set α -> α -> Bool

(∋) = flip (∈)

U+220B, CONTAINS AS MEMBER

(∉) :: Ord α => α -> Set α -> Bool

(∉) = notMember

U+2209, NOT AN ELEMENT OF

(∌) :: Ord α => Set α -> α -> Bool

(∌) = flip (∉)

U+220C, DOES NOT CONTAIN AS MEMBER

(∅) :: Set α

(∅) = empty

U+2205, EMPTY SET

(∪) :: Ord α => Set α -> Set α -> Set α

(∪) = union

U+222A, UNION

(∖) :: Ord α => Set α -> Set α -> Set α

(∖) = difference

U+2216, SET MINUS

(∆) :: Ord α => Set α -> Set α -> Set α

Symmetric difference

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

U+2206, INCREMENT

(∩) :: Ord α => Set α -> Set α -> Set α

(∩) = intersection

U+2229, INTERSECTION

(⊆) :: Ord α => Set α -> Set α -> Bool

(⊆) = isSubsetOf

U+2286, SUBSET OF OR EQUAL TO

(⊇) :: Ord α => Set α -> Set α -> Bool

(⊇) = flip (⊆)

U+2287, SUPERSET OF OR EQUAL TO

(⊈) :: Ord α => Set α -> Set α -> Bool

a ⊈ b = (a ≢ b) ∧ (a ⊄ b)

U+2288, NEITHER A SUBSET OF NOR EQUAL TO

(⊉) :: Ord α => Set α -> Set α -> Bool

a ⊉ b = (a ≢ b) ∧ (a ⊅ b)

U+2289, NEITHER A SUPERSET OF NOR EQUAL TO

(⊂) :: Ord α => Set α -> Set α -> Bool

(⊂) = isProperSubsetOf

U+2282, SUBSET OF

(⊃) :: Ord α => Set α -> Set α -> Bool

(⊃) = flip (⊂)

U+2283, SUPERSET OF

(⊄) :: Ord α => Set α -> Set α -> Bool

a ⊄ b = not (a ⊂ b)

U+2284, NOT A SUBSET OF

(⊅) :: Ord α => Set α -> Set α -> Bool

a ⊅ b = not (a ⊃ b)

U+2285, NOT A SUPERSET OF