Safe Haskell	None
Language	Haskell98

Lambdabot.Main

Synopsis

lambdabotVersion :: Version
data Config t
data DSum (tag :: k -> Type) (f :: k -> Type) :: forall k. (k -> Type) -> (k -> Type) -> Type where
- (:=>) :: forall k (tag :: k -> Type) (f :: k -> Type) (a :: k). !(tag a) -> f a -> DSum tag f
(==>) :: 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
- = DEBUG
- | INFO
- | NOTICE
- | WARNING
- | ERROR
- | CRITICAL
- | ALERT
- | EMERGENCY

Documentation

lambdabotVersion :: Version Source #

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 #

A basic dependent sum type; the first component is a tag that specifies the type of the second; for example, think of a GADT such as:

data Tag a where
   AString :: Tag String
   AnInt   :: Tag Int

Then, we have the following valid expressions of type Applicative f => DSum Tag f:

AString ==> "hello!"
AnInt   ==> 42

And we can write functions that consume DSum Tag f values by matching, such as:

toString :: DSum Tag Identity -> String
toString (AString :=> Identity str) = str
toString (AnInt   :=> Identity int) = show int

By analogy to the (key => value) construction for dictionary entries in many dynamic languages, we use (key :=> value) as the constructor for dependent sums. The :=> and ==> operators have very low precedence and bind to the right, so if the Tag GADT is extended with an additional constructor Rec :: Tag (DSum Tag Identity), then Rec ==> AnInt ==> 3 + 4 is parsed as would be expected (Rec ==> (AnInt ==> (3 + 4))) and has type DSum Identity Tag. Its precedence is just above that of $, so foo bar $ AString ==> "eep" is equivalent to foo bar (AString ==> "eep").

Constructors

(:=>) :: forall k (tag :: k -> Type) (f :: k -> Type) (a :: k). !(tag a) -> f a -> DSum tag f infixr 1

Instances

EqTag 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 #
OrdTag 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 #
ReadTag 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] #
ShowTag 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 #

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

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 #

module Lambdabot.Plugin.Core

data Priority #

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 Methods minBound :: Priority # maxBound :: Priority #
Enum Priority
Instance details Defined in System.Log Methods succ :: Priority -> Priority # pred :: Priority -> Priority # toEnum :: Int -> Priority # fromEnum :: Priority -> Int # enumFrom :: Priority -> [Priority] # enumFromThen :: Priority -> Priority -> [Priority] # enumFromTo :: Priority -> Priority -> [Priority] # enumFromThenTo :: Priority -> Priority -> Priority -> [Priority] #
Eq Priority
Instance details Defined in System.Log Methods (==) :: Priority -> Priority -> Bool # (/=) :: Priority -> Priority -> Bool #
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 #