Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Lambdabot.Main
Synopsis
- lambdabotVersion :: Version
- data Config t
- data DSum (tag :: k -> Type) (f :: k -> Type) = !(tag a) :=> (f a)
- (==>) :: forall (f :: Type -> Type) tag a. Applicative f => tag a -> a -> DSum tag f
- lambdabotMain :: Modules -> [DSum Config Identity] -> IO ExitCode
- type Modules = [(String, Some Module)]
- modules :: [String] -> Q Exp
- module Lambdabot.Plugin.Core
- data Priority
Documentation
data DSum (tag :: k -> Type) (f :: k -> Type) #
Constructors
!(tag a) :=> (f a) |
Instances
(GRead tag, Has' Read tag f) => Read (DSum tag f) | |
(GShow tag, Has' Show tag f) => Show (DSum tag f) | |
(GEq tag, Has' Eq tag f) => Eq (DSum tag f) | |
(GCompare tag, Has' Eq tag f, Has' Ord tag f) => Ord (DSum tag f) | |
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 # |
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.
module Lambdabot.Plugin.Core
Instances
Data Priority | |
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 Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Priority Source # toConstr :: Priority -> Constr Source # dataTypeOf :: Priority -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Priority) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Priority) Source # gmapT :: (forall b. Data b => b -> b) -> Priority -> Priority Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Priority -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Priority -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Priority -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Priority -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Priority -> m Priority Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Priority -> m Priority Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Priority -> m Priority Source # | |
Bounded Priority | |
Enum Priority | |
Defined in System.Log Methods succ :: Priority -> Priority Source # pred :: Priority -> Priority Source # toEnum :: Int -> Priority Source # fromEnum :: Priority -> Int Source # enumFrom :: Priority -> [Priority] Source # enumFromThen :: Priority -> Priority -> [Priority] Source # enumFromTo :: Priority -> Priority -> [Priority] Source # enumFromThenTo :: Priority -> Priority -> Priority -> [Priority] Source # | |
Generic Priority | |
Read Priority | |
Show Priority | |
NFData Priority | |
Defined in System.Log | |
Eq Priority | |
Ord Priority | |
Defined in System.Log | |
type Rep Priority | |
Defined in System.Log type Rep Priority = D1 ('MetaData "Priority" "System.Log" "hslogger-1.3.1.0-FviSSUEF0qgLcxWW1gLUJE" '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)))) |