:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulefilepattern-0.1.3Haskell2010
A module for matching files using patterns such as "src/**/*.png" for all .png files
recursively under the src directory. See ?== for the semantics of
FilePattern values. Features:
All matching is O(n). Most functions precompute some information given only one argument.
Use match and substitute to extract suitable
strings from the * and ** matches, and substitute them back into other patterns.
Use step and matchMany to perform bulk matching of many patterns against many paths simultaneously.
Use System.FilePattern.Directory to perform optimised directory traverals using patterns.
A type synonym for file patterns, containing ** and *. For the syntax
and semantics of FilePattern see ?==.
Most FilePath values lacking literal . and .. components are suitable as FilePattern values which match
only that specific file. On Windows \ is treated as equivalent to /.
You can write FilePattern values as a literal string, or build them
up using the operators <.> and </> (but be aware that "" produces </> "foo""./foo").
Match a FilePattern against a FilePath. There are two special forms:
* matches part of a path component, excluding any separators.
** as a path component matches an arbitrary number of path components.
Some examples:
test.c matches test.c and nothing else.
*.c matches all .c files in the current directory, so file.c matches,
but file.h and dir/file.c don't.
**/*.c matches all .c files anywhere on the filesystem,
so file.c, dir/file.c, dir1/dir2/file.c and /path/to/file.c all match,
but file.h and dir/file.h don't.
dir/*/* matches all files one level below dir, so dir/one/file.c and
dir/two/file.h match, but file.c, one/dir/file.c, dir/file.h
and dir/one/two/file.c don't.
Patterns with constructs such as foo/../bar will never match
normalised FilePath values, so are unlikely to be correct.
Like ?==, but returns Nothing on if there is no match, otherwise Just with the list of fragments matching each wildcard. For example:
isJust (match p x) == (p ?== x)
match "**/*.c" "test.txt" == Nothing
match "**/*.c" "foo.c" == Just ["","foo"]
match "**/*.c" "bar/baz/foo.c" == Just ["bar/baz/","foo"]
On Windows any \ path separators will be replaced by /.
Given a successful match, substitute it back in to a pattern with the same arity. Raises an error if the number of parts does not match the arity of the pattern.
p ?== x ==> substitute (fromJust $ match p x) p == x
substitute "**/*.c" ["dir","file"] == "dir/file.c"
Efficient matching of a set of FilePatterns against a set of FilePaths. First call step passing in all the FilePatterns, with a tag for each one. Next call the methods of Step, providing the components of the FilePaths in turn.
Useful for efficient bulk searching, particularly directory scanning, where you can avoid descending into directories which cannot match.
Like step but using () as the tag for each FilePattern.
What we know about the next step values.
StepOnly [String]StepEverythingAll calls to stepApply will return stepNext being StepEverything with a non-empty stepDone.
StepUnknownWe have no additional information about the output from stepApply.
Eq StepNextDefined in filepattern-0.1.3 · System.FilePattern.StepOrd StepNextDefined in filepattern-0.1.3 · System.FilePattern.StepShow StepNextDefined in filepattern-0.1.3 · System.FilePattern.StepSemigroup StepNextDefined in filepattern-0.1.3 · System.FilePattern.StepMonoid StepNextDefined in filepattern-0.1.3 · System.FilePattern.StepEfficiently match many FilePatterns against many FilePaths in a single operation. Note that the returned matches are not guaranteed to be in any particular order.
matchMany [(a, pat)] [(b, path)] == maybeToList (map (a,b,) (match pat path))