Server.server.chunk.got: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/server.bend as Server Lines 246-254 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=246&end_line=254 import Base import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes import emerging-ezhttp@0.21.0.0/src/http.bend as Http import emerging-ezhttp@0.21.0.0/src/step.bend as Step # what the channel gave: a chunk, or its close, which ends the body def server.chunk.got(sock: Socket, m: Maybe<&1, Bytes.Bytes>, more: Socket -> IO(Unit)) -> IO(Unit): match m: case None{}: IO.bind(Socket & Step.Got, Unit, server.send.text(sock, Http.chunk.end()), server.close) case Some{b}: server.chunk.sized(sock, Bytes.length(b), more) Uses (13): 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=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair 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=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=length https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&name=chunk.end https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=server.chunk.sized https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=server.close https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/server.bend&name=server.send.text https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/step.bend&name=Got