def server.read.add

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

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

110# octets added to the pieces: is the request now whole?
111def server.read.add(sock: Socket, +ps: List<&2, String>, +have: Nat,
112  need: Maybe<&2, Nat>,
113  rest: Socket -> List<&2, String> -> Nat -> Maybe<&2, Nat>
114    -> IO(Socket & Step.Got<Http.Request>))
115  -> IO(Socket & Step.Got<Http.Request>):
116  +need2 = server.read.needs(need, ps)
117  server.read.more(sock, ps, have, need2, server.read.whole(need2, have), rest)