Data.List.Unicode

base-unicode-symbols-0.2.4.2: Unicode alternatives for common functions and operators

Safe Haskell | Safe-Inferred
Language | Haskell98

Data.List.Unicode

Synopsis

- (⧺) :: [α] -> [α] -> [α]
- (∈) :: Eq α => α -> [α] -> Bool
- (∋) :: Eq α => [α] -> α -> Bool
- (∉) :: Eq α => α -> [α] -> Bool
- (∌) :: Eq α => [α] -> α -> Bool
- (∪) :: Eq α => [α] -> [α] -> [α]
- (∖) :: Eq α => [α] -> [α] -> [α]
- (∆) :: Eq α => [α] -> [α] -> [α]
- (∩) :: Eq α => [α] -> [α] -> [α]
- (‼) :: [α] -> Int -> α
- 𝜀 :: [a]

# Documentation

(⧺) :: [α] -> [α] -> [α] infixr 5 #

(⧺) = (`++`)

U+29FA, DOUBLE PLUS

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

(∈) = `elem`

U+2208, ELEMENT OF

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

(∋) = `flip` (∈)

U+220B, CONTAINS AS MEMBER

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

(∉) = `notElem`

U+2209, NOT AN ELEMENT OF

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

(∌) = `flip` (∉)

U+220C, DOES NOT CONTAIN AS MEMBER

(∪) :: Eq α => [α] -> [α] -> [α] infixl 6 #

(∪) = `union`

U+222A, UNION

(∖) :: Eq α => [α] -> [α] -> [α] infixl 9 #

(∖) = (`\\`)

U+2216, SET MINUS

(∆) :: Eq α => [α] -> [α] -> [α] infixl 9 #

Symmetric difference

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

U+2206, INCREMENT

(∩) :: Eq α => [α] -> [α] -> [α] infixr 6 #

(∩) = `intersect`

U+2229, INTERSECTION

(‼) :: [α] -> Int -> α infixl 9 #

(‼) = (`!!`)

U+203C, DOUBLE EXCLAMATION MARK

𝜀 :: [a] #

Epsilon, the empty word (or list)

(ε) = []

(U+3B5, GREEK SMALL LETTER EPSILON)