lambdabot-core-5.2: Lambdabot core functionality

Safe HaskellNone
LanguageHaskell98

Lambdabot.Main

Synopsis

Documentation

data Config t Source #

Instances
GCompare Config Source # 
Instance details

Defined in Lambdabot.Config

Methods

gcompare :: Config a -> Config b -> GOrdering a b

GEq Config Source # 
Instance details

Defined in Lambdabot.Config

Methods

geq :: Config a -> Config b -> Maybe (a := b)

data DSum (tag :: k -> Type) (f :: k -> Type) :: forall k. (k -> Type) -> (k -> Type) -> Type where #

Constructors

(:=>) :: forall k (tag :: k -> Type) (f :: k -> Type) (a :: k). !(tag a) -> f a -> DSum tag f 
Instances
EqTag tag f => Eq (DSum tag f) 
Instance details

Defined in Data.Dependent.Sum

Methods

(==) :: DSum tag f -> DSum tag f -> Bool Source #

(/=) :: DSum tag f -> DSum tag f -> Bool Source #

OrdTag tag f => Ord (DSum tag f) 
Instance details

Defined in Data.Dependent.Sum

Methods

compare :: DSum tag f -> DSum tag f -> Ordering Source #

(<) :: DSum tag f -> DSum tag f -> Bool Source #

(<=) :: DSum tag f -> DSum tag f -> Bool Source #

(>) :: DSum tag f -> DSum tag f -> Bool Source #

(>=) :: DSum tag f -> DSum tag f -> Bool Source #

max :: DSum tag f -> DSum tag f -> DSum tag f Source #

min :: DSum tag f -> DSum tag f -> DSum tag f Source #

ReadTag tag f => Read (DSum tag f) 
Instance details

Defined in Data.Dependent.Sum

ShowTag tag f => Show (DSum tag f) 
Instance details

Defined in Data.Dependent.Sum

Methods

showsPrec :: Int -> DSum tag f -> ShowS Source #

show :: DSum tag f -> String Source #

showList :: [DSum tag f] -> ShowS Source #

(==>) :: Applicative f => tag a -> a -> DSum tag f #

lambdabotMain :: Modules -> [DSum Config Identity] -> IO ExitCode Source #

The Lambdabot entry point. Initialise plugins, connect, and run the bot in the LB monad

Also, handle any fatal exceptions (such as non-recoverable signals), (i.e. print a message and exit). Non-fatal exceptions should be dealt with in the mainLoop or further down.

type Modules = [(String, Some Module)] Source #

data Priority Source #

Priorities are used to define how important a log message is. Users can filter log messages based on priorities.

These have their roots on the traditional syslog system. The standard definitions are given below, but you are free to interpret them however you like. They are listed here in ascending importance order.

Constructors

DEBUG

Debug messages

INFO

Information

NOTICE

Normal runtime conditions

WARNING

General Warnings

ERROR

General Errors

CRITICAL

Severe situations

ALERT

Take immediate action

EMERGENCY

System is unusable

Instances
Bounded Priority 
Instance details

Defined in System.Log

Enum Priority 
Instance details

Defined in System.Log

Eq Priority 
Instance details

Defined in System.Log

Ord Priority 
Instance details

Defined in System.Log

Read Priority 
Instance details

Defined in System.Log

Show Priority 
Instance details

Defined in System.Log