Documentation

type Source r s = Tap r (Maybe s) #

type Converter p q r s m = Source r s (Sink (Source p q) m) #

type Pipe a b m = forall r. (Monoid r, Semigroup r) => Converter r a r b m #

scan :: Monad m => (b -> a -> b) -> b -> Pipe a b m #

reserve :: (Monoid r, MonadSink (Source r s) m) => (s -> Producer r (Maybe t) m ()) -> Producer r (Maybe t) m () #

map :: (Functor t, Monad m) => (a -> b) -> Distiller (Tap r (t a)) r (t b) m #

map' :: (Functor t, Monad m) => (a -> b) -> Distiller (Tap r (t a)) r (t b) m #

concatMap :: (Foldable f, Monad m) => (a -> f b) -> Pipe a b m #

filter :: Monad m => (a -> Bool) -> Pipe a a m #

mapAccum :: Monad m => (s -> a -> (s, b)) -> s -> Pipe a b m #

traverse :: Monad m => (a -> m b) -> Pipe a b m #

take :: Monad m => Int -> Pipe a a m #

drop :: Monad m => Int -> Pipe a a m #

takeWhile :: Monad m => (a -> Bool) -> Pipe a a m #

dropWhile :: Monad m => (a -> Bool) -> Pipe a a m #

drinkUp :: (Monoid r, Semigroup r, MonadSink (Tap r (Maybe s)) m) => m [s] #