Idris2Doc : System.Linux.Pipe

System.Linux.Pipe

(source)

Reexports

import public 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 : Has Errno es => EIO1 f => CArrayIO 2 Fd -> Flags -> f es ()
  Linux-specific version of `pipe` that allows setting additional
flags (`O_NONBLOCK`, `O_CLOEXEC`, `O_DIRECT`).

Totality: total
Visibility: export