package dune-private-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=d2f617dfd34f7d882f4181a22e359bb90b46669ed87b2650eb842f0532fc696c
sha512=9bd4c5825076c88192425f1462fedab1100d5b83a75dfe65592255b127690503b01b61c964990272abe54f0a01a14587ca464e438fa8b9d8560d2576773f39a8
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 {..,..}