我一直在客户端中使用 Databinder Dispatch 库来实现简单的 REST 式 API。我知道如何检测是否收到带有错误状态的 HTTP 响应:
Http x (request) {
case (200, _, _, content) => successResult(content())
case (404, _, _, _) => notFoundErrorResult
case (_, _, _, _) => genericErrorResult
}
但是,由于域无效或连接失败,我如何区分错误响应和无法获得任何响应?有没有办法在仍然使用同步语义的同时实现超时?如果 API 中有任何相关内容,我已经错过了。