package dune-private-libs
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=f08e95de2828e891d68906e4430b5117032285207b5bc684fc5d45652eb30e0a
sha512=a45eb69c773396285f3785a1c2edb4644e376c02053ff23cbc39dd2244c9e99527bdaed34b10ad8a0f50a143ce22777a76a0cd19f3a2d313cea9560986fa6bb9
doc/dune-private-libs.dune_re/Dune_re/Glob/index.html
Module Dune_re.GlobSource
Shell-style regular expressions
val glob :
?anchored:bool ->
?pathname:bool ->
?match_backslashes:bool ->
?period:bool ->
?expand_braces:bool ->
?double_asterisk:bool ->
string ->
Dune_re__.Core.tImplements the semantics of shells patterns. The returned regular expression is unanchored by default.
Character '*' matches any sequence of characters and character '?' matches a single character. A sequence '...' matches any one of the enclosed characters. A sequence '^...' or '!...' matches any character *but* the enclosed characters. A backslash escapes the following character. The last character of the string cannot be a backslash.
anchored controls whether the regular expression will only match entire strings. Defaults to false.
pathname: If this flag is set, match a slash in string only with a slash in pattern and not by an asterisk ('*') or a question mark ('?') metacharacter, nor by a bracket expression ('') containing a slash. Defaults to true.
match_backslashes: If this flag is set, a forward slash will also match a backslash (useful when globbing Windows paths). Note that a backslash in the pattern will continue to escape the following character. Defaults to false.
period: If this flag is set, a leading period in string has to be matched exactly by a period in pattern. A period is considered to be leading if it is the first character in string, or if both pathname is set and the period immediately follows a slash. Defaults to true.
If expand_braces is true, braced sets will expand into multiple globs, e.g. a{x,y}b{1,2} matches axb1, axb2, ayb1, ayb2. As specified for bash, brace expansion is purely textual and can be nested. Defaults to false.
double_asterisk: If this flag is set, double asterisks ('**') will match slash characters, even if pathname is set. The period flag still applies. Default to true.
Same, but allows to choose whether dots at the beginning of a file name need to be explicitly matched (true) or not (false)
This version of glob also recognizes the pattern {..,..}
This version of glob' also recognizes the pattern {..,..}