def serve.write.talk

bend-kit-http@0.38.5.0 · http.bend:6998

import Base
import bend-kit-http@0.38.5.0/admission.bend as Admission
import bend-kit-http@0.38.5.0/completion.bend as Completion

6998def serve.write.talk(
6999  ~S: Type, ~start: Req -> IO(WriteHead<S>), ~write: S -> Writer -> Completion.Receipt -> IO(Writer & Completion.Receipt), ~dispose: S -> IO(Unit), ~observe: U32 -> Completion.Outcome -> IO(Unit),
7000  +settings: Limits, +inbox: Chan(Admission.Command), st: Maybe<&1, Serving>
7001) -> IO(Unit):
7002  Limits{max, cap, hm, bm, im, wm} = settings
7003  match st:
7004    case None{}:
7005      IO.pure(Unit, Unit{})
7006    case Some{Serving{(s, t), phase}}:
7007      match t:
7008        case TurnMore{sv, cont}:
7009          do IO<Unit>:
7010            received : (Socket & Turn) & Phase <- talk.recv(inbox, False{}, settings, s, sv, cont, phase)
7011            serve.write.talk(~S, ~start, ~write, ~dispose, ~observe, settings, inbox, Some{talk.state(received)})
7012        case TurnReq{req, rest, v11}:
7013          do IO<Unit>:
7014            admitted : Bool <- Admission.take(inbox, 1)
7015            after : Maybe<&1, Socket & Turn> <- admission.write(~S, ~start, ~write, ~dispose, ~observe, admitted, inbox, settings, s, req, rest, v11)
7016            serve.write.talk(~S, ~start, ~write, ~dispose, ~observe, settings, inbox, serve.write.state(after))
7017        case TurnFail{status}:
7018          reply_fail(Completion.Observed{status => outcome => observe(status, outcome)}, s, status, wm)
7019        case TurnClose{}:
7020          Socket.close(s)
7021        case TurnInputFailed{operation, code, message}:
7022          Socket.close(s)