def read.got

gralha-http-server@0.1.0.0 · server.bend:15

import Base

15def read.got(got: Socket & Result<&1, &1, U32 & String, Maybe<&1, String>>, acc: String, +max: U32,
16  next: Socket -> String -> IO(Socket & String)) -> IO(Socket & String):
17  (socket, result) = got
18  match result:
19    case Fail{err}:
20      IO.pure(Socket & String, (socket, ""))
21    case Done{None{}}:
22      IO.pure(Socket & String, (socket, acc))
23    case Done{Some{data}}:
24      read.chunk(socket, acc ++ data, max, next)