Idris2Doc : System.File.Process

System.File.Process

fflush : HasIO io => File -> io ()
  
pclose : HasIO io => File -> io ()
  
popen : HasIO io => String -> Mode -> io (Either FileError File)