Returns a natural transformation that transforms all paths in FileSystem
operations using the given functions.
Returns a natural transformation that transforms all paths in FileSystem
operations using the given functions.
transforms input paths
transforms output paths (including those in errors)
transforms relative output paths
Returns a natural transformation that transforms all paths in ManageFile
operations using the given functions.
Returns a natural transformation that transforms all paths in ManageFile
operations using the given functions.
transforms input paths
transforms output paths (including those in errors)
Returns a natural transformation that transforms all paths in QueryFile
operations using the given functions.
Returns a natural transformation that transforms all paths in QueryFile
operations using the given functions.
transforms input paths
transforms output paths (including those in errors)
transforms relative output paths
Returns a natural transformation that transforms all paths in ReadFile
operations using the given transformations.
Returns a natural transformation that transforms all paths in ReadFile
operations using the given transformations.
transforms input paths
transforms output paths (including those in errors)
Returns a natural transformation that transforms all paths in WriteFile
operations using the given functions.
Returns a natural transformation that transforms all paths in WriteFile
operations using the given functions.
transforms input paths
transforms output paths (including those in errors)