flix

0.69.3

Fs.MkDir

eff MkDirSource

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