Reputation: 4725
I'm trying to import Socket in Idris in REPL:
Idris> :module Network.Socket
Can't find import Network/Socket
Why?
Upvotes: 2
Views: 252
Reputation: 9169
This is because Network.Socket
module is not in default available packages. Quick search shows me that Network.Socket
is in contrib
package:
https://www.idris-lang.org/docs/0.12/contrib_doc/docs/Network.Socket.html
Thus, you should run Idris REPL with specified package using -p contrib
option:
$ idris -p contrib
Idris> :module Network.Socket
*Network/Socket> :t Socket
Socket : Type
Upvotes: 5