System.FileSystem.Across
- buildFileSystem :: [Path] -> FileSystem
- fileSystemList :: FileSystem -> [(Either DirName File, FilePath)]
- foldFileSystem :: FilePath -> Either (FilePath -> t -> Either DirName File -> t) (FilePath -> Either DirName File -> t -> t) -> t -> FileSystem -> t
- foldFiles :: Either (t -> File -> t) (File -> t -> t) -> t -> FileSystem -> t
- mapFileSystem :: InApp DirName -> InApp File -> InApp FileSystem
Documentation
buildFileSystem :: [Path] -> FileSystemSource
fileSystemList :: FileSystem -> [(Either DirName File, FilePath)]Source
Arguments
| :: FilePath | Root path |
| -> Either (FilePath -> t -> Either DirName File -> t) (FilePath -> Either DirName File -> t -> t) | Folding operator, with current |
| -> t | The initial value |
| -> FileSystem | The |
| -> t | Result |
Folding function for FileSystems.
foldFiles :: Either (t -> File -> t) (File -> t -> t) -> t -> FileSystem -> tSource
An usage of foldFileSystem, folding only Files, ignoring the FilePath where they are.
mapFileSystem :: InApp DirName -> InApp File -> InApp FileSystemSource
Map a pair of applications (one over DirName, and the other over File) through a FileSystem.