Idris2Doc : FS.Posix.Internal

FS.Posix.Internal

(source)

Definitions

writeAll : FileDesc a => a -> Has Errno es => PollH e => Cast r ByteString => List r -> Async e es ()
  Writes a chunk of data

Totality: total
Visibility: export
writeLines : FileDesc a => a -> Has Errno es => PollH e => Cast r ByteString => List r -> Async e es ()
  Writes a chunk of data, inserting a newline character (`0x0a`)
after every item.

Totality: total
Visibility: export