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

• 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()

---