flix

0.78.0
Prelude / Fs / MkTempDir

MkTempDir

Effect for creating a temporary directory, and its functions.

eff MkTempDirSource

Effect for creating a temporary directory.

Use the MkTempDir.runWithFileWrite handler.

Operations

def mkTempDir(prefix: String): Result[IoError, String] \ MkTempDir§ Source

Creates a new temporary directory with the given prefix.

Returns the path to the directory.

Definitions

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

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