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.

Exact lookup

1. sequenceF :: Functor f => Exceptional e (f a) -> f (Exceptional e a)

   explicit-exception	Control.Monad.Exception.Asynchronous.Lazy

   Is there a better name?

2. sequenceA :: Applicative f => Exceptional e (f a) -> f (Exceptional e a)

   explicit-exception	Control.Monad.Exception.Asynchronous.Strict

   No documentation available.

3. sequenceF :: Functor f => Exceptional e (f a) -> f (Exceptional e a)

   explicit-exception	Control.Monad.Exception.Asynchronous.Strict

   Is there a better name?

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

   rio	RIO.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
   

5. sequenceA_ :: (Foldable t, Applicative f) => t (f a) -> f ()

   rio	RIO.Prelude

   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"
   "!"
   

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

   rio	RIO.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.

7. sequence_ :: (Monad m, Vector v (m a)) => v (m a) -> m ()

   rio	RIO.Vector

   No documentation available.

8. sequence_ :: Monad m => Vector (m a) -> m ()

   rio	RIO.Vector.Boxed

   No documentation available.

9. sequence1Of_ :: Functor f => Getting (TraversedF a f) s (f a) -> s -> f ()

   diagrams-lib	Diagrams.Prelude

   See sequenceAOf_ and traverse1Of_.

   sequence1Of_ :: Apply f => Fold1 s (f a) -> s -> f ()
   

10. sequenceAOf :: LensLike f s t (f b) b -> s -> f t

    diagrams-lib	Diagrams.Prelude

    Evaluate each action in the structure from left to right, and collect the results.

    >>> sequenceAOf both ([1,2],[3,4])
    [(1,3),(1,4),(2,3),(2,4)]
    

    sequenceA ≡ sequenceAOf traverse ≡ traverse id
    sequenceAOf l ≡ traverseOf l id ≡ l id
    

    sequenceAOf :: Functor f => Iso s t (f b) b       -> s -> f t
    sequenceAOf :: Functor f => Lens s t (f b) b      -> s -> f t
    sequenceAOf :: Applicative f => Traversal s t (f b) b -> s -> f t
    

Page 30 of many | Previous | Next