wolfpack-std 0.2.0

The standard library of wolfpack, as wolfpack source. Internal part of wolfpack-lang, not a stable API
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Standard input and output (spec chapter 7, section 7).

module std.io

functions {
    /// Writes `s` and a line feed to standard output.
    pub intrinsic fn print(s: String)

    /// Writes `s` to standard output without a line feed.
    pub intrinsic fn write(s: String)

    /// Writes `s` and a line feed to standard error.
    pub intrinsic fn eprint(s: String)

    /// Reads one line without its terminator; `None` at the end of input.
    pub intrinsic fn read_line() -> Option<String>

    /// The command-line arguments without the program name.
    pub intrinsic fn args() -> List<String>
}