Skip to content

Stdin

1 min read

Import: import system.io;

Read the usage guide for examples and common tasks. This reference lists the public declarations for this part of the library. See Reading API signatures for parameter and result notation.

Stdin

Standard input as a byte stream. Obtain it through System.stdin.

public class Stdin: Reader

read

Reads up to max_bytes bytes; an empty result indicates EOF for a positive size. Negative sizes return an error. This operation can block waiting for input.

public unique fun read(max_bytes: int): Result<byte[], IoError>