type ByteSeq is (String | Array[U8] val)
interface val ByteSeqIter
"""
Accept an iterable collection of String or Array[U8] val.
"""
fun values(): Iterator[this->ByteSeq box]
interface tag OutStream
"""
Asnychronous access to some output stream.
"""
be print(data: ByteSeq)
"""
Print some bytes and insert a newline afterwards.
"""
be write(data: ByteSeq)
"""
Print some bytes without inserting a newline afterwards.
"""
be printv(data: ByteSeqIter)
"""
Print an iterable collection of ByteSeqs.
"""
be writev(data: ByteSeqIter)
"""
Write an iterable collection of ByteSeqs.
"""
actor StdStream
"""
Asynchronous access to stdout and stderr. The constructors are private to
ensure that access is provided only via an environment.
"""
var _stream: Pointer[None]
new _out() =>
"""
Create an async stream for stdout.
"""
_stream = @pony_os_stdout[Pointer[None]]()
new _err() =>
"""
Create an async stream for stderr.
"""
_stream = @pony_os_stderr[Pointer[None]]()
be print(data: ByteSeq) =>
"""
Print some bytes and insert a newline afterwards.
"""
_print(data)
be write(data: ByteSeq) =>
"""
Print some bytes without inserting a newline afterwards.
"""
_write(data)
be printv(data: ByteSeqIter) =>
"""
Print an iterable collection of ByteSeqs.
"""
for bytes in data.values() do
_print(bytes)
end
be writev(data: ByteSeqIter) =>
"""
Write an iterable collection of ByteSeqs.
"""
for bytes in data.values() do
_write(bytes)
end
fun ref _write(data: ByteSeq) =>
"""
Write the bytes without explicitly flushing.
"""
@pony_os_std_write[None](_stream, data.cpointer(), data.size())
fun ref _print(data: ByteSeq) =>
"""
Write the bytes and a newline without explicitly flushing.
"""
@pony_os_std_print[None](_stream, data.cpointer(), data.size())