Idris2Doc : System.Posix.Pipe

System.Posix.Pipe

Reexports

import public System.Posix.Errno
import public System.Posix.File

pipe : Has Errno es => EIO1 f => CArrayIO 2 Fd -> f es ()

  Creates a pipe and writes the two file descriptors into the given C-array,
  the read end at position 0 the write end at position 1.

Totality: total
Visibility: export

mkfifo : Has Errno es => EIO1 f => String -> ModeT -> f es ()

  Creates a new FIFO (named pipe) on disc.

Totality: total
Visibility: export