lambdabot-telegram-plugins-0.2.0: Lambdabot for Telegram
Safe HaskellNone
LanguageHaskell2010

Lambdabot.Plugin.Telegram.Bot

Synopsis

Documentation

type Model = TelegramState Source #

Telegram Model.

data Action Source #

Supported actions: * send everything obtained from user to lambdabot ("proxy" command). * send exact module command to lambdabot. * send response back to user.

Constructors

SendEverything Msg 
SendModule ModuleCmd 
SendBack Msg 

data ModuleCmd Source #

Supported modules.

Constructors

EvalModule EvalCmd 
CheckModule CheckCmd 
DjinnModule DjinnCmd 
FreeModule FreeCmd 
HaddockModule HaddockCmd 
HoogleModule HoogleCmd 
InstancesModule InstancesCmd 
PlModule PlCmd 
PointfulModule PointfulCmd 
PrettyModule PrettyCmd 
SystemModule SystemCmd 
TypeModule TypeCmd 
UndoModule UndoCmd 
UnmtlModule UnmtlCmd 
VersionModule VersionCmd 
HelpModule HelpCmd 
SourceModule SourceCmd 

data EvalCmd Source #

Supported commands from eval plugin.

Constructors

Let Msg 
Undefine Msg 
Run Msg 

Instances

Instances details
Generic EvalCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep EvalCmd :: Type -> Type #

Methods

from :: EvalCmd -> Rep EvalCmd x #

to :: Rep EvalCmd x -> EvalCmd #

FromCommand EvalCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: EvalCmd -> Msg Source #

getPrefix :: EvalCmd -> Text Source #

type Rep EvalCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep EvalCmd = D1 ('MetaData "EvalCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Let" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: (C1 ('MetaCons "Undefine" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "Run" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg))))

data CheckCmd Source #

Supported commands from check plugin.

Constructors

Check Msg 

Instances

Instances details
Generic CheckCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep CheckCmd :: Type -> Type #

Methods

from :: CheckCmd -> Rep CheckCmd x #

to :: Rep CheckCmd x -> CheckCmd #

FromCommand CheckCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: CheckCmd -> Msg Source #

getPrefix :: CheckCmd -> Text Source #

type Rep CheckCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep CheckCmd = D1 ('MetaData "CheckCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Check" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data DjinnCmd Source #

Supported commands from djinn plugin.

Constructors

Djinn Msg 
DjinnAdd Msg 
DjinnDel Msg 
DjinnEnv Msg 
DjinnNames Msg 
DjinnClr Msg 
DjinnVer Msg 

Instances

Instances details
Generic DjinnCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep DjinnCmd :: Type -> Type #

Methods

from :: DjinnCmd -> Rep DjinnCmd x #

to :: Rep DjinnCmd x -> DjinnCmd #

FromCommand DjinnCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: DjinnCmd -> Msg Source #

getPrefix :: DjinnCmd -> Text Source #

type Rep DjinnCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep DjinnCmd = D1 ('MetaData "DjinnCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) ((C1 ('MetaCons "Djinn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: (C1 ('MetaCons "DjinnAdd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "DjinnDel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))) :+: ((C1 ('MetaCons "DjinnEnv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "DjinnNames" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg))) :+: (C1 ('MetaCons "DjinnClr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "DjinnVer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))))

data FreeCmd Source #

Supported commands from free plugin.

Constructors

Free Msg 

Instances

Instances details
Generic FreeCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep FreeCmd :: Type -> Type #

Methods

from :: FreeCmd -> Rep FreeCmd x #

to :: Rep FreeCmd x -> FreeCmd #

FromCommand FreeCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: FreeCmd -> Msg Source #

getPrefix :: FreeCmd -> Text Source #

type Rep FreeCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep FreeCmd = D1 ('MetaData "FreeCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Free" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data HaddockCmd Source #

Supported commands from haddock plugin.

Constructors

Index Msg 

Instances

Instances details
Generic HaddockCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep HaddockCmd :: Type -> Type #

Methods

from :: HaddockCmd -> Rep HaddockCmd x #

to :: Rep HaddockCmd x -> HaddockCmd #

FromCommand HaddockCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: HaddockCmd -> Msg Source #

getPrefix :: HaddockCmd -> Text Source #

type Rep HaddockCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep HaddockCmd = D1 ('MetaData "HaddockCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Index" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data HoogleCmd Source #

Supported commands from hoogle plugin.

Constructors

Hoogle Msg 

Instances

Instances details
Generic HoogleCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep HoogleCmd :: Type -> Type #

Methods

from :: HoogleCmd -> Rep HoogleCmd x #

to :: Rep HoogleCmd x -> HoogleCmd #

FromCommand HoogleCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: HoogleCmd -> Msg Source #

getPrefix :: HoogleCmd -> Text Source #

type Rep HoogleCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep HoogleCmd = D1 ('MetaData "HoogleCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Hoogle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data InstancesCmd Source #

Supported commands from instances plugin.

Constructors

Instances Msg 
InstancesImporting Msg 

Instances

Instances details
Generic InstancesCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep InstancesCmd :: Type -> Type #

Methods

from :: InstancesCmd -> Rep InstancesCmd x #

to :: Rep InstancesCmd x -> InstancesCmd #

FromCommand InstancesCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: InstancesCmd -> Msg Source #

getPrefix :: InstancesCmd -> Text Source #

type Rep InstancesCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep InstancesCmd = D1 ('MetaData "InstancesCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Instances" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "InstancesImporting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data PlCmd Source #

Supported commands from pl plugin.

Constructors

Pl Msg 
PlResume Msg 

Instances

Instances details
Generic PlCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep PlCmd :: Type -> Type #

Methods

from :: PlCmd -> Rep PlCmd x #

to :: Rep PlCmd x -> PlCmd #

FromCommand PlCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: PlCmd -> Msg Source #

getPrefix :: PlCmd -> Text Source #

type Rep PlCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep PlCmd = D1 ('MetaData "PlCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Pl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "PlResume" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data PointfulCmd Source #

Supported commands from pointful plugin.

Constructors

Pointful Msg 
Pointy Msg 
Repoint Msg 
Unpointless Msg 
Unpl Msg 
Unpf Msg 

Instances

Instances details
Generic PointfulCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep PointfulCmd :: Type -> Type #

Methods

from :: PointfulCmd -> Rep PointfulCmd x #

to :: Rep PointfulCmd x -> PointfulCmd #

FromCommand PointfulCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: PointfulCmd -> Msg Source #

getPrefix :: PointfulCmd -> Text Source #

type Rep PointfulCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep PointfulCmd = D1 ('MetaData "PointfulCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) ((C1 ('MetaCons "Pointful" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: (C1 ('MetaCons "Pointy" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "Repoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))) :+: (C1 ('MetaCons "Unpointless" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: (C1 ('MetaCons "Unpl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "Unpf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))))

data PrettyCmd Source #

Supported commands from pretty plugin.

Constructors

Pretty Msg 

Instances

Instances details
Generic PrettyCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep PrettyCmd :: Type -> Type #

Methods

from :: PrettyCmd -> Rep PrettyCmd x #

to :: Rep PrettyCmd x -> PrettyCmd #

FromCommand PrettyCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: PrettyCmd -> Msg Source #

getPrefix :: PrettyCmd -> Text Source #

type Rep PrettyCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep PrettyCmd = D1 ('MetaData "PrettyCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Pretty" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data SystemCmd Source #

Supported commands from system plugin.

Constructors

Listchans Msg 
Listmodules Msg 
Listservers Msg 
List Msg 
Echo Msg 
Uptime Msg 

Instances

Instances details
Generic SystemCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep SystemCmd :: Type -> Type #

Methods

from :: SystemCmd -> Rep SystemCmd x #

to :: Rep SystemCmd x -> SystemCmd #

FromCommand SystemCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: SystemCmd -> Msg Source #

getPrefix :: SystemCmd -> Text Source #

type Rep SystemCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep SystemCmd = D1 ('MetaData "SystemCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) ((C1 ('MetaCons "Listchans" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: (C1 ('MetaCons "Listmodules" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "Listservers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))) :+: (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: (C1 ('MetaCons "Echo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "Uptime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))))

data TypeCmd Source #

Supported commands from type plugin.

Constructors

Type Msg 
Kind Msg 

Instances

Instances details
Generic TypeCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep TypeCmd :: Type -> Type #

Methods

from :: TypeCmd -> Rep TypeCmd x #

to :: Rep TypeCmd x -> TypeCmd #

FromCommand TypeCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: TypeCmd -> Msg Source #

getPrefix :: TypeCmd -> Text Source #

type Rep TypeCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep TypeCmd = D1 ('MetaData "TypeCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Type" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "Kind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data UndoCmd Source #

Supported commands from undo plugin.

Constructors

Undo Msg 
Do Msg 

Instances

Instances details
Generic UndoCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep UndoCmd :: Type -> Type #

Methods

from :: UndoCmd -> Rep UndoCmd x #

to :: Rep UndoCmd x -> UndoCmd #

FromCommand UndoCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: UndoCmd -> Msg Source #

getPrefix :: UndoCmd -> Text Source #

type Rep UndoCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep UndoCmd = D1 ('MetaData "UndoCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Undo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)) :+: C1 ('MetaCons "Do" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data UnmtlCmd Source #

Supported commands from unmtl plugin.

Constructors

Unmtl Msg 

Instances

Instances details
Generic UnmtlCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep UnmtlCmd :: Type -> Type #

Methods

from :: UnmtlCmd -> Rep UnmtlCmd x #

to :: Rep UnmtlCmd x -> UnmtlCmd #

FromCommand UnmtlCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: UnmtlCmd -> Msg Source #

getPrefix :: UnmtlCmd -> Text Source #

type Rep UnmtlCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep UnmtlCmd = D1 ('MetaData "UnmtlCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Unmtl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data VersionCmd Source #

Supported commands from version plugin.

Constructors

Tgversion Msg 

Instances

Instances details
Generic VersionCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep VersionCmd :: Type -> Type #

Methods

from :: VersionCmd -> Rep VersionCmd x #

to :: Rep VersionCmd x -> VersionCmd #

FromCommand VersionCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: VersionCmd -> Msg Source #

getPrefix :: VersionCmd -> Text Source #

type Rep VersionCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep VersionCmd = D1 ('MetaData "VersionCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Tgversion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data HelpCmd Source #

Supported commands from help plugin.

Constructors

Help Msg 

Instances

Instances details
Generic HelpCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep HelpCmd :: Type -> Type #

Methods

from :: HelpCmd -> Rep HelpCmd x #

to :: Rep HelpCmd x -> HelpCmd #

FromCommand HelpCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: HelpCmd -> Msg Source #

getPrefix :: HelpCmd -> Text Source #

type Rep HelpCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep HelpCmd = D1 ('MetaData "HelpCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Help" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

data SourceCmd Source #

Supported commands from source plugin.

Constructors

Src Msg 

Instances

Instances details
Generic SourceCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Associated Types

type Rep SourceCmd :: Type -> Type #

Methods

from :: SourceCmd -> Rep SourceCmd x #

to :: Rep SourceCmd x -> SourceCmd #

FromCommand SourceCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

Methods

getMessage :: SourceCmd -> Msg Source #

getPrefix :: SourceCmd -> Text Source #

type Rep SourceCmd Source # 
Instance details

Defined in Lambdabot.Plugin.Telegram.Bot

type Rep SourceCmd = D1 ('MetaData "SourceCmd" "Lambdabot.Plugin.Telegram.Bot" "lambdabot-telegram-plugins-0.2.0-DOQoMdoaCwG8JUSNlA4GH8" 'False) (C1 ('MetaCons "Src" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Msg)))

telegramLambdaBot :: TelegramState -> BotApp Model Action Source #

The bot.

updateToAction :: Model -> Update -> Maybe Action Source #

How to handle updates from Telegram.

handlePluginCommand :: FromCommand cmd => cmd -> Model -> Eff Action Model Source #

Extract Msg from incoming command and send to Lambdabot.

handleModuleAction :: ModuleCmd -> Model -> Eff Action Model Source #

How to handle module Action.

handleAction :: Action -> Model -> Eff Action Model Source #

How to handle Action.

runTelegramBot :: Token -> TelegramState -> IO () Source #

Run Telegram bot.

helpCmd :: Text Source #

Help command text.