def server.then

emerging-ezhttp@0.21.0.0 · src/server.bend:192

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

192# after a send in the middle: go on, or lose the connection
193def server.then(r: Socket & Step.Got<Unit>, more: Socket -> IO(Unit))
194  -> IO(Unit):
195  (sock, got) = r
196  match got:
197    case Step.Lost{line}:
198      server.lose(sock, line)
199    case Step.Kept{_u}:
200      more(sock)