Idris2Doc : System.File.Process

System.File.Process

fflush : HasIOio => File -> io ()
pclose : HasIOio => File -> io ()
popen : HasIOio => String -> Mode -> io (EitherFileErrorFile)