flix

0.69.3

Fs.MkDirs

eff MkDirsSource

An effect used to create 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.