Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
a ~ String => TELEGRAMBOTNAME |
Instances
GCompare TELEGRAMBOTNAME Source # | |
Defined in Lambdabot.Config.Telegram gcompare :: forall (a :: k) (b :: k). TELEGRAMBOTNAME a -> TELEGRAMBOTNAME b -> GOrdering a b # | |
GEq TELEGRAMBOTNAME Source # | |
Defined in Lambdabot.Config.Telegram geq :: forall (a :: k) (b :: k). TELEGRAMBOTNAME a -> TELEGRAMBOTNAME b -> Maybe (a :~: b) # |
data TELEGRAMLAMBDABOTVERSION a Source #
Telegram Lambdabot Version.
a ~ Version => TELEGRAMLAMBDABOTVERSION |
Instances
GCompare TELEGRAMLAMBDABOTVERSION Source # | |
Defined in Lambdabot.Config.Telegram gcompare :: forall (a :: k) (b :: k). TELEGRAMLAMBDABOTVERSION a -> TELEGRAMLAMBDABOTVERSION b -> GOrdering a b # | |
GEq TELEGRAMLAMBDABOTVERSION Source # | |
Defined in Lambdabot.Config.Telegram geq :: forall (a :: k) (b :: k). TELEGRAMLAMBDABOTVERSION a -> TELEGRAMLAMBDABOTVERSION b -> Maybe (a :~: b) # |
data MUEVALBINARY a Source #
Path to mueval
executable.
a ~ String => MUEVALBINARY |
Instances
GCompare MUEVALBINARY Source # | |
Defined in Lambdabot.Config.Telegram gcompare :: forall (a :: k) (b :: k). MUEVALBINARY a -> MUEVALBINARY b -> GOrdering a b # | |
GEq MUEVALBINARY Source # | |
Defined in Lambdabot.Config.Telegram geq :: forall (a :: k) (b :: k). MUEVALBINARY a -> MUEVALBINARY b -> Maybe (a :~: b) # |
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.
a ~ [String] => LANGUAGEEXTS |
Instances
GCompare LANGUAGEEXTS Source # | |
Defined in Lambdabot.Config.Telegram gcompare :: forall (a :: k) (b :: k). LANGUAGEEXTS a -> LANGUAGEEXTS b -> GOrdering a b # | |
GEq LANGUAGEEXTS Source # | |
Defined in Lambdabot.Config.Telegram 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.
a ~ [String] => TRUSTEDPACKAGES |
Instances
GCompare TRUSTEDPACKAGES Source # | |
Defined in Lambdabot.Config.Telegram gcompare :: forall (a :: k) (b :: k). TRUSTEDPACKAGES a -> TRUSTEDPACKAGES b -> GOrdering a b # | |
GEq TRUSTEDPACKAGES Source # | |
Defined in Lambdabot.Config.Telegram 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.
a ~ [String] => EVALPREFIXES |
Instances
GCompare EVALPREFIXES Source # | |
Defined in Lambdabot.Config.Telegram gcompare :: forall (a :: k) (b :: k). EVALPREFIXES a -> EVALPREFIXES b -> GOrdering a b # | |
GEq EVALPREFIXES Source # | |
Defined in Lambdabot.Config.Telegram geq :: forall (a :: k) (b :: k). EVALPREFIXES a -> EVALPREFIXES b -> Maybe (a :~: b) # |
evalPrefixes :: Config [String] Source #
Command to invoke ghc
.
data GHCIBINARY a Source #
Command to invoke ghci
.
a ~ String => GHCIBINARY |
Instances
GCompare GHCIBINARY Source # | |
Defined in Lambdabot.Config.Telegram gcompare :: forall (a :: k) (b :: k). GHCIBINARY a -> GHCIBINARY b -> GOrdering a b # | |
GEq GHCIBINARY Source # | |
Defined in Lambdabot.Config.Telegram geq :: forall (a :: k) (b :: k). GHCIBINARY a -> GHCIBINARY b -> Maybe (a :~: b) # |