Papa.Base.Implement.Data.Bool

Documentation

if' :: Bool -> a -> a -> a

(?.) :: Category c => c a a -> Bool -> c a a

(.?) :: Category c => c a a -> Bool -> c a a

(?<>) :: Monoid a => a -> Bool -> a

(<>?) :: Monoid a => a -> Bool -> a

(?<*>) :: Applicative f => (a -> f a) -> Bool -> a -> f a

(<*>?) :: Applicative f => (a -> f a) -> Bool -> a -> f a

(<||>) :: Monad m => m Bool -> m Bool -> m Bool

(<&&>) :: Monad m => m Bool -> m Bool -> m Bool