| Maintainer | Roel van Dijk <vandijk.roel@gmail.com> |
|---|---|
| Safe Haskell | Safe-Inferred |
Prelude.Unicode
Description
- (¬) :: Bool -> Bool
- (∧) :: Bool -> Bool -> Bool
- (∨) :: Bool -> Bool -> Bool
- (≡) :: Eq α => α -> α -> Bool
- (≢) :: Eq α => α -> α -> Bool
- (≠) :: Eq α => α -> α -> Bool
- (≤) :: Ord α => α -> α -> Bool
- (≥) :: Ord α => α -> α -> Bool
- (≮) :: Ord α => α -> α -> Bool
- (≯) :: Ord α => α -> α -> Bool
- π :: Floating α => α
- (÷) :: Fractional α => α -> α -> α
- (⋅) :: Num α => α -> α -> α
- (∘) :: (β -> γ) -> (α -> β) -> α -> γ
- (⧺) :: [α] -> [α] -> [α]
- (∈) :: Eq α => α -> [α] -> Bool
- (∉) :: Eq α => α -> [α] -> Bool
- (⊥) :: α
- type ℤ = Integer
- type ℚ = Ratio ℤ
Documentation
(¬) :: Bool -> Bool
(¬) = not
U+00AC, NOT SIGN
(∧) :: Bool -> Bool -> Bool
(∧) = (&&)
U+2227, LOGICAL AND
(∨) :: Bool -> Bool -> Bool
(∨) = (||)
U+2228, LOGICAL OR
(≡) :: Eq α => α -> α -> Bool
(≡) = (==)
U+2261, IDENTICAL TO
(≢) :: Eq α => α -> α -> Bool
(≢) = (/=)
U+2262, NOT IDENTICAL TO
(≠) :: Eq α => α -> α -> Bool
(≠) = (/=)
U+2260, NOT EQUAL TO
(≤) :: Ord α => α -> α -> Bool
(≤) = (<=)
U+2264, LESS-THAN OR EQUAL TO
(≥) :: Ord α => α -> α -> Bool
(≥) = (>=)
U+2265, GREATER-THAN OR EQUAL TO
(≮) :: Ord α => α -> α -> Bool
(≮) = (>=)
U+226E, NOT LESS-THAN
(≯) :: Ord α => α -> α -> Bool
(≯) = (<=)
U+226F, NOT GREATER-THAN
π :: Floating α => α
π = pi
U+03C0, GREEK SMALL LETTER PI
(÷) :: Fractional α => α -> α -> α
(÷) = (/)
U+00F7, DIVISION SIGN
(⋅) :: Num α => α -> α -> α
(⋅) = (*)
U+22C5, DOT OPERATOR
(∘) :: (β -> γ) -> (α -> β) -> α -> γ
(∘) = (.)
U+2218, RING OPERATOR
(⧺) :: [α] -> [α] -> [α]
(⧺) = (++)
U+29FA, DOUBLE PLUS
(∈) :: Eq α => α -> [α] -> Bool
(∈) = elem
U+2208, ELEMENT OF
(∉) :: Eq α => α -> [α] -> Bool
(∉) = notElem
U+2209, NOT AN ELEMENT OF
(⊥) :: α
(⊥) = undefined
U+22A5, UP TACK
type ℤ = Integer
U+2124, DOUBLE-STRUCK CAPITAL Z