2011-10-16 04:31:25 +00:00
|
|
|
{- monadic stuff
|
|
|
|
|
-
|
|
|
|
|
- Copyright 2010-2011 Joey Hess <joey@kitenet.net>
|
|
|
|
|
-
|
|
|
|
|
- Licensed under the GNU GPL version 3 or higher.
|
|
|
|
|
-}
|
|
|
|
|
|
|
|
|
|
module Utility.Monad where
|
|
|
|
|
|
|
|
|
|
import Data.Maybe
|
|
|
|
|
import Control.Monad (liftM)
|
|
|
|
|
|
|
|
|
|
{- Return the first value from a list, if any, satisfying the given
|
|
|
|
|
- predicate -}
|
|
|
|
|
firstM :: (Monad m) => (a -> m Bool) -> [a] -> m (Maybe a)
|
|
|
|
|
firstM _ [] = return Nothing
|
|
|
|
|
firstM p (x:xs) = do
|
|
|
|
|
q <- p x
|
|
|
|
|
if q
|
|
|
|
|
then return (Just x)
|
|
|
|
|
else firstM p xs
|
|
|
|
|
|
|
|
|
|
{- Returns true if any value in the list satisfies the preducate,
|
|
|
|
|
- stopping once one is found. -}
|
|
|
|
|
anyM :: (Monad m) => (a -> m Bool) -> [a] -> m Bool
|
|
|
|
|
anyM p = liftM isJust . firstM p
|
2011-12-03 13:10:23 +00:00
|
|
|
|
|
|
|
|
{- Runs an action on values from a list until it succeeds. -}
|
|
|
|
|
untilTrue :: (Monad m) => [a] -> (a -> m Bool) -> m Bool
|
|
|
|
|
untilTrue = flip anyM
|
