Prelude.Unicode

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

Copyright | 2009–2011 Roel van Dijk
License | BSD3 (see the file LICENSE)
Maintainer | Roel van Dijk <vandijk.roel@gmail.com>
Safe Haskell | Safe
Language | Haskell98

Prelude.Unicode

Description

Synopsis

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

π :: Floating α => α #

π = `pi`

U+03C0, GREEK SMALL LETTER PI

(÷) :: Fractional α => α -> α -> α infixl 7 #

(÷) = (`/`)

U+00F7, DIVISION 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

(⊥) :: α #

(⊥) = `undefined`

U+22A5, UP TACK

type ℤ = Integer #

U+2124, DOUBLE-STRUCK CAPITAL Z

type ℚ = Ratio ℤ #

U+2124, DOUBLE-STRUCK CAPITAL Q