Moduleprotolude-0.3.5Haskell2010

Protolude.Bool

Synopsis

valuewhenM :: Monad m => m Bool -> m () -> m ()

valueunlessM :: Monad m => m Bool -> m () -> m ()

valueifM :: Monad m => m Bool -> m a -> m a -> m a

valueguardM :: MonadPlus m => m Bool -> m ()

valuebool :: a -> a -> Bool -> a

value(&&^) :: Monad m => m Bool -> m Bool -> m Bool

The && operator lifted to a monad. If the first argument evaluates to False the second argument will not be evaluated.

value(||^) :: Monad m => m Bool -> m Bool -> m Bool

The || operator lifted to a monad. If the first argument evaluates to True the second argument will not be evaluated.

value(<&&>) :: Applicative a => a Bool -> a Bool -> a Bool

&& lifted to an Applicative. Unlike &&^ the operator is not short-circuiting.

value(<||>) :: Applicative a => a Bool -> a Bool -> a Bool

|| lifted to an Applicative. Unlike ||^ the operator is not short-circuiting.