module Antelude.Bool
( Bool (..)
, all
, and
, any
, not
, or
, otherwise
, xor
, (&&)
, (||)
) where
import safe Antelude.Internal.TypesClasses ( Bool (..), List )
import safe Prelude
( not
, otherwise
, (&&)
, (||)
)
import safe qualified Prelude ( and, or )
infixr 3 `and`
and :: Bool -> Bool -> Bool
and :: Bool -> Bool -> Bool
and Bool
a Bool
b = Bool
a Bool -> Bool -> Bool
&& Bool
b
infixr 2 `or`
or :: Bool -> Bool -> Bool
or :: Bool -> Bool -> Bool
or Bool
a Bool
b = Bool
a Bool -> Bool -> Bool
|| Bool
b
infixr 1 `xor`
xor :: Bool -> Bool -> Bool
xor :: Bool -> Bool -> Bool
xor Bool
a Bool
b = (Bool
a Bool -> Bool -> Bool
`and` Bool -> Bool
Prelude.not Bool
b) Bool -> Bool -> Bool
`or` (Bool -> Bool
Prelude.not Bool
a Bool -> Bool -> Bool
`and` Bool
b)
all :: List Bool -> Bool
all :: List Bool -> Bool
all = List Bool -> Bool
forall (t :: * -> *). Foldable t => t Bool -> Bool
Prelude.and
any :: List Bool -> Bool
any :: List Bool -> Bool
any = List Bool -> Bool
forall (t :: * -> *). Foldable t => t Bool -> Bool
Prelude.or