Data.Map.Strict.Unicode

Documentation

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

(∈) = member

U+2208, ELEMENT OF

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

(∋) = flip (∈)

U+220B, CONTAINS AS MEMBER

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

(∉) = notMember

U+2209, NOT AN ELEMENT OF

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

(∌) = flip (∉)

U+220C, DOES NOT CONTAIN AS MEMBER

(∅) :: Map k α

(∅) = empty

U+2205, EMPTY SET

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

(∪) = union

U+222A, UNION

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

(∖) = difference

U+2216, SET MINUS

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

Symmetric difference

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

U+2206, INCREMENT

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

(∩) = intersection

U+2229, INTERSECTION