Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. data Sequenced a (m :: Type -> Type)

    lens Control.Lens.Fold

    Used internally by mapM_ and the like. The argument a of the result should not be used! See 4.16 Changelog entry for the explanation of "why not Apply f =>"?

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

    lens Control.Lens.Fold

    See sequenceAOf_ and traverse1Of_.

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

  3. sequenceAOf_ :: Functor f => Getting (Traversed a f) s (f a) -> s -> f ()

    lens Control.Lens.Fold

    Evaluate each action in observed by a Fold on a structure from left to right, ignoring the results.

    sequenceA_sequenceAOf_ folded
    
    >>> sequenceAOf_ both (putStrLn "hello",putStrLn "world")
    hello
    world
    
    sequenceAOf_ :: Functor f     => Getter s (f a)     -> s -> f ()
    sequenceAOf_ :: Applicative f => Fold s (f a)       -> s -> f ()
    sequenceAOf_ :: Functor f     => Lens' s (f a)      -> s -> f ()
    sequenceAOf_ :: Functor f     => Iso' s (f a)       -> s -> f ()
    sequenceAOf_ :: Applicative f => Traversal' s (f a) -> s -> f ()
    sequenceAOf_ :: Applicative f => Prism' s (f a)     -> s -> f ()
    

  4. sequenceOf_ :: Monad m => Getting (Sequenced a m) s (m a) -> s -> m ()

    lens Control.Lens.Fold

    Evaluate each monadic action referenced by a Fold on the structure from left to right, and ignore the results.

    >>> sequenceOf_ both (putStrLn "hello",putStrLn "world")
    hello
    world
    
    sequence_sequenceOf_ folded
    
    sequenceOf_ :: Monad m => Getter s (m a)     -> s -> m ()
    sequenceOf_ :: Monad m => Fold s (m a)       -> s -> m ()
    sequenceOf_ :: Monad m => Lens' s (m a)      -> s -> m ()
    sequenceOf_ :: Monad m => Iso' s (m a)       -> s -> m ()
    sequenceOf_ :: Monad m => Traversal' s (m a) -> s -> m ()
    sequenceOf_ :: Monad m => Prism' s (m a)     -> s -> m ()
    

  5. module Control.Lens.Internal.Deque

    This module is designed to be imported qualified.

  6. data Deque a

    lens Control.Lens.Internal.Deque

    A Banker's deque based on Chris Okasaki's "Purely Functional Data Structures"

  7. newtype Sequenced a (m :: Type -> Type)

    lens Control.Lens.Internal.Fold

    Used internally by mapM_ and the like. The argument a of the result should not be used! See 4.16 Changelog entry for the explanation of "why not Apply f =>"?

  8. Sequenced :: m a -> Sequenced a (m :: Type -> Type)

    lens Control.Lens.Internal.Fold

    No documentation available.

  9. getSequenced :: Sequenced a (m :: Type -> Type) -> m a

    lens Control.Lens.Internal.Fold

    No documentation available.

  10. bndrReq :: BndrVis

    lens Control.Lens.Internal.TH

    No documentation available.

Page 151 of many | Previous | Next