:: m Bool -> m Bool -> m Bool package:utility-ht

andLazy :: Monad m => m Bool -> m Bool -> m Bool
utility-ht Control.Monad.HT
Lazy monadic conjunction. That is, when the first action returns False, then False is immediately returned, without running the second action.
orLazy :: Monad m => m Bool -> m Bool -> m Bool
utility-ht Control.Monad.HT
Lazy monadic disjunction. That is, when the first action returns True, then True is immediately returned, without running the second action.