short-hand for accessing move effect in current environment and performing the default move operation using io.file.move.move old_path new_path moves file/dir from an old path to a the new path can rename the file/dir as well by changing the name of the old file/dir to a new name in the new_path returns a unit type as outcome in case of success and error in case of failure
0.095dev (2025-09-09 14:29:31 GIT hash 98644f8f651c2101a0730cfe31c5807993b7603b built by fridi@fzen)
io.file.move.move old_path new_path
moves file/dir from an old path to a the new path
can rename the file/dir as well by changing the name of the old file/dir to a new name in the new_path
returns a unit type as outcome in case of success and error in case of failure