Idris2Doc : System.Posix.Pipe.Prim

System.Posix.Pipe.Prim

(source)

Reexports

importpublic System.Posix.File.Prim

Definitions

pipe : CArrayIO2Fd->EPrim ()
  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 : String->ModeT->EPrim ()
  Creates a new FIFO (named pipe) on disc.

Totality: total
Visibility: export