IdrisDoc: Http

Http

sendRequest : Request -> IO (Either SocketError String)