Function CreateFile 

pub fn CreateFile(
    Path: PathBuf,
) -> ActionEffect<Arc<dyn FileSystemWriter>, CommonError, ()>

Creates an effect that, when executed, will create a new, empty file at the specified path.

It uses the FileSystemWriter capability from the environment to perform the actual file I/O. This operation will typically fail if the file already exists, as it is not intended to overwrite.

Parameters

• Path: The PathBuf of the file to create.

Returns

An ActionEffect that resolves to () on success.