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