Safe Haskell	None
Language	Haskell2010

Lambdabot.Plugin.Telegram.Bot

Synopsis

type Model = TelegramState
data Action
- = SendEverything Msg
- | SendModule ModuleCmd
- | SendBack Msg
data ModuleCmd
- = 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
- = Let Msg
- | Undefine Msg
- | Run Msg
data CheckCmd = Check Msg
data DjinnCmd
- = Djinn Msg
- | DjinnAdd Msg
- | DjinnDel Msg
- | DjinnEnv Msg
- | DjinnNames Msg
- | DjinnClr Msg
- | DjinnVer Msg
data FreeCmd = Free Msg
data HaddockCmd = Index Msg
data HoogleCmd = Hoogle Msg
data InstancesCmd
- = Instances Msg
- | InstancesImporting Msg
data PlCmd
- = Pl Msg
- | PlResume Msg
data PointfulCmd
- = Pointful Msg
- | Pointy Msg
- | Repoint Msg
- | Unpointless Msg
- | Unpl Msg
- | Unpf Msg
data PrettyCmd = Pretty Msg
data SystemCmd
- = Listchans Msg
- | Listmodules Msg
- | Listservers Msg
- | List Msg
- | Echo Msg
- | Uptime Msg
data TypeCmd
- = Type Msg
- | Kind Msg
data UndoCmd
- = Undo Msg
- | Do Msg
data UnmtlCmd = Unmtl Msg
data VersionCmd = Tgversion Msg
data HelpCmd = Help Msg
data SourceCmd = Src Msg
telegramLambdaBot :: TelegramState -> BotApp Model Action
updateToAction :: Model -> Update -> Maybe Action
handlePluginCommand :: FromCommand cmd => cmd -> Model -> Eff Action Model
handleModuleAction :: ModuleCmd -> Model -> Eff Action Model
handleAction :: Action -> Model -> Eff Action Model
runTelegramBot :: Token -> TelegramState -> IO ()
helpCmd :: Text

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 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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.1-inplace" '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.

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