Lambdabot.Monad

Documentation

data IRCRState

Global read-only state.

initRoState :: [DSum Config] -> IO IRCRState

Default ro state

reportInitDone :: MonadIO m => IRCRState -> m ()

waitForInit :: MonadLB m => m ()

waitForQuit :: MonadLB m => m ()

type Callback = IrcMessage -> LB ()

data ModuleRef

Constructors

forall st . ModuleRef (Module st) (MVar st) String

data CommandRef

Constructors

forall st . CommandRef (Module st) (MVar st) String (Command (ModuleT st LB))

data IRCRWState

Global read/write state.

Constructors

IRCRWState

Fields

ircServerMap :: Map String (String, IrcMessage -> LB ())

ircPrivilegedUsers :: Set Nick

ircIgnoredUsers :: Set Nick

ircChannels :: Map ChanName String

maps channel names to topics

ircModules :: Map String ModuleRef

ircCallbacks :: Map String [(String, Callback)]

ircOutputFilters :: [(String, OutputFilter LB)]

Output filters, invoked from right to left

ircCommands :: Map String CommandRef

ircStayConnected :: !Bool

Instances

MonadState IRCRWState LB

initRwState :: IRCRWState

Default rw state

newtype LB a

The IRC Monad. The reader transformer holds information about the connection to the IRC server.

instances Monad, Functor, MonadIO, MonadState, MonadError

Constructors

LB

Fields

runLB :: ReaderT (IRCRState, IORef IRCRWState) IO a

Instances

Monad LB

Functor LB

Applicative LB

MonadIO LB

MonadException LB

MonadRandom LB

MonadConfig LB

MonadLogging LB

MonadLB LB

MonadBase IO LB

MonadBaseControl IO LB

MonadState IRCRWState LB

type StM LB a = StM (ReaderT (IRCRState, IORef IRCRWState) IO) a

class (MonadIO m, MonadBaseControl IO m, MonadConfig m, MonadLogging m, Applicative m) => MonadLB m where

Methods

lb :: LB a -> m a

Instances

MonadLB LB

MonadLB m => MonadLB (Cmd m)

MonadLB m => MonadLB (ModuleT st m)

evalLB :: LB a -> IRCRState -> IRCRWState -> IO a

run a computation in the LB monad

addServer :: String -> (IrcMessage -> LB ()) -> ModuleT mod LB ()

remServer :: String -> LB ()

send :: IrcMessage -> LB ()

received :: IrcMessage -> LB ()

getConfig :: MonadConfig m => Config a -> m a

withModule :: String -> LB a -> (forall st. Module st -> ModuleT st LB a) -> LB a

Interpret an expression in the context of a module. Arguments are which map to use (ircModules and ircCommands are the only sensible arguments here), the name of the module/command, action for the case that the lookup fails, action if the lookup succeeds.

withCommand :: String -> LB a -> (forall st. Module st -> Command (ModuleT st LB) -> ModuleT st LB a) -> LB a

withAllModules :: (forall st. Module st -> ModuleT st LB a) -> LB ()

Interpret a function in the context of all modules