def PipeSession.ask.late

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

import Base

157# The answer that came once the program was killed: its Files close.
158def PipeSession.ask.late(late: Maybe<&1, PipeSession.Answer()>) -> IO(Maybe<PipeSession.Answer()>):
159  match late:
160    case Some{(PipeSession{_, input, out, _}, _)}:
161      do IO<Maybe<PipeSession.Answer()>>:
162        File.close(input)
163        File.close(out)
164        return None{}
165    case None{}:
166      IO.pure(Maybe<PipeSession.Answer()>, None{})