Server.server.then: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/server.bend as Server
Lines 192-200 of emerging-ezhttp@0.21.0.0/src/server.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&start_line=192&end_line=200

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

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Socket
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=server.lose
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/step.bend&name=Got