def server.read.text

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

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

119# octets that arrived, or none once the peer has closed
120def server.read.text(sock: Socket, +ps: List<&2, String>, +have: Nat,
121  need: Maybe<&2, Nat>, +text: String, closed: Bool,
122  rest: Socket -> List<&2, String> -> Nat -> Maybe<&2, Nat>
123    -> IO(Socket & Step.Got<Http.Request>))
124  -> IO(Socket & Step.Got<Http.Request>):
125  match closed:
126    case True{}:
127      server.read.done(sock, ps)
128    case False{}:
129      server.read.add(sock, text <> ps, Nat.add(have, String.length(text)),
130        need, rest)