Data.BffMono.Utility

The module provides counterparts of ..By functions in Data.List for monadic observations.

Documentation

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

nubByM :: Monad m => (a -> a -> m Bool) -> [a] -> m [a]

deleteByM :: Monad m => (a -> a -> m Bool) -> a -> [a] -> m [a]

deleteFirstByM :: Monad m => (a -> a -> m Bool) -> a -> [a] -> m [a]

unionByM :: Monad m => (a -> a -> m Bool) -> [a] -> [a] -> m [a]

intersectByM :: Monad m => (a -> a -> m Bool) -> [a] -> [a] -> m [a]

elemByM :: Monad m => (a -> a -> m Bool) -> a -> [a] -> m Bool

groupByM :: Monad m => (a -> a -> m Bool) -> [a] -> m [[a]]

sortByM :: Monad m => (a -> a -> m Ordering) -> [a] -> m [a]

insertByM :: Monad m => (a -> a -> m Ordering) -> a -> [a] -> m [a]

maximumByM :: Monad m => (a -> a -> m Ordering) -> [a] -> m a

minimumByM :: Monad m => (a -> a -> m Ordering) -> [a] -> m a

traceM :: Monad m => m String -> m a -> m a