Network.Nakadi.Base

Documentation

newtype NakadiBaseT m a

Constructors

NakadiBaseT

Fields

• runNakadiBaseT :: m a

Instances

MonadTrans NakadiBaseT

Methods

lift :: Monad m => m a -> NakadiBaseT m a

MonadReader r m => MonadReader r (NakadiBaseT m)

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)

Methods

get :: NakadiBaseT m s

put :: s -> NakadiBaseT m ()

state :: (s -> (a, s)) -> NakadiBaseT m a

MonadBase b m => MonadBase b (NakadiBaseT m)

Methods

liftBase :: b α -> NakadiBaseT m α

MonadWriter w m => MonadWriter w (NakadiBaseT m)

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)

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)

Methods

fmap :: (a -> b) -> NakadiBaseT m a -> NakadiBaseT m b

(<$) :: a -> NakadiBaseT m b -> NakadiBaseT m a

Applicative m => Applicative (NakadiBaseT m)

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)

Methods

liftIO :: IO a -> NakadiBaseT m a

MonadThrow m => MonadThrow (NakadiBaseT m)

Methods

throwM :: Exception e => e -> NakadiBaseT m a

MonadCatch m => MonadCatch (NakadiBaseT m)

Methods

catch :: Exception e => NakadiBaseT m a -> (e -> NakadiBaseT m a) -> NakadiBaseT m a

MonadMask m => MonadMask (NakadiBaseT m)

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)

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> NakadiBaseT m ()

Monad m => MonadNakadiBase (NakadiBaseT m) (NakadiBaseT m)

Methods

nakadiLiftBase :: NakadiBaseT m a -> NakadiBaseT m a

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

Methods

nakadiLiftBase :: b a -> m a

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

Instances

MonadNakadiBase IO IO

Methods

nakadiLiftBase :: IO a -> IO a

MonadNakadiBase b m => MonadNakadiBase b (ResourceT m)

Methods

nakadiLiftBase :: b a -> ResourceT m a

MonadNakadiBase b m => MonadNakadiBase b (NoLoggingT m)

Methods

nakadiLiftBase :: b a -> NoLoggingT m a

MonadNakadiBase b m => MonadNakadiBase b (LoggingT m)

Methods

nakadiLiftBase :: b a -> LoggingT m a

MonadNakadiBase b m => MonadNakadiBase b (StateT s m)

Methods

nakadiLiftBase :: b a -> StateT s m a

MonadNakadiBase b m => MonadNakadiBase b (StateT s m)

Methods

nakadiLiftBase :: b a -> StateT s m a

(MonadNakadiBase b m, Monoid w) => MonadNakadiBase b (WriterT w m)

Methods

nakadiLiftBase :: b a -> WriterT w m a

(MonadNakadiBase b m, Monoid w) => MonadNakadiBase b (WriterT w m)

Methods

nakadiLiftBase :: b a -> WriterT w m a

MonadNakadiBase b m => MonadNakadiBase b (NakadiT b m)

MonadNakadiBase

Methods

nakadiLiftBase :: b a -> NakadiT b m a

MonadNakadiBase b m => MonadNakadiBase b (ReaderT * r m)

Methods

nakadiLiftBase :: b a -> ReaderT * r m a

Monad m => MonadNakadiBase (LoggingT (ReaderT * r m)) (LoggingT (ReaderT * r m))

Methods

nakadiLiftBase :: LoggingT (ReaderT * r m) a -> LoggingT (ReaderT * r m) a

Monad m => MonadNakadiBase (NakadiBaseT m) (NakadiBaseT m)

Methods

nakadiLiftBase :: NakadiBaseT m a -> NakadiBaseT m a

Monad m => MonadNakadiBase (ReaderT * r m) (ReaderT * r m)

Methods

nakadiLiftBase :: ReaderT * r m a -> ReaderT * r m a

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

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