Skip to content

FileStream

[Source]

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

[Source]

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

Parameters

Returns


Public Behaviours

print

[Source]

Print some bytes and insert a newline afterwards.

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

Parameters


write

[Source]

Print some bytes without inserting a newline afterwards.

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

Parameters


printv

[Source]

Print an iterable collection of ByteSeqs.

be printv(
  data: ByteSeqIter val)

Parameters


writev

[Source]

Write an iterable collection of ByteSeqs.

be writev(
  data: ByteSeqIter val)

Parameters


flush

[Source]

Flush pending data to write.

be flush()