~/jendhub

def stream.init.known

bend-kit-http@0.38.2.0 · http.bend:5250

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

5250def stream.init.known(known: Bool, st: Stream, cs: List<&2, String>) -> IO(Result<&1, &1, Err, Stream>):
5251  match known:
5252    case False{}:
5253      IO.pure(Result<&1, &1, Err, Stream>, Done{st})
5254    case True{}:
5255      do IO<Result<&1, &1, Err, Stream>>:
5256        opened : Opened <- stream.open.all(cs)
5257        stream.init.opened(st, opened)

Uses (12)

Used by (1)