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

MaintainerRoel van Dijk <vandijk.roel@gmail.com>

Data.List.Unicode

Description

 

Synopsis

Documentation

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

(⧺) = (++)

U+29FA, DOUBLE PLUS

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

(∈) = elem

U+2208, ELEMENT OF

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

(∋) = flip (∈)

U+220B, CONTAINS AS MEMBER

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

(∉) = notElem

U+2209, NOT AN ELEMENT OF

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

(∌) = flip (∉)

U+220C, DOES NOT CONTAIN AS MEMBER

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

(∪) = union

U+222A, UNION

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

(∖) = (\\)

U+2216, SET MINUS

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

Symmetric difference

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

U+2206, INCREMENT

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

(∩) = intersect

U+2229, INTERSECTION