{-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE UnicodeSyntax #-} module Data.Bool.Unicode ( (∧), (∨), (¬) ) where import Data.Bool ( Bool, (&&), (||), not ) ------------------------------------------------------------------------------- -- Fixities ------------------------------------------------------------------------------- infixr 2 ∨ infixr 3 ∧ ------------------------------------------------------------------------------- -- Symbols ------------------------------------------------------------------------------- {-| (¬) = 'not' U+00AC, NOT SIGN -} (¬) ∷ Bool → Bool (¬) = not {-| (∧) = ('&&') U+2227, LOGICAL AND -} (∧) ∷ Bool → Bool → Bool (∧) = (&&) {-| (∨) = ('||') U+2228, LOGICAL OR -} (∨) ∷ Bool → Bool → Bool (∨) = (||)