eff AppendFile
An effect used to append a string to a file.
Use the AppendFile.runWithFileWrite handler.
AppendFile.runWithFileWrite
def append(data: { str = String }, f: String): Result[IoError, Unit] \ AppendFile
Appends str to the given file f.
str
f
Creates the file f if it does not exist.
def runWithFileWrite(f: Unit -> a \ ef): a \ (ef - AppendFile) + FileWrite
Handles the AppendFile effect of the given function f using the FileWrite effect.
AppendFile
FileWrite