Prelude.Unicode

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

(≤) :: 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

(∘) :: (b -> c) -> (a -> b) -> a -> c

(∘) = (.)

U+2218, RING OPERATOR

(∈) :: Eq α => α -> [α] -> Bool

(∈) = elem

U+2208, ELEMENT OF

(∉) :: Eq α => α -> [α] -> Bool

x ∉ y = not (x ∈ y)

U+2209, NOT AN ELEMENT OF

(⊥) :: α

(⊥) = undefined

U+22A5, UP TACK