| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Utils.IO.Directory
Synopsis
- copyDirContent :: FilePath -> FilePath -> IO ()
- copyIfChanged :: FilePath -> FilePath -> IO ()
Documentation
copyDirContent :: FilePath -> FilePath -> IO () Source #
copyDirContent src dest recursively copies directory src onto dest.
First, a to-do list of copy actions is created. Then, the to-do list is carried out.
This avoids copying files we have just created again, which can happen
if src and dest are not disjoint.
(See issue #2705.)
copyIfChanged :: FilePath -> FilePath -> IO () Source #
copyIfChanged src dst makes sure that dst exists
and has the same content as dst.