def step.sent

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

import emerging-ezhttp@0.21.0.0/src/step.bend as Step
import Base

55# a failed send loses the connection too; the bytes it did not send are dropped
56def step.sent(res: Result<&1, &1, (U32 & String) & List<&2, U32>, Unit>)
57  -> Got<Unit>:
58  match res:
59    case Fail{((code, why), left)}:
60      Lost{step.line("write", why)}
61    case Done{value}:
62      Kept{value}

Uses (9)

Used by (0)

No other definition uses this definition.