Jodimoro
Jodimoro

Reputation: 4725

module Network.Socket isn't found in Idris

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

Answers (1)

Shersh
Shersh

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

Related Questions