Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- newtype Drinker t m a = Drinker {
- runDrinker :: t m -> m (a, t m)
- mapDrinker :: (forall x. m x -> m x) -> Drinker t m a -> Drinker t m a
- class Monad m => MonadDrunk t m | m -> t where
- class CloseRequest a where
- class Closable t where
Documentation
newtype Drinker t m a Source #
A Drinker
is a stream consumer monad.
Drinker | |
|
MonadWriter s m => MonadWriter s (Drinker t m) Source # | |
MonadState s m => MonadState s (Drinker t m) Source # | |
MonadReader r m => MonadReader r (Drinker t m) Source # | |
Monad m => MonadDrunk t (Drinker t m) Source # | |
MonadTrans (Drinker t) Source # | |
Monad m => Monad (Drinker s m) Source # | |
Functor m => Functor (Drinker s m) Source # | |
(Functor m, Monad m) => Applicative (Drinker s m) Source # | |
MonadIO m => MonadIO (Drinker t m) Source # | |
mapDrinker :: (forall x. m x -> m x) -> Drinker t m a -> Drinker t m a Source #
class Monad m => MonadDrunk t m | m -> t where Source #
Monads that drink
MonadDrunk t m => MonadDrunk t (MaybeT m) Source # | |
(Monoid x, MonadDrunk t m) => MonadDrunk t (WriterT x m) Source # | |
(Monoid x, MonadDrunk t m) => MonadDrunk t (WriterT x m) Source # | |
MonadDrunk t m => MonadDrunk t (StateT x m) Source # | |
MonadDrunk t m => MonadDrunk t (StateT x m) Source # | |
Monad m => MonadDrunk t (Drinker t m) Source # | |
MonadDrunk t m => MonadDrunk t (Sommelier p m) Source # | |
MonadDrunk t m => MonadDrunk t (ContT * x m) Source # | |
MonadDrunk t m => MonadDrunk t (ReaderT * x m) Source # | |
MonadDrunk t m => MonadDrunk t (Barman p q m) Source # | |
(Monoid y, MonadDrunk t m) => MonadDrunk t (RWST x y z m) Source # | |
(Monoid y, MonadDrunk t m) => MonadDrunk t (RWST x y z m) Source # | |
class CloseRequest a where Source #
closeRequest :: a Source #
A value representing a close request
CloseRequest () Source # | |
CloseRequest a => CloseRequest [a] Source # | |