~/jendhub

def retry.fail

bend-kit-http@0.38.5.0 · http.bend:4528

import bend-kit-http@0.38.5.0/http.bend as Http
import Base

4528# A refused connect or a timeout may clear; any other error would repeat.
4529def retry.fail(e: Err) -> Result<&1, &1, Err, Res> & Maybe<&2, String>:
4530  match e:
4531    case ErrConnect{code, why}:
4532      (Fail{ErrConnect{code, why}}, Some{""})
4533    case ErrTimeout{}:
4534      (Fail{ErrTimeout{}}, Some{""})
4535    case other:
4536      (Fail{other}, None{})

Uses (7)

Used by (1)