Documentation

Lake.Util.IO

source
def Lake.createParentDirs (path : System.FilePath) :
IO Unit

Creates any missing parent directories of path.

Equations
    Instances For
      source
      def Lake.copyFile (src dst : System.FilePath) :
      IO Unit

      Copy a file from src to dst.

      Equations
        Instances For
          source
          def Lake.resolvePath (path : System.FilePath) :
          BaseIO System.FilePath

          Returns the normalized real path of a file if it exists. Otherwise, returns "".

          Equations
            Instances For
              source
              @[inline]
              def Lake.resolvePath? (path : System.FilePath) :
              BaseIO (Option System.FilePath)

              Returns the normalized real path of a file if and only if it exists.

              Equations
                Instances For