FileSystem
Interface for the FileSystem where effects are denoted with the "Operation" type
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