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