在Idris中找不到模块Network.Socket

Question

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

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

为什么？

Answer 1

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

https://www.idris-lang.org/docs/0.12/contrib_doc/docs/Network.Socket.html

因此,您应该使用-p contrib选项运行带有指定包的Idris REPL :

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