def http.get_opts

emerging-ezhttp@0.21.0.0 · main.bend:213

import Base
import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import emerging-ezhttp@0.21.0.0/src/client.bend as Client

213# GET with headers and a timeout in milliseconds that bounds connecting,
214# sending and receiving; with `follow`, redirects are followed (GET only, at
215# most 10 hops, see src/redirect.bend)
216def http.get_opts(
217  url: String,
218  headers: List<&2, Http.Header>,
219  timeout_ms: U32,
220  follow: Bool
221) -> IO(Client.Response):
222  Client.client.get.opts(url, headers, timeout_ms, follow)