Bosatsu Documentation

Bosatsu/IO/Std

source code: - test_workspace/Bosatsu/IO/Std.bosatsu

public dependencies: Bosatsu/IO/Error, Bosatsu/Prog

Index

Values

print

Write text to standard output.

references: Bosatsu/IO/Error::IOError, Bosatsu/Prog::Prog, String, Unit

def print(str: String) -> Bosatsu/Prog::Prog[Bosatsu/IO/Error::IOError, ()]

print_err

Write text to standard error.

references: Bosatsu/IO/Error::IOError, Bosatsu/Prog::Prog, String, Unit

def print_err(str: String) -> Bosatsu/Prog::Prog[Bosatsu/IO/Error::IOError, ()]

print_errln

Write a string plus newline to standard error.

references: Bosatsu/IO/Error::IOError, Bosatsu/Prog::Prog, String, Unit

def print_errln(str: String) -> Bosatsu/Prog::Prog[Bosatsu/IO/Error::IOError, ()]

println

Write a string plus newline to standard output.

references: Bosatsu/IO/Error::IOError, Bosatsu/Prog::Prog, String, Unit

def println(str: String) -> Bosatsu/Prog::Prog[Bosatsu/IO/Error::IOError, ()]

read_all_stdin

Read all UTF-8 text from stdin until EOF.

references: Bosatsu/IO/Error::IOError, Bosatsu/Prog::Prog, String

read_all_stdin: Bosatsu/Prog::Prog[Bosatsu/IO/Error::IOError, String]

read_line

Read a single line from stdin. Returns None only if EOF is reached before reading any characters.

references: Bosatsu/IO/Error::IOError, Bosatsu/Prog::Prog, Option, String

read_line: Bosatsu/Prog::Prog[Bosatsu/IO/Error::IOError, Option[String]]

read_stdin_utf8_bytes

Read UTF-8 text from standard input. n=0 behaves like n=1; empty string indicates EOF.

references: Bosatsu/IO/Error::IOError, Bosatsu/Prog::Prog, Int, String

def read_stdin_utf8_bytes(n: Int) -> Bosatsu/Prog::Prog[Bosatsu/IO/Error::IOError, String]

show_error

Render IOError to stderr and recover with a default value.

references: Bosatsu/IO/Error::IOError, Bosatsu/Prog::Prog

def show_error[a
](prog: Bosatsu/Prog::Prog[Bosatsu/IO/Error::IOError, a], default: a) -> forall b: *. Bosatsu/Prog::Prog[b, a]

Next: Bosatsu/Json