System.Linux.Pipe.Prim

Definitions

pipe2 : CArrayIO 2 Fd -> Flags -> EPrim ()

  Linux-specific version of `pipe` that allows setting additional
  flags (`O_NONBLOCK`, `O_CLOEXEC`, `O_DIRECT`).

Totality: total
Visibility: export