Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
sequence_ :: forall m a (n :: Nat) . (Monad m, Unbox (m a)) => Vector n (m a) -> m ()vector-sized Data.Vector.Unboxed.Sized Evaluate each action and discard the results.
-
polysemy Polysemy.Async Perform a sequence of effectful actions concurrently.
sequence_ :: forall m (n :: Nat) a . Monad m => ListN n (m a) -> m ()basement Basement.Sized.List Evaluate each monadic action in the list sequentially, and ignore the results.
sequence_ :: (Foldable t, Monad m) => t (m a) -> m ()ghc-internal GHC.Internal.Control.Monad Evaluate each monadic action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequence. sequence_ is just like sequenceA_, but specialised to monadic actions.
sequenceA_ :: (Foldable t, Applicative f) => t (f a) -> f ()ghc-internal GHC.Internal.Data.Foldable Evaluate each action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequenceA. sequenceA_ is just like sequence_, but generalised to Applicative actions.
Examples
Basic usage:>>> sequenceA_ [print "Hello", print "world", print "!"] "Hello" "world" "!"
sequence_ :: (Foldable t, Monad m) => t (m a) -> m ()ghc-internal GHC.Internal.Data.Foldable Evaluate each monadic action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequence. sequence_ is just like sequenceA_, but specialised to monadic actions.
sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a)ghc-internal GHC.Internal.Data.Traversable Evaluate each action in the structure from left to right, and collect the results. For a version that ignores the results see sequenceA_.
Examples
Basic usage: For the first two examples we show sequenceA fully evaluating a a structure and collecting the results.>>> sequenceA [Just 1, Just 2, Just 3] Just [1,2,3]
>>> sequenceA [Right 1, Right 2, Right 3] Right [1,2,3]
The next two example show Nothing and Just will short circuit the resulting structure if present in the input. For more context, check the Traversable instances for Either and Maybe.>>> sequenceA [Just 1, Just 2, Just 3, Nothing] Nothing
>>> sequenceA [Right 1, Right 2, Right 3, Left 4] Left 4
-
massiv Data.Massiv.Array Sequence actions in a source array.
-
massiv Data.Massiv.Array Sequence actions in a source array, while discarding the result.
sequenceA_ :: (Foldable t, Applicative f) => t (f a) -> f ()protolude Protolude Evaluate each action in the structure from left to right, and ignore the results. For a version that doesn't ignore the results see sequenceA. sequenceA_ is just like sequence_, but generalised to Applicative actions.
Examples
Basic usage:>>> sequenceA_ [print "Hello", print "world", print "!"] "Hello" "world" "!"