42 lines
1.1 KiB
Haskell
42 lines
1.1 KiB
Haskell
{- 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
|
|
|
|
{- Runs an action on values from a list until it succeeds. -}
|
|
untilTrue :: (Monad m) => [a] -> (a -> m Bool) -> m Bool
|
|
untilTrue = flip anyM
|
|
|
|
{- Runs a monadic action, passing its value to an observer
|
|
- before returning it. -}
|
|
observe :: (Monad m) => (a -> m b) -> m a -> m a
|
|
observe observer a = do
|
|
r <- a
|
|
_ <- observer r
|
|
return r
|
|
|
|
{- Like observe, but the observer is not passed the value. -}
|
|
observe_ :: (Monad m) => m b -> m a -> m a
|
|
observe_ observer = observe (const observer)
|