Modulelinear-base-0.8.1

Streaming.Linear.Internal.Consume

Synopsis

value all
value all_
value any
value any_
value drained
value effects
value elem
value elem_
value erase
value fold
value foldM
value foldM_
value fold_
value foldrM
value foldrT
value head
value head_
value last
value last_
value length
value length_
value mapM_
value maximum
value maximum_
value mconcat
value mconcat_
value minimum
value minimum_
value notElem
value notElem_
value print
value product
value product_
value stdoutLn
value stdoutLn'
value sum
value sum_
value toHandle
value toList
value toList_
value writeFile

Packagelinear-base-0.8.1
Exports41
LicenceMIT

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