Idris2Doc : System.Linux.Pipe

System.Linux.Pipe

(source)

Reexports

importpublic System.Posix.Pipe

Definitions

o_direct : Bits32
O_DIRECT : Flags
  With this flag set, a pipe will treat every `write` as a distinct data
package, and `read` will read one package at a time.

Note, that when writing more than `PIPE_BUF` bytes at a time, the data
will be split into smaller packages.

Totality: total
Visibility: export
pipe2 : HasErrnoes=>EIO1f=>CArrayIO2Fd->Flags->fes ()
  Linux-specific version of `pipe` that allows setting additional
flags (`O_NONBLOCK`, `O_CLOEXEC`, `O_DIRECT`).

Totality: total
Visibility: export