def render.stream

bendonnect-rpc@0.1.0.0 · src/transport/server.bend:308

import Base
import bend-kit-http@0.36.0.0/http.bend as Http
import bendonnect-rpc@0.1.0.0/src/protocol.bend as P

308def render.stream(codec: P.Codec, reply: Reply) -> IO(Http.WriteHead<Job>):
309  match reply:
310    case Single{r, meta}:
311      stream_single(codec, r, meta)
312    case Many{run, meta}:
313      many_head(codec, run, meta)
314    case NoRoute{}:
315      not_found()