Documentation
(⧺) :: [α] -> [α] -> [α] infixr 5 Source #
(⧺) = (++
)
U+29FA, DOUBLE PLUS
(∈) :: Eq α => α -> [α] -> Bool infix 4 Source #
(∈) = elem
U+2208, ELEMENT OF
(∋) :: Eq α => [α] -> α -> Bool infix 4 Source #
(∋) = flip
(∈)
U+220B, CONTAINS AS MEMBER
(∉) :: Eq α => α -> [α] -> Bool infix 4 Source #
(∉) = notElem
U+2209, NOT AN ELEMENT OF
(∌) :: Eq α => [α] -> α -> Bool infix 4 Source #
(∌) = flip
(∉)
U+220C, DOES NOT CONTAIN AS MEMBER
(∪) :: Eq α => [α] -> [α] -> [α] infixl 6 Source #
(∖) :: Eq α => [α] -> [α] -> [α] infixl 9 Source #
(∖) = (\\
)
U+2216, SET MINUS
(∆) :: Eq α => [α] -> [α] -> [α] infixl 9 Source #
Symmetric difference
a ∆ b = (a ∖ b) ∪ (b ∖ a)
U+2206, INCREMENT
(∩) :: Eq α => [α] -> [α] -> [α] infixr 6 Source #
(∩) = intersect
U+2229, INTERSECTION
(‼) :: [α] -> Int -> α infixl 9 Source #
(‼) = (!!
)
U+203C, DOUBLE EXCLAMATION MARK
𝜀 :: [a] Source #
Epsilon, the empty word (or list)
(ε) = []
(U+3B5, GREEK SMALL LETTER EPSILON)