Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- newtype Drinker t m a = Drinker {
- unDrinker :: forall r. t m -> (a -> t m -> m r) -> m r
- mapDrinker :: (forall x. m x -> m x) -> Drinker t m a -> Drinker t m a
- runDrinker :: Applicative m => Drinker t m a -> t m -> m (a, t m)
- 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.
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 (Drinker s m) Source # | |
Functor (Drinker s m) Source # | |
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 #
runDrinker :: Applicative m => Drinker t m a -> t m -> m (a, t m) 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 # | |