in

Types

Errors that occur when trying to read beyond the end of the file.

pub type IoError {
  Eof
}

Constructors

  • Eof

Values

pub fn read_chars(count: Int) -> Result(String, IoError)

Reads up to count characters from stdin. If count is greater than the stdin length the function will return everything up to the end of the input. Returns an Eof error if you try to read beyond the end of the file.

pub fn read_line() -> Result(String, IoError)

Reads a line from stdin. Returns an Eof error if you try to read beyond the end of the file.

Search Document