Lambdabot.Monad

Documentation

data IRCRState

Global read-only state.

initRoState :: [DSum Config Identity] -> IO IRCRState

Default ro state

reportInitDone :: LB ()

waitForInit :: MonadLB m => m ()

waitForQuit :: MonadLB m => m ()

type Callback st = IrcMessage -> ModuleT st LB ()

type OutputFilter st = Nick -> [String] -> ModuleT st LB [String]

type Server st = IrcMessage -> ModuleT st LB ()

data IRCRWState

Global read/write state.

Constructors

IRCRWState

Fields

• ircServerMap :: Map String (DSum ModuleID ServerRef)
• ircPrivilegedUsers :: Set Nick
• ircIgnoredUsers :: Set Nick
• ircChannels :: Map ChanName String

  maps channel names to topics

• ircPersists :: Map String Bool

  lists servers to which to reconnect on failure (one-time or always)

• ircModulesByName :: Map String (Some ModuleInfo)
• ircModulesByID :: DMap ModuleID ModuleInfo
• ircCallbacks :: Map String (DMap ModuleID CallbackRef)
• ircOutputFilters :: [DSum ModuleID OutputFilterRef]

  Output filters, invoked from right to left

• ircCommands :: Map String (DSum ModuleID CommandRef)

Instances

MonadState IRCRWState LB

Defined in Lambdabot.Monad

Methods

get :: LB IRCRWState

put :: IRCRWState -> LB ()

state :: (IRCRWState -> (a, IRCRWState)) -> LB a

initRwState :: IRCRWState

Default rw state

data LB a

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

instances Monad, Functor, MonadIO, MonadState, MonadError

Instances

Monad LB

Defined in Lambdabot.Monad

Methods

(>>=) :: LB a -> (a -> LB b) -> LB b

(>>) :: LB a -> LB b -> LB b

return :: a -> LB a

Functor LB

Defined in Lambdabot.Monad

Methods

fmap :: (a -> b) -> LB a -> LB b

(<$) :: a -> LB b -> LB a

MonadFail LB

Defined in Lambdabot.Monad

Methods

fail :: String -> LB a

Applicative LB

Defined in Lambdabot.Monad

Methods

pure :: a -> LB a

(<*>) :: LB (a -> b) -> LB a -> LB b

liftA2 :: (a -> b -> c) -> LB a -> LB b -> LB c

(*>) :: LB a -> LB b -> LB b

(<*) :: LB a -> LB b -> LB a

MonadIO LB

Defined in Lambdabot.Monad

Methods

liftIO :: IO a -> LB a

MonadThrow LB

Defined in Lambdabot.Monad

Methods

throwM :: Exception e => e -> LB a

MonadCatch LB

Defined in Lambdabot.Monad

Methods

catch :: Exception e => LB a -> (e -> LB a) -> LB a

MonadMask LB

Defined in Lambdabot.Monad

Methods

mask :: ((forall a. LB a -> LB a) -> LB b) -> LB b

uninterruptibleMask :: ((forall a. LB a -> LB a) -> LB b) -> LB b

generalBracket :: LB a -> (a -> ExitCase b -> LB c) -> (a -> LB b) -> LB (b, c)

MonadRandom LB

Defined in Lambdabot.Bot

Methods

getRandomPrim :: Prim t -> LB t

getRandomWord8 :: LB Word8

getRandomWord16 :: LB Word16

getRandomWord32 :: LB Word32

getRandomWord64 :: LB Word64

getRandomDouble :: LB Double

getRandomNByteInteger :: Int -> LB Integer

MonadConfig LB

Defined in Lambdabot.Monad

Methods

getConfig :: Config a -> LB a

MonadLogging LB

Defined in Lambdabot.Monad

Methods

getCurrentLogger :: LB [String]

logM :: String -> Priority -> String -> LB ()

MonadLB LB

Defined in Lambdabot.Monad

Methods

lb :: LB a -> LB a

MonadBase IO LB

Defined in Lambdabot.Monad

Methods

liftBase :: IO α -> LB α

MonadBaseControl IO LB

Defined in Lambdabot.Monad

Associated Types

type StM LB a

Methods

liftBaseWith :: (RunInBase LB IO -> IO a) -> LB a

restoreM :: StM LB a -> LB a

MonadState IRCRWState LB

Defined in Lambdabot.Monad

Methods

get :: LB IRCRWState

put :: IRCRWState -> LB ()

state :: (IRCRWState -> (a, IRCRWState)) -> LB a

type StM LB a

Defined in Lambdabot.Monad

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

runLB :: LB a -> (IRCRState, IORef IRCRWState) -> IO a

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

Methods

lb :: LB a -> m a

Instances

MonadLB LB

Defined in Lambdabot.Monad

Methods

lb :: LB a -> LB a

MonadLB m => MonadLB (Cmd m)

Defined in Lambdabot.Monad

Methods

lb :: LB a -> Cmd m a

MonadLB m => MonadLB (ModuleT st m)

Defined in Lambdabot.Monad

Methods

lb :: LB a -> ModuleT st m a

registerModule :: String -> Module st -> st -> LB (ModuleInfo st)

registerCommands :: [Command (ModuleT st LB)] -> ModuleT st LB ()

registerCallback :: String -> Callback st -> ModuleT st LB ()

registerOutputFilter :: OutputFilter st -> ModuleT st LB ()

unregisterModule :: String -> LB ()

registerServer :: String -> Server st -> ModuleT st LB ()

unregisterServer :: String -> ModuleT mod LB ()

send :: IrcMessage -> LB ()

received :: IrcMessage -> LB ()

applyOutputFilters :: Nick -> String -> LB [String]

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

Interpret an expression in the context of a module.

inModuleWithID :: ModuleID st -> LB a -> ModuleT st LB a -> LB a

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

listModules :: LB [String]

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

Interpret a function in the context of all modules