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)