Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. mapMaybeM :: Monad m => (a -> m (Maybe b)) -> Fold m b r -> Fold m a r

   streamly-core	Streamly.Internal.Data.Fold

   >>> mapMaybeM f = Fold.lmapM f . Fold.catMaybes
   

2. scanMaybe :: forall (m :: Type -> Type) a b c . Monad m => Fold m a (Maybe b) -> Fold m b c -> Fold m a c

   streamly-core	Streamly.Internal.Data.Fold

   Use a Maybe returning fold as a filtering scan.

   >>> scanMaybe p f = Fold.postscan p (Fold.catMaybes f)
   

   Pre-release

3. toMaybe :: Maybe' a -> Maybe a

   streamly-core	Streamly.Internal.Data.Maybe.Strict

   Convert strict Maybe' to lazy Maybe

4. fromFoldMaybe :: forall (m :: Type -> Type) a b . Monad m => String -> Fold m a (Maybe b) -> Parser a m b

   streamly-core	Streamly.Internal.Data.Parser

   Convert a Maybe returning fold to an error returning parser. The first argument is the error message that the parser would return when the fold returns Nothing. Pre-release

5. catMaybes :: forall (m :: Type -> Type) a . Monad m => Stream m (Maybe a) -> Stream m a

   streamly-core	Streamly.Internal.Data.Stream

   In a stream of Maybes, discard Nothings and unwrap Justs.

   >>> catMaybes = Stream.mapMaybe id
   
   >>> catMaybes = fmap fromJust . Stream.filter isJust
   

   Pre-release

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

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

8. scanMaybe :: forall (m :: Type -> Type) a b . Monad m => Fold m a (Maybe b) -> Stream m a -> Stream m b

   streamly-core	Streamly.Internal.Data.Stream

   Use a filtering fold on a stream.

   >>> scanMaybe f = Stream.catMaybes . Stream.postscan f
   

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. writeMaybesWith :: forall (m :: Type -> Type) . MonadIO m => Int -> Handle -> Fold m (Maybe Word8) ()

    streamly-core	Streamly.Internal.FileSystem.Handle

    Write a stream of Maybe values. Keep buffering the just values in an array until a Nothing is encountered or the buffer size exceeds the specified limit, at that point flush the buffer to the handle. Pre-release

Page 257 of many | Previous | Next