flix

0.78.0
Prelude / Fs / MkDirs

MkDirs

Effect for creating a directory and all its parent directories, and its functions.

eff MkDirsSource

Effect for creating a directory and all its parent directories.

Use the MkDirs.runWithFileWrite handler.

Operations

def mkDirs(d: String): Result[IoError, Unit] \ MkDirs§ Source

Creates the directory d and all its parent directories.

Definitions

def runWithFileWrite(f: Unit -> a \ ef): a \ (ef - MkDirs) + FileWrite§ Source

Handles the MkDirs effect of the given function f using the FileWrite effect.