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


Constructors

create

new tag create(
  file: File iso)
: FileStream tag^

Parameters

Returns


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


writev

Write an iterable collection of ByteSeqs.

be writev(
  data: ByteSeqIter val)

Parameters