Data.Map.Unicode

Documentation

(∈) :: Ord k => k -> Map k α -> Bool

(∈) = member

U+2208, ELEMENT OF

(∋) :: Ord k => Map k α -> k -> Bool

(∋) = flip (∈)

U+220B, CONTAINS AS MEMBER

(∉) :: Ord k => k -> Map k α -> Bool

(∉) = notMember

U+2209, NOT AN ELEMENT OF

(∌) :: Ord k => Map k α -> k -> Bool

(∌) = flip (∉)

U+220C, DOES NOT CONTAIN AS MEMBER

(∅) :: Map k α

(∅) = empty

U+2205, EMPTY SET

(∪) :: Ord k => Map k α -> Map k α -> Map k α

(∪) = union

U+222A, UNION

(∖) :: Ord k => Map k α -> Map k β -> Map k α

(∖) = difference

U+2216, SET MINUS

(∆) :: Ord k => Map k α -> Map k α -> Map k α

Symmetric difference

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

U+2206, INCREMENT

(∩) :: Ord k => Map k α -> Map k β -> Map k α

(∩) = intersection

U+2229, INTERSECTION