Documentation
(¬) :: Bool -> Bool Source #
(¬) = not
U+00AC, NOT SIGN
(∧) :: Bool -> Bool -> Bool infixr 3 Source #
(∧) = (&&)
U+2227, LOGICAL AND
(∨) :: Bool -> Bool -> Bool infixr 2 Source #
(∨) = (||)
U+2228, LOGICAL OR
(≡) :: Eq α => α -> α -> Bool infix 4 Source #
(≡) = (==)
U+2261, IDENTICAL TO
(≢) :: Eq α => α -> α -> Bool infix 4 Source #
(≢) = (/=)
U+2262, NOT IDENTICAL TO
(≠) :: Eq α => α -> α -> Bool infix 4 Source #
(≠) = (/=)
U+2260, NOT EQUAL TO
(≤) :: Ord α => α -> α -> Bool infix 4 Source #
(≤) = (<=)
U+2264, LESS-THAN OR EQUAL TO
(≥) :: Ord α => α -> α -> Bool infix 4 Source #
(≥) = (>=)
U+2265, GREATER-THAN OR EQUAL TO
(≮) :: Ord α => α -> α -> Bool infix 4 Source #
(≮) = (>=)
U+226E, NOT LESS-THAN
(≯) :: Ord α => α -> α -> Bool infix 4 Source #
(≯) = (<=)
U+226F, NOT GREATER-THAN
(−) :: Num a => a -> a -> a infixl 6 Source #
a − b = a - b
U+2212, MINUS SIGN
π :: Floating α => α Source #
π = pi
U+03C0, GREEK SMALL LETTER PI
(÷) :: Fractional α => α -> α -> α infixl 7 Source #
(÷) = (/)
U+00F7, DIVISION SIGN
(×) :: Num α => α -> α -> α infixl 7 Source #
(×) = (*)
U+00D7, MULTIPLICATION SIGN
(⋅) :: Num α => α -> α -> α infixl 7 Source #
(⋅) = (*)
U+22C5, DOT OPERATOR
(∘) :: (β -> γ) -> (α -> β) -> α -> γ infixr 9 Source #
(∘) = (.)
U+2218, RING OPERATOR
(⧺) :: [α] -> [α] -> [α] infixr 5 Source #
(⧺) = (++)
U+29FA, DOUBLE PLUS
(∈) :: Eq α => α -> [α] -> Bool infix 4 Source #
(∈) = elem
U+2208, ELEMENT OF
(∉) :: Eq α => α -> [α] -> Bool infix 4 Source #
(∉) = notElem
U+2209, NOT AN ELEMENT OF
(‼) :: [α] -> Int -> α infixl 9 Source #
(‼) = (!!)
U+203C, DOUBLE EXCLAMATION MARK
(∣) :: Integral a => a -> a -> Bool infix 4 Source #
a ∣ b = mod a b == 0
U+2223, DIVIDES
(∤) :: Integral a => a -> a -> Bool infix 4 Source #
a ∤ b = not (a ∣ b)
U+2224, DOES NOT DIVIDE
type ℤ = Integer Source #
U+2124, DOUBLE-STRUCK CAPITAL Z
type ℚ = Ratio ℤ Source #
U+2124, DOUBLE-STRUCK CAPITAL Q
𝜀 :: [a] Source #
Epsilon, the empty word (or list)
(ε) = []
(U+3B5, GREEK SMALL LETTER EPSILON)