Модуль Network.Socket не найден в Идрисе

Question

Модуль Network.Socket не найден в Идрисе

Я пытаюсь импортировать сокет в Идрис в REPL:

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

Зачем?

3

package read-eval-print-loop idris

Источник

user7978068 20 май '17 в 21:31

1 ответ

Решение

Другие вопросы по тегам package read-eval-print-loop idris

user2900502 20 май '17 в 22:47 2017-05-20 22:47 · Accepted Answer · 2017-05-20 22:47

Это потому что Network.Socket Модуль не доступен по умолчанию в доступных пакетах. Быстрый поиск показывает мне, что Network.Socket в contrib пакет:

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

Таким образом, вы должны запустить Idris REPL с указанным пакетом, используя -p contrib опция:

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