Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
mapM_ :: (Vector v a, Applicative f) => (a -> f b) -> v a -> f ()fixed-vector Data.Vector.Fixed Apply monadic action to each element of vector and ignore result.
-
fixed-vector Data.Vector.Fixed.Cont Apply monadic action to each element of vector and ignore result.
mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()mixed-types-num Numeric.MixedTypes.PreludeHiding Map each element of a structure to a monadic action, evaluate these actions from left to right, and ignore the results. For a version that doesn't ignore the results see mapM. mapM_ is just like traverse_, but specialised to monadic actions.
mapM_ :: Monad m => (a -> m b) -> NonEmptyVector a -> m ()nonempty-vector Data.Vector.NonEmpty O(n) Apply the monadic action to all elements of a non-empty vector and ignore the results.
>>> mapM_ (const $ Just ()) (unsafeFromList [1..3]) Just ()
>>> mapM_ (const Nothing) (unsafeFromList [1..3]) Nothing
mapM_ :: (Foldable t, Monad m) => (a -> m ()) -> t a -> m ()LambdaHack Game.LambdaHack.Core.Prelude This has a more specific type (unit result) than normally, to catch errors.
mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()incipit-base Incipit.Foldable Map each element of a structure to a monadic action, evaluate these actions from left to right, and ignore the results. For a version that doesn't ignore the results see mapM. mapM_ is just like traverse_, but specialised to monadic actions.
mapM_ :: MonadParallel m => (a -> m b) -> [a] -> m ()monad-parallel Control.Monad.Parallel Like mapM_, but applying the function to the individual list items in parallel.
mapM_ :: (Generator c, Monad m) => (Elem c -> m b) -> c -> m ()reducers Data.Generator.Combinators Efficiently mapReduce a Generator using the Action monoid. A specialized version of its namesake from Data.Foldable and Control.Monad
mapReduceWith getAction
mapM_ :: Monad m => (a -> m b) -> Stream m a -> m ()streamly-core Streamly.Internal.Data.Stream Execute a monadic action for each element of the Stream
mapM_ :: Monad m => (a -> m b) -> StreamK m a -> m ()streamly-core Streamly.Internal.Data.StreamK Apply a monadic action to each element of the stream and discard the output of the action.