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

Constructors

_out

[Source]

Create an async stream for stdout.

new tag _out()
: StdStream tag^

Returns

• StdStream tag^

_err

[Source]

Create an async stream for stderr.

new tag _err()
: StdStream tag^

Returns

• StdStream tag^

Public Behaviours

print

[Source]

Print some bytes and insert a newline afterwards.

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

Parameters

• data: (String val | Array[U8 val] val)

write

[Source]

Print some bytes without inserting a newline afterwards.

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

Parameters

• data: (String val | Array[U8 val] val)

printv

[Source]

Print an iterable collection of ByteSeqs.

be printv(
  data: ByteSeqIter val)

Parameters

• data: ByteSeqIter val

writev

[Source]

Write an iterable collection of ByteSeqs.

be writev(
  data: ByteSeqIter val)

Parameters

• data: ByteSeqIter val

flush

[Source]

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

be flush()

Private Functions

_write

[Source]

Write the bytes without explicitly flushing.

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

Parameters

• data: (String val | Array[U8 val] val)

Returns

• None val

_print

[Source]

Write the bytes and a newline without explicitly flushing.

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

Parameters

• data: (String val | Array[U8 val] val)

Returns

• None val