文件名称：idris-bot:连接到Idris REPL的IRC机器人
文件大小：9KB
文件格式：ZIP
更新时间：2024-05-30 07:48:10
Haskell
该机器人通过在IDE模式下运行idris ，将来自IRC的查询传递给它，解释响应并将其发送回去，从而将Idris REPL与IRC连接起来。 需要一个参数，命名要使用的配置文件。 idris在sandbox运行，并在其中提供了软件包目录。 如果给定idris文件作为第二个参数，它将把它也复制到沙箱中，并作为参数传递给idris ，通过将导入行放入此文件中，使该文件具有比Prelude更多的功能。 配置 全局选项不得位于任何部分或[DEFAULT]部分中（如果它们出现在其他位置，则它们无效）。 [#example]部分将配置频道#example选项，使用默认部分的默认值或内部默认值（即，要配置所有频道的默认值，请将它们放在[DEFAULT]部分中）。 [noChannel]配置直接消息的选项。 选项 network ：（裸词，全局）要连接的主机名。 必需的。 nick ：（裸词，全局）
【文件预览】：
idris-bot-master
----.gitignore(5B)
----example.conf(70B)
----Setup.hs(46B)
----src()
--------IdeMode.hs(2KB)
--------Main.hs(14KB)
--------IrcColor.hs(803B)
----LICENSE(1KB)
----idris-bot.cabal(1005B)
----README.md(2KB)