def wire.ms.of

emerging-ezhttp@0.21.0.0 · src/wirespec.bend:36

import Base

36# the deadline every socket call of an exchange gets: the timeout it was made
37# with, or the default (SPEC.md HTTP-CLI-1, 2)
38def wire.ms.of(m: Maybe<&2, U32>) -> U32:
39  match m:
40    case None{}:
41      wire.ms.dflt()
42    case Some{ms}:
43      wire.ms.at(ms)