keen/io/stdin

Source
read-stdin string() global
Reads a line from stdin. If that comes from the user typing at the terminal, this will block until they hit enter. Result will not have leading or trailing whitespace.
read-one-byte-from-stdin nat8() global
read-n-bytes-from-stdin nat8[](size nat64) global
read-up-to-n-bytes-from-stdin nat8[](max-size nat64) global
read-stdin-until-parse[t] t(error-message string, parse t option mut(string)) global, t shared
Keep reading from stdin until parse returns a non-empty option. Print error-message after every failure.