StdStream

Asynchronous access to stdout and stderr. The constructors are private to ensure that access is provided only via an environment.

actor tag StdStream

Constructors

_out

Create an async stream for stdout.

new tag _out()
: StdStream tag^

Returns


_err

Create an async stream for stderr.

new tag _err()
: StdStream tag^

Returns


Public Behaviours

print

Print some bytes and insert a newline afterwards.

be print(
  data: (String val | Array[U8 val] val))

Parameters


write

Print some bytes without inserting a newline afterwards.

be write(
  data: (String val | Array[U8 val] val))

Parameters


printv

Print an iterable collection of ByteSeqs.

be printv(
  data: ByteSeqIter val)

Parameters


writev

Write an iterable collection of ByteSeqs.

be writev(
  data: ByteSeqIter val)

Parameters


Private Functions

_write

Write the bytes without explicitly flushing.

fun ref _write(
  data: (String val | Array[U8 val] val))
: None val

Parameters

Returns


_print

Write the bytes and a newline without explicitly flushing.

fun ref _print(
  data: (String val | Array[U8 val] val))
: None val

Parameters

Returns