def err.pick

bend-kit-http@0.38.2.0 · http.bend:70

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

70def err.pick(e: Err, late: Bool) -> Err:
71  match late:
72    case True{}:
73      ErrTimeout{}
74    case False{}:
75      e

Uses (2)

Used by (1)