Safe Haskell	None
Language	Haskell2010

Lambdabot.Config.Telegram

Synopsis

data TELEGRAMBOTNAME a = a ~ String => TELEGRAMBOTNAME
telegramBotName :: Config String
data TELEGRAMLAMBDABOTVERSION a = a ~ Version => TELEGRAMLAMBDABOTVERSION
telegramLambdabotVersion :: Config Version
data MUEVALBINARY a = a ~ String => MUEVALBINARY
muevalBinary :: Config String
defaultExts :: [String]
data LANGUAGEEXTS a = a ~ [String] => LANGUAGEEXTS
languageExts :: Config [String]
trustedPkgs :: [String]
data TRUSTEDPACKAGES a = a ~ [String] => TRUSTEDPACKAGES
trustedPackages :: Config [String]
data EVALPREFIXES a = a ~ [String] => EVALPREFIXES
evalPrefixes :: Config [String]
data GHCBINARY a = a ~ String => GHCBINARY
ghcBinary :: Config String
data GHCIBINARY a = a ~ String => GHCIBINARY
ghciBinary :: Config String

Documentation

data TELEGRAMBOTNAME a Source #

Telegram Bot Name.

Constructors

a ~ String => TELEGRAMBOTNAME

Instances

Instances details

GCompare TELEGRAMBOTNAME Source #
Instance details Defined in Lambdabot.Config.Telegram Methods gcompare :: forall (a :: k) (b :: k). TELEGRAMBOTNAME a -> TELEGRAMBOTNAME b -> GOrdering a b
GEq TELEGRAMBOTNAME Source #
Instance details Defined in Lambdabot.Config.Telegram Methods geq :: forall (a :: k) (b :: k). TELEGRAMBOTNAME a -> TELEGRAMBOTNAME b -> Maybe (a :~: b)

telegramBotName :: Config String Source #

data TELEGRAMLAMBDABOTVERSION a Source #

Telegram Lambdabot Version.

Constructors

a ~ Version => TELEGRAMLAMBDABOTVERSION

Instances

Instances details

GCompare TELEGRAMLAMBDABOTVERSION Source #
Instance details Defined in Lambdabot.Config.Telegram Methods gcompare :: forall (a :: k) (b :: k). TELEGRAMLAMBDABOTVERSION a -> TELEGRAMLAMBDABOTVERSION b -> GOrdering a b
GEq TELEGRAMLAMBDABOTVERSION Source #
Instance details Defined in Lambdabot.Config.Telegram Methods geq :: forall (a :: k) (b :: k). TELEGRAMLAMBDABOTVERSION a -> TELEGRAMLAMBDABOTVERSION b -> Maybe (a :~: b)

telegramLambdabotVersion :: Config Version Source #

data MUEVALBINARY a Source #

Path to mueval executable.

Constructors

a ~ String => MUEVALBINARY

Instances

Instances details

GCompare MUEVALBINARY Source #
Instance details Defined in Lambdabot.Config.Telegram Methods gcompare :: forall (a :: k) (b :: k). MUEVALBINARY a -> MUEVALBINARY b -> GOrdering a b
GEq MUEVALBINARY Source #
Instance details Defined in Lambdabot.Config.Telegram Methods geq :: forall (a :: k) (b :: k). MUEVALBINARY a -> MUEVALBINARY b -> Maybe (a :~: b)

muevalBinary :: Config String Source #

defaultExts :: [String] Source #

Extensions to enable for the interpreted expression (and probably also L.hs if it doesn't already have these set)

Some of these settings were propagated from 'lambdabot-haskell-plugins' because eval plugin internals were hidden.

data LANGUAGEEXTS a Source #

Language extensions used by Telegram Lambdabot: combination of predefined defaultExts and user-defined ones.

Constructors

a ~ [String] => LANGUAGEEXTS

Instances

Instances details

GCompare LANGUAGEEXTS Source #
Instance details Defined in Lambdabot.Config.Telegram Methods gcompare :: forall (a :: k) (b :: k). LANGUAGEEXTS a -> LANGUAGEEXTS b -> GOrdering a b
GEq LANGUAGEEXTS Source #
Instance details Defined in Lambdabot.Config.Telegram Methods geq :: forall (a :: k) (b :: k). LANGUAGEEXTS a -> LANGUAGEEXTS b -> Maybe (a :~: b)

languageExts :: Config [String] Source #

trustedPkgs :: [String] Source #

Predefined packages that are mandatory.

data TRUSTEDPACKAGES a Source #

Set of trusted packages. Combination of predefined trustedPkgs and user-defined ones.

Constructors

a ~ [String] => TRUSTEDPACKAGES

Instances

Instances details

GCompare TRUSTEDPACKAGES Source #
Instance details Defined in Lambdabot.Config.Telegram Methods gcompare :: forall (a :: k) (b :: k). TRUSTEDPACKAGES a -> TRUSTEDPACKAGES b -> GOrdering a b
GEq TRUSTEDPACKAGES Source #
Instance details Defined in Lambdabot.Config.Telegram Methods geq :: forall (a :: k) (b :: k). TRUSTEDPACKAGES a -> TRUSTEDPACKAGES b -> Maybe (a :~: b)

trustedPackages :: Config [String] Source #

data EVALPREFIXES a Source #

Command prefixes for fork of eval plugin.

Constructors

a ~ [String] => EVALPREFIXES

Instances

Instances details

GCompare EVALPREFIXES Source #
Instance details Defined in Lambdabot.Config.Telegram Methods gcompare :: forall (a :: k) (b :: k). EVALPREFIXES a -> EVALPREFIXES b -> GOrdering a b
GEq EVALPREFIXES Source #
Instance details Defined in Lambdabot.Config.Telegram Methods geq :: forall (a :: k) (b :: k). EVALPREFIXES a -> EVALPREFIXES b -> Maybe (a :~: b)

evalPrefixes :: Config [String] Source #

data GHCBINARY a Source #

Command to invoke ghc.

Constructors

a ~ String => GHCBINARY

Instances

Instances details

GCompare GHCBINARY Source #
Instance details Defined in Lambdabot.Config.Telegram Methods gcompare :: forall (a :: k) (b :: k). GHCBINARY a -> GHCBINARY b -> GOrdering a b
GEq GHCBINARY Source #
Instance details Defined in Lambdabot.Config.Telegram Methods geq :: forall (a :: k) (b :: k). GHCBINARY a -> GHCBINARY b -> Maybe (a :~: b)

ghcBinary :: Config String Source #

data GHCIBINARY a Source #

Command to invoke ghci.

Constructors

a ~ String => GHCIBINARY

Instances

Instances details

GCompare GHCIBINARY Source #
Instance details Defined in Lambdabot.Config.Telegram Methods gcompare :: forall (a :: k) (b :: k). GHCIBINARY a -> GHCIBINARY b -> GOrdering a b
GEq GHCIBINARY Source #
Instance details Defined in Lambdabot.Config.Telegram Methods geq :: forall (a :: k) (b :: k). GHCIBINARY a -> GHCIBINARY b -> Maybe (a :~: b)

ghciBinary :: Config String Source #