module Data.Set.Unicode
( (∈), (∉)
, (∅)
, (∪), (∩)
, (⊆), (⊇), (⊈), (⊉)
, (⊂), (⊃), (⊄), (⊅)
) where
import Prelude.Unicode ( (≢), (∧) )
import Data.Set ( Set
, member, notMember
, empty
, union, intersection
, isSubsetOf, isProperSubsetOf
)
(∈) ∷ Ord α ⇒ α → Set α → Bool
(∈) = member
(∉) ∷ Ord α ⇒ α → Set α → Bool
(∉) = notMember
(∅) ∷ Set α
(∅) = empty
(∪) ∷ Ord α ⇒ Set α → Set α → Set α
(∪) = union
(∩) ∷ Ord α ⇒ Set α → Set α → Set α
(∩) = intersection
(⊆) ∷ Ord α ⇒ Set α → Set α → Bool
(⊆) = isSubsetOf
(⊇) ∷ Ord α ⇒ Set α → Set α → Bool
(⊇) = flip (⊆)
(⊈) ∷ Ord α ⇒ Set α → Set α → Bool
x ⊈ y = (x ≢ y) ∧ (x ⊄ y)
(⊉) ∷ Ord α ⇒ Set α → Set α → Bool
x ⊉ y = (x ≢ y) ∧ (x ⊅ y)
(⊂) ∷ Ord α ⇒ Set α → Set α → Bool
(⊂) = isProperSubsetOf
(⊃) ∷ Ord α ⇒ Set α → Set α → Bool
(⊃) = flip (⊂)
(⊄) ∷ Ord α ⇒ Set α → Set α → Bool
x ⊄ y = not (x ⊂ y)
(⊅) ∷ Ord α ⇒ Set α → Set α → Bool
x ⊅ y = not (x ⊃ y)