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

Safe HaskellSafe
LanguageHaskell98

Data.Bool.Unicode

Synopsis

Documentation

(∧) :: Bool -> Bool -> Bool infixr 3 Source #

(∧) = (&&)

U+2227, LOGICAL AND

(∨) :: Bool -> Bool -> Bool infixr 2 Source #

(∨) = (||)

U+2228, LOGICAL OR

(¬) :: Bool -> Bool Source #

(¬) = not

U+00AC, NOT SIGN

(⊻) :: Bool -> Bool -> Bool infixr 3 Source #

a ⊻ b = (a ∨ b) ∧ not (a ∧ b)

U+22BB, XOR

(⊼) :: Bool -> Bool -> Bool infixr 3 Source #

a ⊼ b = not (a ∧ b)

U+22bc, NAND

(⊽) :: Bool -> Bool -> Bool infixr 3 Source #

a ⊽ b = not (a ∨ b)

U+22bd, NOR