def step.got

emerging-ezhttp@0.21.0.0 · src/step.bend:43

import Base

43# a failed accept or recv loses the connection instead of ending the server
44def step.got(
45  -A: Type,
46  phase: String,
47  res: Result<&1, &1, U32 & String, A>
48) -> Got<A>:
49  match res:
50    case Fail{(code, why)}:
51      Lost{step.line(phase, why)}
52    case Done{value}:
53      Kept{value}