Data.Drinkery.Glass

Documentation

eof :: (Applicative m, Alternative f) => Tap m r (f a)

End of stream

runBarman :: (Monoid r, Applicative m, Alternative f) => Barman r (f s) m a -> Tap m r (f s)

Run a Barman action and terminate the stream with eof.

runSommelier :: (Monoid r, Applicative m, Alternative f) => Sommelier r m s -> Tap m r (f s)

Run Sommelier and terminate the stream with eof.

pour :: (Monoid r, Applicative f, Applicative m) => s -> Barman r (f s) m ()

MonadDrunk actions

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 ()