在 Idris 中找不到模块 Network.Socket

Question

我正在尝试在 REPL 中的 Idris 中导入 Socket：

Idris> :module Network.Socket
Can't find import Network/Socket

为什么？

Answer 1

这是因为 Network.Socket 模块不在默认可用包中。快速搜索显示 Network.Socket 在 contrib 包中：

因此，您应该运行 Idris REPL 使用 -p contrib 选项指定的包：

$ idris -p contrib
Idris> :module Network.Socket
*Network/Socket> :t Socket
Socket : Type

module Network.Socket isn't found in Idris