Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
Documentation
A Sink
is a stream consumer monad.
Instances
MonadWriter s m => MonadWriter s (Sink t m) Source # | |
MonadState s m => MonadState s (Sink t m) Source # | |
MonadReader r m => MonadReader r (Sink t m) Source # | |
Monad m => MonadSink t (Sink t m) Source # | |
MonadTrans (Sink t) Source # | |
Defined in Data.Drinkery.Class | |
Monad (Sink s m) Source # | |
Functor (Sink s m) Source # | |
Applicative (Sink s m) Source # | |
MonadIO m => MonadIO (Sink t m) Source # | |
Defined in Data.Drinkery.Class |
runSink :: Applicative m => Sink t m a -> t m -> m (a, t m) Source #
class Monad m => MonadSink t m | m -> t where Source #
Monads that drink
Instances
MonadSink t m => MonadSink t (MaybeT m) Source # | |
(Monoid x, MonadSink t m) => MonadSink t (WriterT x m) Source # | |
(Monoid x, MonadSink t m) => MonadSink t (WriterT x m) Source # | |
MonadSink t m => MonadSink t (StateT x m) Source # | |
MonadSink t m => MonadSink t (StateT x m) Source # | |
Monad m => MonadSink t (Sink t m) Source # | |
MonadSink t m => MonadSink t (ListT p m) Source # | |
MonadSink t m => MonadSink t (ContT x m) Source # | |
MonadSink t m => MonadSink t (ReaderT x m) Source # | |
MonadSink t m => MonadSink t (Producer p q m) Source # | |
(Monoid y, MonadSink t m) => MonadSink t (RWST x y z m) Source # | |
(Monoid y, MonadSink t m) => MonadSink t (RWST x y z m) Source # | |
class CloseRequest a where Source #
closeRequest :: a Source #
A value representing a close request
Instances
CloseRequest () Source # | |
Defined in Data.Drinkery.Class closeRequest :: () Source # | |
CloseRequest a => CloseRequest [a] Source # | |
Defined in Data.Drinkery.Class closeRequest :: [a] Source # |