FileStream¶
Asynchronous access to a File object. Wraps file operations print, write, printv and writev. The File will be disposed through File._final.
actor tag FileStream is
OutStream tag
Implements¶
- OutStream tag
Constructors¶
create¶
new tag create(
file: File iso)
: FileStream tag^
Parameters¶
- file: File iso
Returns¶
- FileStream tag^
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¶
- data: ByteSeqIter val
writev¶
Write an iterable collection of ByteSeqs.
be writev(
data: ByteSeqIter val)
Parameters¶
- data: ByteSeqIter val
flush¶
Flush pending data to write.
be flush()