Network.IRC.Bot.BotMonad

Documentation

newtype BotPartT m a

Constructors

BotPartT

Fields

• unBotPartT :: ReaderT BotEnv m a

Instances

MonadTrans BotPartT

Methods

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

MonadRWS r w s m => MonadRWS r w s (BotPartT m)

MonadError e m => MonadError e (BotPartT m)

Methods

throwError :: e -> BotPartT m a

catchError :: BotPartT m a -> (e -> BotPartT m a) -> BotPartT m a

MonadReader r m => MonadReader r (BotPartT m)

Methods

ask :: BotPartT m r

local :: (r -> r) -> BotPartT m a -> BotPartT m a

reader :: (r -> a) -> BotPartT m a

MonadState s m => MonadState s (BotPartT m)

Methods

get :: BotPartT m s

put :: s -> BotPartT m ()

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

MonadWriter w m => MonadWriter w (BotPartT m)

Methods

writer :: (a, w) -> BotPartT m a

tell :: w -> BotPartT m ()

listen :: BotPartT m a -> BotPartT m (a, w)

pass :: BotPartT m (a, w -> w) -> BotPartT m a

Monad m => Monad (BotPartT m)

Methods

(>>=) :: BotPartT m a -> (a -> BotPartT m b) -> BotPartT m b

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

return :: a -> BotPartT m a

fail :: String -> BotPartT m a

Functor m => Functor (BotPartT m)

Methods

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

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

MonadFix m => MonadFix (BotPartT m)

Methods

mfix :: (a -> BotPartT m a) -> BotPartT m a

Applicative m => Applicative (BotPartT m)

Methods

pure :: a -> BotPartT m a

(<*>) :: BotPartT m (a -> b) -> BotPartT m a -> BotPartT m b

(*>) :: BotPartT m a -> BotPartT m b -> BotPartT m b

(<*) :: BotPartT m a -> BotPartT m b -> BotPartT m a

Alternative m => Alternative (BotPartT m)

Methods

empty :: BotPartT m a

(<|>) :: BotPartT m a -> BotPartT m a -> BotPartT m a

some :: BotPartT m a -> BotPartT m [a]

many :: BotPartT m a -> BotPartT m [a]

MonadPlus m => MonadPlus (BotPartT m)

Methods

mzero :: BotPartT m a

mplus :: BotPartT m a -> BotPartT m a -> BotPartT m a

MonadIO m => MonadIO (BotPartT m)

Methods

liftIO :: IO a -> BotPartT m a

MonadCont m => MonadCont (BotPartT m)

Methods

callCC :: ((a -> BotPartT m b) -> BotPartT m a) -> BotPartT m a

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

Methods

askBotEnv :: BotPartT m BotEnv

askMessage :: BotPartT m Message

askOutChan :: BotPartT m (Chan Message)

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

sendMessage :: Message -> BotPartT m ()

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

whoami :: BotPartT m ByteString

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

Minimal complete definition

askBotEnv, askMessage, askOutChan, localMessage, sendMessage, logM, whoami

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)

Methods

askBotEnv :: BotPartT m BotEnv

askMessage :: BotPartT m Message

askOutChan :: BotPartT m (Chan Message)

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

sendMessage :: Message -> BotPartT m ()

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

whoami :: BotPartT m ByteString

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