Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

  1. mapM :: Monad m => (a -> m b) -> Stream m a -> Stream m b

    streamly-core Streamly.Internal.Data.Stream

    >>> mapM f = Stream.sequence . fmap f
    
    Apply a monadic function to each element of the stream and replace it with the output of the resulting action.
    >>> s = Stream.fromList ["a", "b", "c"]
    
    >>> Stream.fold Fold.drain $ Stream.mapM putStr s
    abc
    

  2. 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

  3. mapMaybe :: forall (m :: Type -> Type) a b . Monad m => (a -> Maybe b) -> Stream m a -> Stream m b

    streamly-core Streamly.Internal.Data.Stream

    Map a Maybe returning function to a stream, filter out the Nothing elements, and return a stream of values extracted from Just. Equivalent to:

    >>> mapMaybe f = Stream.catMaybes . fmap f
    

  4. mapMaybeM :: Monad m => (a -> m (Maybe b)) -> Stream m a -> Stream m b

    streamly-core Streamly.Internal.Data.Stream

    Like mapMaybe but maps a monadic function. Equivalent to:

    >>> mapMaybeM f = Stream.catMaybes . Stream.mapM f
    
    >>> mapM f = Stream.mapMaybeM (\x -> Just <$> f x)
    

  5. mapM :: Monad m => (a -> m b) -> StreamK m a -> StreamK m b

    streamly-core Streamly.Internal.Data.StreamK

    No documentation available.

  6. mapMSerial :: Monad m => (a -> m b) -> StreamK m a -> StreamK m b

    streamly-core Streamly.Internal.Data.StreamK

    No documentation available.

  7. mapMWith :: (m b -> StreamK m b -> StreamK m b) -> (a -> m b) -> StreamK m a -> StreamK m b

    streamly-core Streamly.Internal.Data.StreamK

    No documentation available.

  8. 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.

  9. mapMaybe :: forall a b (m :: Type -> Type) . (a -> Maybe b) -> StreamK m a -> StreamK m b

    streamly-core Streamly.Internal.Data.StreamK

    No documentation available.

  10. map2 :: forall (m :: Type -> Type) a b c . Functor m => (a -> b -> c) -> Unfold m a b -> Unfold m a c

    streamly-core Streamly.Internal.Data.Unfold

    >>> map2 f = Unfold.mapM2 (\a b -> pure (f a b))
    
    Note that the seed may mutate (e.g. if the seed is a Handle or IORef) as stream is generated from it, so we need to be careful when reusing the seed while the stream is being generated from it.

Page 263 of many | Previous | Next