def PipeSession.asked

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

import Base

98def PipeSession.asked(
99  pid: U32,
100  input: File,
101  line_cap: U32,
102  answer: File & Result<&1, &1, U32 & String, List<&2, String>>
103) -> IO(PipeSession & Result<&1, &1, U32 & String, List<&2, String>>):
104  match answer:
105    case (out, result):
106      IO.pure(
107        PipeSession & Result<&1, &1, U32 & String, List<&2, String>>,
108        (PipeSession{pid, input, out, line_cap}, result)
109      )