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.

  1. sequenceOf :: LensLike (WrappedMonad m) s t (m b) b -> s -> m t

    lens Control.Lens.Traversal

    Sequence the (monadic) effects targeted by a Lens in a container from left to right. 

    >>> sequenceOf each ([1,2],[3,4],[5,6])
[(1,3,5),(1,3,6),(1,4,5),(1,4,6),(2,3,5),(2,3,6),(2,4,5),(2,4,6)]

    sequence ≡ sequenceOf traverse
sequenceOf l ≡ mapMOf l id
sequenceOf l ≡ unwrapMonad . l WrapMonad

    sequenceOf :: Monad m => Iso s t (m b) b       -> s -> m t
sequenceOf :: Monad m => Lens s t (m b) b      -> s -> m t
sequenceOf :: Monad m => Traversal s t (m b) b -> s -> m t

  2. sequenceConduits :: forall f (m :: Type -> Type) i o r . (Traversable f, Monad m) => f (ConduitT i o m r) -> ConduitT i o m (f r)

    conduit Data.Conduit

    Provide identical input to all of the Conduits and combine their outputs into a single stream. Implemented on top of ZipConduit, see that data type for more details. Since 1.0.17

  3. sequenceSinks :: forall f (m :: Type -> Type) i r . (Traversable f, Monad m) => f (ConduitT i Void m r) -> ConduitT i Void m (f r)

    conduit Data.Conduit

    Send incoming values to all of the Sink providing, and ultimately coalesce together all return values. Implemented on top of ZipSink, see that data type for more details. Since 1.0.13

  4. sequenceSources :: forall f (m :: Type -> Type) o . (Traversable f, Monad m) => f (ConduitT () o m ()) -> ConduitT () (f o) m ()

    conduit Data.Conduit

    Coalesce all values yielded by all of the Sources. Implemented on top of ZipSource and as such, it exhibits the same short-circuiting behavior as ZipSource. See that data type for more details. If you want to create a source that yields *all* values from multiple sources, use sequence_. Since 1.0.13

  5. sequenceConduits :: forall f (m :: Type -> Type) i o r . (Traversable f, Monad m) => f (ConduitT i o m r) -> ConduitT i o m (f r)

    conduit Data.Conduit.Internal

    Provide identical input to all of the Conduits and combine their outputs into a single stream. Implemented on top of ZipConduit, see that data type for more details. Since 1.0.17

  6. sequenceSinks :: forall f (m :: Type -> Type) i r . (Traversable f, Monad m) => f (ConduitT i Void m r) -> ConduitT i Void m (f r)

    conduit Data.Conduit.Internal

    Send incoming values to all of the Sink providing, and ultimately coalesce together all return values. Implemented on top of ZipSink, see that data type for more details. Since 1.0.13

  7. sequenceSources :: forall f (m :: Type -> Type) o . (Traversable f, Monad m) => f (ConduitT () o m ()) -> ConduitT () (f o) m ()

    conduit Data.Conduit.Internal

    Coalesce all values yielded by all of the Sources. Implemented on top of ZipSource and as such, it exhibits the same short-circuiting behavior as ZipSource. See that data type for more details. If you want to create a source that yields *all* values from multiple sources, use sequence_. Since 1.0.13

  8. sequenceA :: (Traversable t, Applicative f) => t (f a) -> f (t a)

    hedgehog Hedgehog.Internal.Prelude

    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

  9. sequence_ :: (Foldable t, Monad m) => t (m a) -> m ()

    hedgehog Hedgehog.Internal.Prelude

    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.

  10. sequenceA1_ :: (Foldable1 t, Apply f) => t (f a) -> f ()

    semigroupoids Data.Semigroup.Foldable

    No documentation available.

Page 24 of many | Previous | Next