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 #
(∖) :: 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)