Server.server.serve_io_with: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/server.bend as Server
Lines 426-436 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=426&end_line=436

import Base

# listen and serve up to `limit` connections, each on its own fork, at most
# `max` at once (0: no limit), with a context value for the handler; returns
# once every fork is done (SPEC.md HTTP-TRUST-2)
def server.serve_io_with(~C: Data, ~handle: C -> Req -> IO(Answer), +ctx: C,
  host: String, port: U32, limit: U32, +max: U32) -> IO(Unit):
  do IO<Unit>:
    lst : Listener <- server.listen(host, port)
    +slots : Chan(Unit) <- server.slots(max)
    +done : Chan(Unit) <- Chan.new(Unit, 1024)
    server.loop.go(~C, handle, ctx, U32.to_nat(limit), server.idles(), 0n, slots,
      Bool.not(U32.is_eq(max, 0)), done, lst)

Uses (17):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan.new
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Listener
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  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=Answer
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=Req
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=server.idles
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=server.listen
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=server.loop.go
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=server.slots