def server.work.completed

bend-kit-camber@0.15.0.1 · camber.bend:1012

import Base
import bend-kit-http@0.38.1.1/http.bend as Http

1012def server.work.completed(~S: Type, ~H: Data, response_channel: Chan(Http.Res),
1013  completion: Completion<S, H>
1014) -> IO(S & Result<&2, &2, Unit, ApplicationReport<H>>):
1015  Completed{state, response, entered, mapped, stopped} = completion
1016  do IO<S & Result<&2, &2, Unit, ApplicationReport<H>>>:
1017    sent : Result<&1, &1, Http.Res, Unit> <- Chan.send(Http.Res, response_channel, response)
1018    return (state, Done{Dispatched{entered, mapped, stopped}})