def server.conn.got

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

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

310# after the read: a lost connection, or a request to step
311def server.conn.got(~C: Data, ~handle: C -> Req -> IO(Answer), +ctx: C,
312  r: Socket & Step.Got<Http.Request>) -> IO(Unit):
313  (sock, got) = r
314  match got:
315    case Step.Lost{line}:
316      server.lose(sock, line)
317    case Step.Kept{+raw}:
318      +req = Step.step.text(raw)
319      server.step(~C, handle, ctx, sock, Http.method.of(req),
320        Step.step.octets(raw), Step.step.of(req))