Enum FileHandle 

pub enum FileHandle {
    Stdin,
    Stdout,
    Stderr,
    File(File),
    Closed,
}

The OS resource behind a file userdata. Standard streams cannot be closed; an opened file carries its handle and becomes Closed after :close().

Variants

Stdin

Standard input (cannot be closed).

Stdout

Standard output (cannot be closed).

Stderr

Standard error (cannot be closed).

File(File)

An opened OS file.

Tuple Fields

0: File

Underlying handle.

Closed

A closed file (post-:close()); further operations error.

Implementations

impl FileHandle

pub fn is_closed(&self) -> bool

PUC io.type: an open file vs. a closed one vs. (caller handles non-file).

pub fn is_std(&self) -> bool

Standard streams cannot be closed (io.close(io.stdin) fails in PUC).