def read_line

bend-stdio-pipes@0.2.0.0 · impl.bend:85

import Base

85# The next line of file, as it comes, without its LF or CRLF; None at the end of the file.
86def read_line(file: File, max: U32) -> IO(File & Result<&1, &1, U32 & String, Maybe<String>>):
87  IO.bind(
88    File & Result<&1, &1, U32 & String, String>,
89    File & Result<&1, &1, U32 & String, Maybe<String>>,
90    File.read_line(file, max),
91    read_line.got
92  )