{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
module Data.Bool.Unicode ( (∧), (∨), (¬), (⊻), (⊼), (⊽) ) where
import Data.Bool ( Bool, (&&), (||), not )
infixr 2 ∨
infixr 3 ⊽
infixr 3 ⊼
infixr 3 ⊻
infixr 3 ∧
(¬) ∷ Bool → Bool
¬ :: Bool -> Bool
(¬) = Bool -> Bool
not
{-# INLINE (¬) #-}
(∧) ∷ Bool → Bool → Bool
∧ :: Bool -> Bool -> Bool
(∧) = Bool -> Bool -> Bool
(&&)
{-# INLINE (∧) #-}
(∨) ∷ Bool → Bool → Bool
∨ :: Bool -> Bool -> Bool
(∨) = Bool -> Bool -> Bool
(||)
{-# INLINE (∨) #-}
(⊻) ∷ Bool → Bool → Bool
Bool
a ⊻ :: Bool -> Bool -> Bool
⊻ Bool
b = (Bool
a Bool -> Bool -> Bool
|| Bool
b) Bool -> Bool -> Bool
&& Bool -> Bool
not (Bool
a Bool -> Bool -> Bool
&& Bool
b)
{-# INLINE (⊻) #-}
(⊼) ∷ Bool → Bool → Bool
Bool
a ⊼ :: Bool -> Bool -> Bool
⊼ Bool
b = Bool -> Bool
not (Bool
a Bool -> Bool -> Bool
&& Bool
b)
{-# INLINE (⊼) #-}
(⊽) ∷ Bool → Bool → Bool
Bool
a ⊽ :: Bool -> Bool -> Bool
⊽ Bool
b = Bool -> Bool
not (Bool
a Bool -> Bool -> Bool
|| Bool
b)
{-# INLINE (⊽) #-}