Par

Module Console

Terminal input and output.

let console = Console.Open
console.print("Hello from Par!")
console.close

type Console = iterative choice {
  .close => !,
  .print(String) => self,
  .prompt(String) => (Try<!, String>) self,
}

An interactive terminal handle.

  • .close — close the console.
  • .print(s) — print a string followed by a newline.
  • .prompt(s) — print a prompt string (no newline), read a line from stdin. Returns .ok with the input (trailing newline stripped), or .err! on EOF.
let console = Console.Open
console.print("Hello!")
console.prompt("Name: ")[name]
name.case {
  .ok name => console.print(name),
  .err! => {},
}
console.close

dec Console.Open : Console

Opens a new Console connected to stdin/stdout.