lambdabot-4.3: Lambdabot is a development tool and advanced IRC bot
Lambdabot.Config.Core
commandPrefixes :: Config [String]Source
disabledCommands :: Config [String]Source
evalPrefixes :: Config [String]Source
onStartupCmds :: Config [String]Source
outputDir :: Config FilePathSource
proxy :: Config ProxySource
trustedPackages :: Config [String]Source
uncaughtExceptionHandler :: Config (SomeException -> IO ())Source
replaceRootLogger :: Config BoolSource
lbRootLoggerPath :: Config [String]Source
consoleLogHandle :: Config HandleSource
consoleLogLevel :: Config PrioritySource
consoleLogFormat :: Config StringSource
aspellBinary :: Config StringSource
bfBinary :: Config StringSource
djinnBinary :: Config StringSource
ghcBinary :: Config StringSource
ghciBinary :: Config StringSource
hoogleBinary :: Config StringSource
muevalBinary :: Config StringSource
unlambdaBinary :: Config StringSource