Idris2Doc : System.File.Process

System.File.Process

Reexports

importpublic System.Escape
importpublic System.File.Error
importpublic System.File.Mode
importpublic System.File.Types

Definitions

fflush : HasIOio=>File->io ()
  Force a write of all user-space buffered data for the given `File`.

@ h the file handle to flush

Visibility: export
popen : HasIOio=>String->Mode->io (EitherFileErrorFile)
  Create a new unidirectional pipe by invoking the shell, which is passed the
given command-string using the '-c' flag, in a new process. The pipe is
opened with the given mode.

@ cmd the command to pass to the shell
@ m the mode the pipe should have

Visibility: export
popen : HasIOio=>ListString->Mode->io (EitherFileErrorFile)
Visibility: export
pclose : HasIOio=>File->ioInt
  Wait for the process associated with the pipe to terminate.

@ fh the file handle to the stream to close/wait on

Visibility: export