def server.chunk.got

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

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

246# what the channel gave: a chunk, or its close, which ends the body
247def server.chunk.got(sock: Socket, m: Maybe<&1, Bytes.Bytes>,
248  more: Socket -> IO(Unit)) -> IO(Unit):
249  match m:
250    case None{}:
251      IO.bind(Socket & Step.Got<Unit>, Unit,
252        server.send.text(sock, Http.chunk.end()), server.close)
253    case Some{b}:
254      server.chunk.sized(sock, Bytes.length(b), more)