Bosatsu/IO/Std

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

Index

• Values: print, print_err, print_errln, println, read_stdin_utf8_bytes

Values

print

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

print_err

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

print_errln

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

println

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

read_stdin_utf8_bytes

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