Idris2Doc : System.File

System.File

copyFile : HasIOio => String -> String -> io (EitherFileError ())