lambdabot-core-5.3.0.1: Lambdabot core functionality
Safe HaskellNone
LanguageHaskell98

Lambdabot.Main

Synopsis

Documentation

data Config t Source #

Instances

Instances details
GEq Config Source # 
Instance details

Defined in Lambdabot.Config

Methods

geq :: forall (a :: k) (b :: k). Config a -> Config b -> Maybe (a :~: b) #

GCompare Config Source # 
Instance details

Defined in Lambdabot.Config

Methods

gcompare :: forall (a :: k) (b :: k). Config a -> Config b -> GOrdering a b #

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

Constructors

!(tag a) :=> (f a) 

Instances

Instances details
(GEq tag, Has' Eq tag f) => Eq (DSum tag f) 
Instance details

Defined in Data.Dependent.Sum

Methods

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

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

(GCompare tag, Has' Eq tag f, Has' Ord tag f) => Ord (DSum tag f) 
Instance details

Defined in Data.Dependent.Sum

Methods

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

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

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

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

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

max :: DSum tag f -> DSum tag f -> DSum tag f

min :: DSum tag f -> DSum tag f -> DSum tag f

(GRead tag, Has' Read tag f) => Read (DSum tag f) 
Instance details

Defined in Data.Dependent.Sum

Methods

readsPrec :: Int -> ReadS (DSum tag f)

readList :: ReadS [DSum tag f]

readPrec :: ReadPrec (DSum tag f)

readListPrec :: ReadPrec [DSum tag f]

(GShow tag, Has' Show tag f) => Show (DSum tag f) 
Instance details

Defined in Data.Dependent.Sum

Methods

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

show :: DSum tag f -> String

showList :: [DSum tag f] -> ShowS

(==>) :: forall (f :: Type -> Type) tag a. 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 #

modules :: [String] -> Q Exp Source #

data Priority #

Instances

Instances details
Bounded Priority 
Instance details

Defined in System.Log

Enum Priority 
Instance details

Defined in System.Log

Eq Priority 
Instance details

Defined in System.Log

Methods

(==) :: Priority -> Priority -> Bool

(/=) :: Priority -> Priority -> Bool

Data Priority 
Instance details

Defined in System.Log

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Priority -> c Priority

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Priority

toConstr :: Priority -> Constr

dataTypeOf :: Priority -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Priority)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Priority)

gmapT :: (forall b. Data b => b -> b) -> Priority -> Priority

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Priority -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Priority -> r

gmapQ :: (forall d. Data d => d -> u) -> Priority -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Priority -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Priority -> m Priority

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Priority -> m Priority

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Priority -> m Priority

Ord Priority 
Instance details

Defined in System.Log

Methods

compare :: Priority -> Priority -> Ordering

(<) :: Priority -> Priority -> Bool

(<=) :: Priority -> Priority -> Bool

(>) :: Priority -> Priority -> Bool

(>=) :: Priority -> Priority -> Bool

max :: Priority -> Priority -> Priority

min :: Priority -> Priority -> Priority

Read Priority 
Instance details

Defined in System.Log

Methods

readsPrec :: Int -> ReadS Priority

readList :: ReadS [Priority]

readPrec :: ReadPrec Priority

readListPrec :: ReadPrec [Priority]

Show Priority 
Instance details

Defined in System.Log

Methods

showsPrec :: Int -> Priority -> ShowS

show :: Priority -> String

showList :: [Priority] -> ShowS

Generic Priority 
Instance details

Defined in System.Log

Associated Types

type Rep Priority :: Type -> Type

Methods

from :: Priority -> Rep Priority x

to :: Rep Priority x -> Priority

NFData Priority 
Instance details

Defined in System.Log

Methods

rnf :: Priority -> ()

type Rep Priority 
Instance details

Defined in System.Log

type Rep Priority = D1 ('MetaData "Priority" "System.Log" "hslogger-1.3.1.0-8ACxtvksfOoB17dDZnIwpT" 'False) (((C1 ('MetaCons "DEBUG" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "INFO" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NOTICE" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "WARNING" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "ERROR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CRITICAL" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ALERT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EMERGENCY" 'PrefixI 'False) (U1 :: Type -> Type))))