Data.List.Unicode

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

Maintainer | Roel van Dijk <vandijk.roel@gmail.com>

Data.List.Unicode

Description

Synopsis

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

# Documentation

(⧺) :: [α] -> [α] -> [α]

(⧺) = (`++`)

U+29FA, DOUBLE PLUS

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

(∈) = `elem`

U+2208, ELEMENT OF

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

(∋) = `flip` (∈)

U+220B, CONTAINS AS MEMBER

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

(∉) = `notElem`

U+2209, NOT AN ELEMENT OF

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

(∌) = `flip` (∉)

U+220C, DOES NOT CONTAIN AS MEMBER

(∪) :: Eq α => [α] -> [α] -> [α]

(∪) = `union`

U+222A, UNION

(∖) :: Eq α => [α] -> [α] -> [α]

(∖) = (`\\`)

U+2216, SET MINUS

(∆) :: Eq α => [α] -> [α] -> [α]

Symmetric difference

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

U+2206, INCREMENT

(∩) :: Eq α => [α] -> [α] -> [α]

(∩) = `intersect`

U+2229, INTERSECTION