Safe Haskell	None
Language	Haskell2010

Network.Nakadi.Base

Synopsis

Documentation

newtype NakadiBaseT m a Source #

Constructors

NakadiBaseT
Fields runNakadiBaseT :: m a

Instances

MonadTrans NakadiBaseT Source #
Methods lift :: Monad m => m a -> NakadiBaseT m a #
MonadReader r m => MonadReader r (NakadiBaseT m) Source #
Methods ask :: NakadiBaseT m r # local :: (r -> r) -> NakadiBaseT m a -> NakadiBaseT m a # reader :: (r -> a) -> NakadiBaseT m a #
MonadState s m => MonadState s (NakadiBaseT m) Source #
Methods get :: NakadiBaseT m s # put :: s -> NakadiBaseT m () # state :: (s -> (a, s)) -> NakadiBaseT m a #
MonadBase b m => MonadBase b (NakadiBaseT m) Source #
Methods liftBase :: b α -> NakadiBaseT m α #
MonadWriter w m => MonadWriter w (NakadiBaseT m) Source #
Methods writer :: (a, w) -> NakadiBaseT m a # tell :: w -> NakadiBaseT m () # listen :: NakadiBaseT m a -> NakadiBaseT m (a, w) # pass :: NakadiBaseT m (a, w -> w) -> NakadiBaseT m a #
Monad m => Monad (NakadiBaseT m) Source #
Methods (>>=) :: NakadiBaseT m a -> (a -> NakadiBaseT m b) -> NakadiBaseT m b # (>>) :: NakadiBaseT m a -> NakadiBaseT m b -> NakadiBaseT m b # return :: a -> NakadiBaseT m a # fail :: String -> NakadiBaseT m a #
Functor m => Functor (NakadiBaseT m) Source #
Methods fmap :: (a -> b) -> NakadiBaseT m a -> NakadiBaseT m b # (<$) :: a -> NakadiBaseT m b -> NakadiBaseT m a #
Applicative m => Applicative (NakadiBaseT m) Source #
Methods pure :: a -> NakadiBaseT m a # (<>) :: NakadiBaseT m (a -> b) -> NakadiBaseT m a -> NakadiBaseT m b # liftA2 :: (a -> b -> c) -> NakadiBaseT m a -> NakadiBaseT m b -> NakadiBaseT m c # (>) :: NakadiBaseT m a -> NakadiBaseT m b -> NakadiBaseT m b # (<*) :: NakadiBaseT m a -> NakadiBaseT m b -> NakadiBaseT m a #
MonadIO m => MonadIO (NakadiBaseT m) Source #
Methods liftIO :: IO a -> NakadiBaseT m a #
MonadThrow m => MonadThrow (NakadiBaseT m) Source #
Methods throwM :: Exception e => e -> NakadiBaseT m a #
MonadCatch m => MonadCatch (NakadiBaseT m) Source #
Methods catch :: Exception e => NakadiBaseT m a -> (e -> NakadiBaseT m a) -> NakadiBaseT m a #
MonadMask m => MonadMask (NakadiBaseT m) Source #
Methods mask :: ((forall a. NakadiBaseT m a -> NakadiBaseT m a) -> NakadiBaseT m b) -> NakadiBaseT m b # uninterruptibleMask :: ((forall a. NakadiBaseT m a -> NakadiBaseT m a) -> NakadiBaseT m b) -> NakadiBaseT m b #
MonadLogger m => MonadLogger (NakadiBaseT m) Source #
Methods monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> NakadiBaseT m () #
Monad m => MonadNakadiBase (NakadiBaseT m) (NakadiBaseT m) Source #
Methods nakadiLiftBase :: NakadiBaseT m a -> NakadiBaseT m a Source #

class (Monad b, Monad m) => MonadNakadiBase b m where Source #

Methods

nakadiLiftBase :: b a -> m a Source #

nakadiLiftBase :: (MonadNakadiBase b n, MonadTrans t, m ~ t n) => b a -> m a Source #

Instances

MonadNakadiBase IO IO Source #
Methods nakadiLiftBase :: IO a -> IO a Source #
MonadNakadiBase b m => MonadNakadiBase b (ResourceT m) Source #
Methods nakadiLiftBase :: b a -> ResourceT m a Source #
MonadNakadiBase b m => MonadNakadiBase b (NoLoggingT m) Source #
Methods nakadiLiftBase :: b a -> NoLoggingT m a Source #
MonadNakadiBase b m => MonadNakadiBase b (LoggingT m) Source #
Methods nakadiLiftBase :: b a -> LoggingT m a Source #
MonadNakadiBase b m => MonadNakadiBase b (StateT s m) Source #
Methods nakadiLiftBase :: b a -> StateT s m a Source #
MonadNakadiBase b m => MonadNakadiBase b (StateT s m) Source #
Methods nakadiLiftBase :: b a -> StateT s m a Source #
(MonadNakadiBase b m, Monoid w) => MonadNakadiBase b (WriterT w m) Source #
Methods nakadiLiftBase :: b a -> WriterT w m a Source #
(MonadNakadiBase b m, Monoid w) => MonadNakadiBase b (WriterT w m) Source #
Methods nakadiLiftBase :: b a -> WriterT w m a Source #
MonadNakadiBase b m => MonadNakadiBase b (NakadiT b m) Source #	`MonadNakadiBase`
Methods nakadiLiftBase :: b a -> NakadiT b m a Source #
MonadNakadiBase b m => MonadNakadiBase b (ReaderT * r m) Source #
Methods nakadiLiftBase :: b a -> ReaderT * r m a Source #
Monad m => MonadNakadiBase (LoggingT (ReaderT * r m)) (LoggingT (ReaderT * r m)) Source #
Methods nakadiLiftBase :: LoggingT (ReaderT * r m) a -> LoggingT (ReaderT * r m) a Source #
Monad m => MonadNakadiBase (NakadiBaseT m) (NakadiBaseT m) Source #
Methods nakadiLiftBase :: NakadiBaseT m a -> NakadiBaseT m a Source #
Monad m => MonadNakadiBase (ReaderT * r m) (ReaderT * r m) Source #
Methods nakadiLiftBase :: ReaderT * r m a -> ReaderT * r m a Source #

runNakadiWithBase :: Config b -> NakadiT b (NakadiBaseT m) a -> m a Source #

This is a convenience function, which does runNakadiT and $sel:runNakadiBaseT:NakadiBaseT at once.