Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- eof :: (Applicative m, Alternative f) => Tap m r (f a)
- runBarman :: (Monoid r, Applicative m, Alternative f) => Barman r (f s) m a -> Tap m r (f s)
- runSommelier :: (Monoid r, Applicative m, Alternative f) => Sommelier r m s -> Tap m r (f s)
- pour :: (Monoid r, Applicative f, Applicative m) => s -> Barman r (f s) m ()
- foldl' :: (Foldable t, MonadDrunk r (t a) m) => (b -> a -> b) -> b -> m b
- foldM :: (Foldable t, MonadDrunk r (t a) m) => (b -> a -> m b) -> b -> m b
- traverse_ :: (Foldable t, MonadDrunk r (t a) m) => (a -> m b) -> m ()
- sinkNull :: (Foldable t, MonadDrunk r (t a) m) => m ()
Documentation
eof :: (Applicative m, Alternative f) => Tap m r (f a) Source #
End of stream
runBarman :: (Monoid r, Applicative m, Alternative f) => Barman r (f s) m a -> Tap m r (f s) Source #
runSommelier :: (Monoid r, Applicative m, Alternative f) => Sommelier r m s -> Tap m r (f s) Source #
pour :: (Monoid r, Applicative f, Applicative m) => s -> Barman r (f s) m () Source #
MonadDrunk
actions
foldl' :: (Foldable t, MonadDrunk r (t a) m) => (b -> a -> b) -> b -> m b Source #
foldM :: (Foldable t, MonadDrunk r (t a) m) => (b -> a -> m b) -> b -> m b Source #
traverse_ :: (Foldable t, MonadDrunk r (t a) m) => (a -> m b) -> m () Source #
sinkNull :: (Foldable t, MonadDrunk r (t a) m) => m () Source #