base-unicode-symbols-0.2.4: Unicode alternatives for common functions and operators

Safe HaskellSafe
LanguageHaskell98

Prelude.Unicode

Synopsis

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 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 α => α -> α -> α 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

(⊥) :: α Source #

(⊥) = undefined

U+22A5, UP TACK

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