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.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