HepLean Documentation
Lake
.
Util
.
IO
Search
Google site search
return to top
source
Imports
Init
Imported by
Lake
.
createParentDirs
source
def
Lake
.
createParentDirs
(path :
System.FilePath
)
:
IO
Unit
Creates any missing parent directories of
path
.
Equations
Lake.createParentDirs
path
=
match
path
.parent
with |
some
dir
=>
IO.FS.createDirAll
dir
|
x
=>
pure
PUnit.unit
Instances For