Network.IRC.Bot.BotMonad

Documentation

newtype BotPartT m a

Constructors

BotPartT

Fields

unBotPartT :: ReaderT BotEnv m a

Instances

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)

Alternative m => Alternative (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)

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 where

Methods

askBotEnv :: m BotEnv

askMessage :: m Message

askOutChan :: m (Chan Message)

localMessage :: (Message -> Message) -> m a -> m a

sendMessage :: Message -> m ()

logM :: LogLevel -> ByteString -> m ()

whoami :: m ByteString

Instances

(Functor m, MonadIO m, MonadPlus m) => BotMonad (BotPartT m)

(BotMonad m, Monad m) => BotMonad (ParsecT s u m)

data BotEnv

Constructors

BotEnv

Fields

message :: Message

outChan :: Chan Message

logFn :: Logger

botName :: ByteString

cmdPrefix :: String

runBotPartT :: BotPartT m a -> BotEnv -> m a

mapBotPartT :: (m a -> n b) -> BotPartT m a -> BotPartT n b

maybeZero :: MonadPlus m => Maybe a -> m a