Idris2Doc : System.Posix.Pipe.Prim

System.Posix.Pipe.Prim

(source)

Reexports

import public System.Posix.File.Prim

Definitions

pipe : CArrayIO 2 Fd -> 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