Data.Set.Monad

Monadic operations for Set.

Documentation

mapM :: (Ord a, Ord b, Monad m) => (a -> m b) -> Set a -> m (Set b)

Map over a Set in a monad.

mapM_ :: (Ord a, Ord b, Monad m) => (a -> m b) -> Set a -> m ()

Map over a Set in a monad, discarding the result.

filterM :: (Ord a, Monad m) => (a -> m Bool) -> Set a -> m (Set a)

Filter elements of a Set in a monad.