def PipeSession.start

bend-pipe-session@0.2.0.0 · impl.bend:33

import Base
import bend-stdio-pipes@0.2.0.0/impl.bend as Stdio

33# Starts program with args. A longer line of it fails with E2BIG (7).
34def PipeSession.start(
35  program: String,
36  args: List<String>,
37  line_cap: U32
38) -> IO(Result<&1, &1, U32 & String, PipeSession>):
39  do IO<Result<&1, &1, U32 & String, PipeSession>>:
40    opened: Result<&1, &1, U32 & String, U32 & (File & File)> <- Stdio.open(program, args)
41    return PipeSession.started(opened, line_cap)