~/jendhub

def stream.init.known

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

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

5242def stream.init.known(known: Bool, st: Stream, cs: List<&2, String>) -> IO(Result<&1, &1, Err, Stream>):
5243  match known:
5244    case False{}:
5245      IO.pure(Result<&1, &1, Err, Stream>, Done{st})
5246    case True{}:
5247      do IO<Result<&1, &1, Err, Stream>>:
5248        opened : Opened <- stream.open.all(cs)
5249        stream.init.opened(st, opened)

Uses (12)

Used by (1)