Client.client.get.opts: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/client.bend as Client Lines 155-158 of emerging-ezhttp@0.21.0.0/src/client.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/client.bend&start_line=155&end_line=158 import Base import emerging-ezhttp@0.21.0.0/src/http.bend as Http import emerging-ezhttp@0.21.0.0/src/body.bend as Body # GET with headers and a timeout, following redirects when `follow` is set def client.get.opts(url: String, headers: List<&2, Http.Header>, ms: U32, follow: Bool) -> IO(Response): client.request.opts("GET", url, headers, Body.Empty{}, ms, follow) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/body.bend&name=Body https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/client.bend&name=Response https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/client.bend&name=client.request.opts https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=Header