def Lake.createParentDirs (path : Lake.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