- newtype BotPartT m a = BotPartT {
- unBotPartT :: ReaderT BotEnv m a
- class (Functor m, MonadPlus m, MonadIO m) => BotMonad m where
- askBotEnv :: m BotEnv
- askMessage :: m Message
- askOutChan :: m (Chan Message)
- localMessage :: (Message -> Message) -> m a -> m a
- sendMessage :: Message -> m ()
- logM :: LogLevel -> String -> m ()
- whoami :: m String
- data BotEnv = BotEnv {}
- runBotPartT :: BotPartT m a -> BotEnv -> m a
- mapBotPartT :: (m a -> n b) -> BotPartT m a -> BotPartT n b
- askSenderNickName :: BotMonad m => m (Maybe String)
Documentation
BotPartT | |
|
MonadTrans BotPartT | |
MonadRWS r w s m => MonadRWS r w s (BotPartT m) | |
MonadError e m => MonadError e (BotPartT m) | |
MonadReader r m => MonadReader r (BotPartT m) | |
MonadState s m => MonadState s (BotPartT m) | |
MonadWriter w m => MonadWriter w (BotPartT m) | |
Monad m => Monad (BotPartT m) | |
Functor m => Functor (BotPartT m) | |
MonadFix m => MonadFix (BotPartT m) | |
MonadPlus m => MonadPlus (BotPartT m) | |
Applicative m => Applicative (BotPartT m) | |
Alternative m => Alternative (BotPartT m) | |
MonadIO m => MonadIO (BotPartT m) | |
MonadCont m => MonadCont (BotPartT m) | |
(Functor m, MonadIO m, MonadPlus m) => BotMonad (BotPartT m) |
class (Functor m, MonadPlus m, MonadIO m) => BotMonad m whereSource
askMessage :: m MessageSource
askOutChan :: m (Chan Message)Source
localMessage :: (Message -> Message) -> m a -> m aSource
sendMessage :: Message -> m ()Source
runBotPartT :: BotPartT m a -> BotEnv -> m aSource
mapBotPartT :: (m a -> n b) -> BotPartT m a -> BotPartT n bSource
askSenderNickName :: BotMonad m => m (Maybe String)Source
get the nickname of the user who sent the message