module Pandora.Pattern.Object.Setoid (Boolean (..), (&&), (||), not, bool, Setoid (..)) where
import Pandora.Core.Morphism (($))
infixr ||
infixr 3 &&
infix 4 ==, /=
data Boolean = True | False
(&&) :: Boolean -> Boolean -> Boolean
True && True = True
_ && _ = False
(||) :: Boolean -> Boolean -> Boolean
True || _ = True
_ || True = True
_ || _ = False
not :: Boolean -> Boolean
not True = False
not False = True
bool :: a -> a -> Boolean -> a
bool x _ False = x
bool _ y True = y
class Setoid a where
{-# MINIMAL (==) #-}
(==) :: a -> a -> Boolean
(/=) :: a -> a -> Boolean
(/=) x y = not $ x == y