Safe Haskell	Safe-Inferred
Language	Haskell2010

Network.IRC.Bot.BotMonad

Documentation

newtype BotPartT m a Source #

Constructors

BotPartT
Fields unBotPartT :: ReaderT BotEnv m a

Instances

Instances details

MonadTrans BotPartT Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods lift :: Monad m => m a -> BotPartT m a Source #
MonadRWS r w s m => MonadRWS r w s (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad
MonadError e m => MonadError e (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods throwError :: e -> BotPartT m a Source # catchError :: BotPartT m a -> (e -> BotPartT m a) -> BotPartT m a Source #
MonadReader r m => MonadReader r (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods ask :: BotPartT m r Source # local :: (r -> r) -> BotPartT m a -> BotPartT m a Source # reader :: (r -> a) -> BotPartT m a Source #
MonadState s m => MonadState s (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods get :: BotPartT m s Source # put :: s -> BotPartT m () Source # state :: (s -> (a, s)) -> BotPartT m a Source #
MonadWriter w m => MonadWriter w (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods writer :: (a, w) -> BotPartT m a Source # tell :: w -> BotPartT m () Source # listen :: BotPartT m a -> BotPartT m (a, w) Source # pass :: BotPartT m (a, w -> w) -> BotPartT m a Source #
MonadFix m => MonadFix (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods mfix :: (a -> BotPartT m a) -> BotPartT m a Source #
MonadIO m => MonadIO (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods liftIO :: IO a -> BotPartT m a Source #
Alternative m => Alternative (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods empty :: BotPartT m a Source # (<\|>) :: BotPartT m a -> BotPartT m a -> BotPartT m a Source # some :: BotPartT m a -> BotPartT m [a] Source # many :: BotPartT m a -> BotPartT m [a] Source #
Applicative m => Applicative (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods pure :: a -> BotPartT m a Source # (<>) :: BotPartT m (a -> b) -> BotPartT m a -> BotPartT m b Source # liftA2 :: (a -> b -> c) -> BotPartT m a -> BotPartT m b -> BotPartT m c Source # (>) :: BotPartT m a -> BotPartT m b -> BotPartT m b Source # (<*) :: BotPartT m a -> BotPartT m b -> BotPartT m a Source #
Functor m => Functor (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods fmap :: (a -> b) -> BotPartT m a -> BotPartT m b Source # (<$) :: a -> BotPartT m b -> BotPartT m a Source #
Monad m => Monad (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods (>>=) :: BotPartT m a -> (a -> BotPartT m b) -> BotPartT m b Source # (>>) :: BotPartT m a -> BotPartT m b -> BotPartT m b Source # return :: a -> BotPartT m a Source #
MonadPlus m => MonadPlus (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods mzero :: BotPartT m a Source # mplus :: BotPartT m a -> BotPartT m a -> BotPartT m a Source #
(Functor m, MonadIO m, MonadPlus m) => BotMonad (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods askBotEnv :: BotPartT m BotEnv Source # askMessage :: BotPartT m Message Source # askOutChan :: BotPartT m (Chan Message) Source # localMessage :: (Message -> Message) -> BotPartT m a -> BotPartT m a Source # sendMessage :: Message -> BotPartT m () Source # logM :: LogLevel -> ByteString -> BotPartT m () Source # whoami :: BotPartT m ByteString Source #
MonadCont m => MonadCont (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods callCC :: ((a -> BotPartT m b) -> BotPartT m a) -> BotPartT m a Source #

class (Functor m, MonadPlus m, MonadIO m) => BotMonad m where Source #

Methods

askBotEnv :: m BotEnv Source #

askMessage :: m Message Source #

askOutChan :: m (Chan Message) Source #

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

sendMessage :: Message -> m () Source #

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

whoami :: m ByteString Source #

Instances

Instances details

(Functor m, MonadIO m, MonadPlus m) => BotMonad (BotPartT m) Source #
Instance details Defined in Network.IRC.Bot.BotMonad Methods askBotEnv :: BotPartT m BotEnv Source # askMessage :: BotPartT m Message Source # askOutChan :: BotPartT m (Chan Message) Source # localMessage :: (Message -> Message) -> BotPartT m a -> BotPartT m a Source # sendMessage :: Message -> BotPartT m () Source # logM :: LogLevel -> ByteString -> BotPartT m () Source # whoami :: BotPartT m ByteString Source #
(BotMonad m, Monad m) => BotMonad (ParsecT s u m) Source #
Instance details Defined in Network.IRC.Bot.Parsec Methods askBotEnv :: ParsecT s u m BotEnv Source # askMessage :: ParsecT s u m Message Source # askOutChan :: ParsecT s u m (Chan Message) Source # localMessage :: (Message -> Message) -> ParsecT s u m a -> ParsecT s u m a Source # sendMessage :: Message -> ParsecT s u m () Source # logM :: LogLevel -> ByteString -> ParsecT s u m () Source # whoami :: ParsecT s u m ByteString Source #

data BotEnv Source #

Constructors

BotEnv
Fields message :: Message outChan :: Chan Message logFn :: Logger botName :: ByteString cmdPrefix :: String

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

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

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