528ce84 · streamly · git.iko.soy

git.iko.soy/streamly

on master help sign in

Rename Fold.lfilter(M) to Fold.filter(M)

528ce84Adithya Kumar6 years ago

src/Streamly/Data/Fold.hs+2−2

compare with master

unifiedsplit

@@ -148,8 +148,8 @@ module Streamly.Data.Fold

148 -- , lmapM

149

150 -- -- ** Filtering

151− -- , lfilter

151+ -- , filter

152− -- , lfilterM

152+ -- , filterM

153 -- , ldeleteBy

154 -- , luniq

155

src/Streamly/Internal/Data/Fold.hs+3−3

@@ -111,8 +111,8 @@ module Streamly.Internal.Data.Fold

111 --, lsequence

112 , lmapM

113 -- ** Filtering

114− , lfilter

114+ , filter

115− , lfilterM

115+ , filterM

116 -- , ldeleteBy

117 -- , luniq

118 , lcatMaybes

@@ -403,7 +403,7 @@ mapM f = sequence . fmap f

403-- /Internal/

404{-# INLINE mapMaybe #-}

405mapMaybe :: (Monad m) => (a -> Maybe b) -> Fold m b r -> Fold m a r

406−mapMaybe f = lmap f . lfilter isJust . lmap fromJust

406+mapMaybe f = lmap f . filter isJust . lmap fromJust

407

408------------------------------------------------------------------------------

409-- Transformations on fold inputs

src/Streamly/Internal/Data/Fold/Types.hs+12−12

@@ -181,8 +181,8 @@ module Streamly.Internal.Data.Fold.Types

181 -- * Transformations

182 , lmap

183 , lmapM

184− , lfilter

184+ , filter

185− , lfilterM

185+ , filterM

186 , lcatMaybes

187 , takeLE

188 , takeByTime

@@ -230,7 +230,7 @@ import Fusion.Plugin.Types (Fuse(..))

230import Streamly.Internal.Data.Tuple.Strict (Tuple'(..), Tuple3'(..))

231import Streamly.Internal.Data.SVar (MonadAsync)

232

233−import Prelude hiding (concatMap)

233+import Prelude hiding (concatMap, filter)

234

235------------------------------------------------------------------------------

236-- Monadic left folds

@@ -671,22 +671,22 @@ lmapM f (Fold step begin done) = Fold step' begin done

671

672-- | Include only those elements that pass a predicate.

673--

674−-- >>> S.fold (lfilter (> 5) FL.sum) [1..10]

674+-- >>> S.fold (filter (> 5) FL.sum) [1..10]

675-- 40

676--

677-- @since 0.7.0

678−{-# INLINABLE lfilter #-}

678+{-# INLINABLE filter #-}

679−lfilter :: Monad m => (a -> Bool) -> Fold m a r -> Fold m a r

679+filter :: Monad m => (a -> Bool) -> Fold m a r -> Fold m a r

680−lfilter f (Fold step begin done) = Fold step' begin done

680+filter f (Fold step begin done) = Fold step' begin done

681 where

682 step' x a = if f a then step x a else return $ Partial x

683

684−-- | Like 'lfilter' but with a monadic predicate.

684+-- | Like 'filter' but with a monadic predicate.

685--

686-- @since 0.7.0

687−{-# INLINABLE lfilterM #-}

687+{-# INLINABLE filterM #-}

688−lfilterM :: Monad m => (a -> m Bool) -> Fold m a r -> Fold m a r

688+filterM :: Monad m => (a -> m Bool) -> Fold m a r -> Fold m a r

689−lfilterM f (Fold step begin done) = Fold step' begin done

689+filterM f (Fold step begin done) = Fold step' begin done

690 where

691 step' x a = do

692 use <- f a

@@ -696,7 +696,7 @@ lfilterM f (Fold step begin done) = Fold step' begin done

696-- 'Just' values.

697{-# INLINE lcatMaybes #-}

698lcatMaybes :: Monad m => Fold m a b -> Fold m (Maybe a) b

699−lcatMaybes = lfilter isJust . lmap fromJust

699+lcatMaybes = filter isJust . lmap fromJust

700

701------------------------------------------------------------------------------

702-- Parsing