def client.timed_out

emerging-ezhttp@0.21.0.0 · src/client.bend:160

import emerging-ezhttp@0.21.0.0/src/client.bend as Client
import Base
import emerging-ezhttp@0.21.0.0/src/wirespec.bend as Spec

160# whether a response is the failure of an exchange that ran out of time
161def client.timed_out(r: Response) -> Bool:
162  match r:
163    case Err{why}:
164      Spec.wire.timed_out(why)
165    case Response{status, headers, reason, bytes}:
166      False{}

Uses (3)

Used by (1)