- 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
:: 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 FileSystem
s.
foldFiles :: Either (t -> File -> t) (File -> t -> t) -> t -> FileSystem -> tSource
An usage of foldFileSystem
, folding only File
s, 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
.