| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Drinkery.Finite
Synopsis
- 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]