Streaming.Linear.Internal.Consume · linear-base-0.8.1

valueall :: Monad m => (a -> Bool) -> Stream (Of a) m r %1 -> m (Of Bool r)

#

valueall_

:: (Consumable r, Monad m)
=> a -> Bool
-> Stream (Of a) m r
-> m Bool

#

valueany :: Monad m => (a -> Bool) -> Stream (Of a) m r %1 -> m (Of Bool r)

#

valueany_

:: (Consumable r, Monad m)
=> a -> Bool
-> Stream (Of a) m r
-> m Bool

#

valuedrained

:: (Monad m, Monad (t m), Functor (t m), MonadTrans t)
=> t m (Stream (Of a) m r)
-> t m r

#

valueeffects :: Monad m => Stream (Of a) m r %1 -> m r

#

valueelem :: (Monad m, Eq a) => a -> Stream (Of a) m r %1 -> m (Of Bool r)

#

valueelem_

:: (Consumable r, Monad m, Eq a)
=> a
-> Stream (Of a) m r
-> m Bool

#

valueerase :: Monad m => Stream (Of a) m r %1 -> Stream Identity m r

#

valuefold

:: Monad m
=> x -> a -> x
-> x
-> x -> b
-> Stream (Of a) m r
-> m (Of b r)

#

valuefoldM

:: Monad m
=> x %1 -> a -> m x
-> m x
-> x %1 -> m b
-> Stream (Of a) m r
-> m (b, r)

#

valuefoldM_

:: (Monad m, Consumable r)
=> x %1 -> a -> m x
-> m x
-> x %1 -> m b
-> Stream (Of a) m r
-> m b

#

valuefold_

:: (Monad m, Consumable r)
=> x -> a -> x
-> x
-> x -> b
-> Stream (Of a) m r
-> m b

#

valuefoldrM :: Monad m => (a -> m r %1 -> m r) -> Stream (Of a) m r %1 -> m r

#

valuefoldrT

:: (Monad m, MonadTrans t, Monad (t m))
=> a -> t m r %1 -> t m r
-> Stream (Of a) m r
-> t m r

#

valuehead :: Monad m => Stream (Of a) m r %1 -> m (Of (Maybe a) r)

#

valuehead_ :: (Consumable r, Monad m) => Stream (Of a) m r %1 -> m (Maybe a)

#

valuelast :: Monad m => Stream (Of a) m r %1 -> m (Of (Maybe a) r)

#

valuelast_ :: (Consumable r, Monad m) => Stream (Of a) m r %1 -> m (Maybe a)

#

valuelength :: Monad m => Stream (Of a) m r %1 -> m (Of Int r)

#

valuelength_ :: (Consumable r, Monad m) => Stream (Of a) m r %1 -> m Int

#

valuemapM_

:: (Consumable b, Monad m)
=> a -> m b
-> Stream (Of a) m r
-> m r

#

valuemaximum :: (Monad m, Ord a) => Stream (Of a) m r %1 -> m (Of (Maybe a) r)

#

valuemaximum_

:: (Consumable r, Monad m, Ord a)
=> Stream (Of a) m r
-> m (Maybe a)

#

valuemconcat :: (Monad m, Monoid w) => Stream (Of w) m r %1 -> m (Of w r)

#

valuemconcat_ :: (Consumable r, Monad m, Monoid w) => Stream (Of w) m r %1 -> m w

#

valueminimum :: (Monad m, Ord a) => Stream (Of a) m r %1 -> m (Of (Maybe a) r)

#

valueminimum_

:: (Consumable r, Monad m, Ord a)
=> Stream (Of a) m r
-> m (Maybe a)

#

valuenotElem :: (Monad m, Eq a) => a -> Stream (Of a) m r %1 -> m (Of Bool r)

#

valuenotElem_

:: (Consumable r, Monad m, Eq a)
=> a
-> Stream (Of a) m r
-> m Bool

#

valueprint :: Show a => Stream (Of a) IO r %1 -> IO r

#

valueproduct :: (Monad m, Num a) => Stream (Of a) m r %1 -> m (Of a r)

#

valueproduct_ :: (Monad m, Num a) => Stream (Of a) m () %1 -> m a

#

valuestdoutLn :: Stream (Of Text) IO () %1 -> IO ()

#

valuestdoutLn' :: Stream (Of Text) IO r %1 -> IO r

#

valuesum :: (Monad m, Num a) => Stream (Of a) m r %1 -> m (Of a r)

#

valuesum_ :: (Monad m, Num a) => Stream (Of a) m () %1 -> m a

#

valuetoHandle :: Handle %1 -> Stream (Of Text) RIO r %1 -> RIO (r, Handle)

#

valuetoList :: Monad m => Stream (Of a) m r %1 -> m (Of [a] r)

#

valuetoList_ :: Monad m => Stream (Of a) m () %1 -> m [a]

#

valuewriteFile :: FilePath -> Stream (Of Text) RIO r %1 -> RIO r

#