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

• OutStream tag

Constructors

create

[Source]

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

Parameters

• file: File iso

Returns

• FileStream tag^

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 pending data to write.

be flush()