IdrisDoc
: Http
Index
Http
sendRequest
:
Request
->
IO
(
Either
SocketError
String
)