FileSystem
Interface for the FileSystem where effects are denoted with the "Operation" type
Value members
Concrete methods
copy the content of a directory to another.
copy the content of a directory to another.
- Value Params
- dest
destination directory path
- src
path of the directory to copy
copy a file to a destination directory
copy a file to a destination directory
- Value Params
- dest
destination directory path
- filePath
path of the file to copy
create a the directory containing a file and its parent directories
create a the directory containing a file and its parent directories
Unjar the jar (or zip file) specified by "path" to the "dest" directory. Filters files which shouldn't be extracted with a regular expression.
Unjar the jar (or zip file) specified by "path" to the "dest" directory. Filters files which shouldn't be extracted with a regular expression.
- Value Params
- dest
destination directory path
- jarUrl
path of the jar file
- regexFilter
regular expression filtering files which shouldn't be extracted; the expression must capture the path of an entry as group 1 which will then be used relative to dirPath as target path for that entry
Inherited methods
filter files according to a regex pattern
filter files according to a regex pattern
- Inherited from
- FilePathReader
- Returns
the regular expression equivalent to a glob pattern (see the specs for Fragments)
- Inherited from
- FilePathReader
succeeds if the file is a directory
succeeds if the file is a directory
- Inherited from
- FilePathReader
succeeds if the file is not a directory
succeeds if the file is not a directory
- Inherited from
- FilePathReader
read the content of a file as an Array of Bytes
read the content of a file as an Array of Bytes
- Inherited from
- FilePathReader