Skip to content

StdStream

[Source]

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

actor tag StdStream

Public Behaviours

print

[Source]

Print some bytes and insert a newline afterwards.

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

Parameters


write

[Source]

Print some bytes without inserting a newline afterwards.

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

Parameters


printv

[Source]

Print an iterable collection of ByteSeqs.

be printv(
  data: ByteSeqIter val)

Parameters


writev

[Source]

Write an iterable collection of ByteSeqs.

be writev(
  data: ByteSeqIter val)

Parameters


flush

[Source]

Flush any data out to the os (ignoring failures).

be flush()