flix

0.78.0
Prelude / Fs / MkDir

MkDir

Effect for creating a directory, and its functions.

eff MkDirSource

Effect for creating a directory.

Use the MkDir.runWithFileWrite handler.

Operations

def mkDir(d: String): Result[IoError, Unit] \ MkDir§ Source

Creates the directory d.

Definitions

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

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