Std.Io.writeLine
1 declaration
fn
writeLine: Str -> Result[(), Str]This is a callable function.
What it does
A line written to the program's output.
The output is flushed, so a program that prints and then waits for input has
already shown what it printed.
Read the signature
- The text after the name is the type checked by Pudu.
- Read arrows from left to right: inputs come first, and the final type is returned.
- Names inside [ ] are type arguments, such as the item type held by a collection.
- Result makes success and recoverable failure part of the function's type.
