Idris2Doc : FS.Posix.Internal

FS.Posix.Internal

(source)

Definitions

writeAll : FileDesca=>a->HasErrnoes=>PollHe=>CastrByteString=>Listr->Asyncees ()
  Writes a chunk of data

Totality: total
Visibility: export
writeLines : FileDesca=>a->HasErrnoes=>PollHe=>CastrByteString=>Listr->Asyncees ()
  Writes a chunk of data, inserting a newline character (`0x0a`)
after every item.

Totality: total
Visibility: export