Pudu programming language
Menu
API reference

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.

Back to Std.IoSearch related declarations