| Copyright | Will Thompson, Iñaki García Etxebarria and Jonas Platte |
|---|---|
| License | LGPL-2.1 |
| Maintainer | Iñaki García Etxebarria (garetxe@gmail.com) |
| Safe Haskell | None |
| Language | Haskell2010 |
GI.GLib.Structs.Regex
Contents
Description
The g_regex_*() functions implement regular expression pattern matching using syntax and semantics similar to Perl regular expression.
Some functions accept a start_position argument, setting it differs
from just passing over a shortened string and setting #G_REGEX_MATCH_NOTBOL
in the case of a pattern that begins with any kind of lookbehind assertion.
For example, consider the pattern "BissB" which finds occurrences of "iss"
in the middle of words. ("B" matches only if the current position in the
subject is not a word boundary.) When applied to the string Mississipi
from the fourth byte, namely "issipi", it does not match, because "B" is
always false at the start of the subject, which is deemed to be a word
boundary. However, if the entire string is passed , but with
start_position set to 4, it finds the second occurrence of "iss" because
it is able to look behind the starting point to discover that it is
preceded by a letter.
Note that, unless you set the #G_REGEX_RAW flag, all the strings passed to these functions must be encoded in UTF-8. The lengths and the positions inside the strings are in bytes and not in characters, so, for instance, "xc3xa0" (i.e. "à") is two bytes long but it is treated as a single character. If you set #G_REGEX_RAW the strings can be non-valid UTF-8 strings and a byte is treated as a character, so "xc3xa0" is two bytes and two characters long.
When matching a pattern, "n" matches only against a "n" character in the string, and "r" matches only a "r" character. To match any newline sequence use "R". This particular group matches either the two-character sequence CR + LF ("rn"), or one of the single characters LF (linefeed, U+000A, "n"), VT vertical tab, U+000B, "v"), FF (formfeed, U+000C, "f"), CR (carriage return, U+000D, "r"), NEL (next line, U+0085), LS (line separator, U+2028), or PS (paragraph separator, U+2029).
The behaviour of the dot, circumflex, and dollar metacharacters are affected by newline characters, the default is to recognize any newline character (the same characters recognized by "R"). This can be changed with G_REGEX_NEWLINE_LF and #G_REGEX_NEWLINE_CRLF compile options, and with #G_REGEX_MATCH_NEWLINE_ANY, G_REGEX_MATCH_NEWLINE_LF and #G_REGEX_MATCH_NEWLINE_CRLF match options. These settings are also relevant when compiling a pattern if #G_REGEX_EXTENDED is set, and an unescaped "#" outside a character class is encountered. This indicates a comment that lasts until after the next newline.
When setting the %G_REGEX_JAVASCRIPT_COMPAT flag, pattern syntax and pattern
matching is changed to be compatible with the way that regular expressions
work in JavaScript. More precisely, a lonely ']' character in the pattern
is a syntax error; the '\x' escape only allows 0 to 2 hexadecimal digits, and
you must use the '\u' escape sequence with 4 hex digits to specify a unicode
codepoint instead of '\x' or 'x{....}'. If '\x' or '\u' are not followed by
the specified number of hex digits, they match x and u literally; also
'\U' always matches U instead of being an error in the pattern. Finally,
pattern matching is modified so that back references to an unset subpattern
group produces a match with the empty string instead of an error. See
pcreapi(3) for more information.
Creating and manipulating the same #GRegex structure from different threads is not a problem as #GRegex does not modify its internal state between creation and destruction, on the other hand #GMatchInfo is not threadsafe.
The regular expressions low-level functionalities are obtained through the excellent [PCRE](http:/www.pcre.org) library written by Philip Hazel.
- newtype Regex = Regex (ManagedPtr Regex)
- noRegex :: Maybe Regex
- regexCheckReplacement :: MonadIO m => Text -> m Bool
- regexErrorQuark :: MonadIO m => m Word32
- regexEscapeNul :: MonadIO m => Text -> Int32 -> m Text
- regexEscapeString :: MonadIO m => [Text] -> m Text
- data RegexGetCaptureCountMethodInfo
- regexGetCaptureCount :: MonadIO m => Regex -> m Int32
- data RegexGetCompileFlagsMethodInfo
- regexGetCompileFlags :: MonadIO m => Regex -> m [RegexCompileFlags]
- data RegexGetHasCrOrLfMethodInfo
- regexGetHasCrOrLf :: MonadIO m => Regex -> m Bool
- data RegexGetMatchFlagsMethodInfo
- regexGetMatchFlags :: MonadIO m => Regex -> m [RegexMatchFlags]
- data RegexGetMaxBackrefMethodInfo
- regexGetMaxBackref :: MonadIO m => Regex -> m Int32
- data RegexGetMaxLookbehindMethodInfo
- regexGetMaxLookbehind :: MonadIO m => Regex -> m Int32
- data RegexGetPatternMethodInfo
- regexGetPattern :: MonadIO m => Regex -> m Text
- data RegexGetStringNumberMethodInfo
- regexGetStringNumber :: MonadIO m => Regex -> Text -> m Int32
- data RegexMatchMethodInfo
- regexMatch :: MonadIO m => Regex -> Text -> [RegexMatchFlags] -> m (Bool, MatchInfo)
- data RegexMatchAllMethodInfo
- regexMatchAll :: MonadIO m => Regex -> Text -> [RegexMatchFlags] -> m (Bool, MatchInfo)
- data RegexMatchAllFullMethodInfo
- regexMatchAllFull :: MonadIO m => Regex -> [Text] -> Int32 -> [RegexMatchFlags] -> m MatchInfo
- data RegexMatchFullMethodInfo
- regexMatchFull :: MonadIO m => Regex -> [Text] -> Int32 -> [RegexMatchFlags] -> m MatchInfo
- regexMatchSimple :: MonadIO m => Text -> Text -> [RegexCompileFlags] -> [RegexMatchFlags] -> m Bool
- regexNew :: MonadIO m => Text -> [RegexCompileFlags] -> [RegexMatchFlags] -> m (Maybe Regex)
- data RegexRefMethodInfo
- regexRef :: MonadIO m => Regex -> m Regex
- data RegexReplaceMethodInfo
- regexReplace :: MonadIO m => Regex -> [Text] -> Int32 -> Text -> [RegexMatchFlags] -> m Text
- data RegexReplaceLiteralMethodInfo
- regexReplaceLiteral :: MonadIO m => Regex -> [Text] -> Int32 -> Text -> [RegexMatchFlags] -> m Text
- data RegexSplitMethodInfo
- regexSplit :: MonadIO m => Regex -> Text -> [RegexMatchFlags] -> m [Text]
- data RegexSplitFullMethodInfo
- regexSplitFull :: MonadIO m => Regex -> [Text] -> Int32 -> [RegexMatchFlags] -> Int32 -> m [Text]
- regexSplitSimple :: MonadIO m => Text -> Text -> [RegexCompileFlags] -> [RegexMatchFlags] -> m [Text]
- data RegexUnrefMethodInfo
- regexUnref :: MonadIO m => Regex -> m ()
Exported types
Instances
| BoxedObject Regex Source # | |
| ((~) * info (ResolveRegexMethod t Regex), MethodInfo * info Regex p) => IsLabel t (Regex -> p) Source # | |
| ((~) * info (ResolveRegexMethod t Regex), MethodInfo * info Regex p) => IsLabelProxy t (Regex -> p) Source # | |
| HasAttributeList * Regex Source # | |
| ((~) * signature (m ()), MonadIO m) => MethodInfo * RegexUnrefMethodInfo Regex signature Source # | |
| ((~) * signature ([Text] -> Int32 -> [RegexMatchFlags] -> Int32 -> m [Text]), MonadIO m) => MethodInfo * RegexSplitFullMethodInfo Regex signature Source # | |
| ((~) * signature (Text -> [RegexMatchFlags] -> m [Text]), MonadIO m) => MethodInfo * RegexSplitMethodInfo Regex signature Source # | |
| ((~) * signature ([Text] -> Int32 -> Text -> [RegexMatchFlags] -> m Text), MonadIO m) => MethodInfo * RegexReplaceLiteralMethodInfo Regex signature Source # | |
| ((~) * signature ([Text] -> Int32 -> Text -> [RegexMatchFlags] -> m Text), MonadIO m) => MethodInfo * RegexReplaceMethodInfo Regex signature Source # | |
| ((~) * signature (m Regex), MonadIO m) => MethodInfo * RegexRefMethodInfo Regex signature Source # | |
| ((~) * signature ([Text] -> Int32 -> [RegexMatchFlags] -> m MatchInfo), MonadIO m) => MethodInfo * RegexMatchFullMethodInfo Regex signature Source # | |
| ((~) * signature ([Text] -> Int32 -> [RegexMatchFlags] -> m MatchInfo), MonadIO m) => MethodInfo * RegexMatchAllFullMethodInfo Regex signature Source # | |
| ((~) * signature (Text -> [RegexMatchFlags] -> m (Bool, MatchInfo)), MonadIO m) => MethodInfo * RegexMatchAllMethodInfo Regex signature Source # | |
| ((~) * signature (Text -> [RegexMatchFlags] -> m (Bool, MatchInfo)), MonadIO m) => MethodInfo * RegexMatchMethodInfo Regex signature Source # | |
| ((~) * signature (Text -> m Int32), MonadIO m) => MethodInfo * RegexGetStringNumberMethodInfo Regex signature Source # | |
| ((~) * signature (m Text), MonadIO m) => MethodInfo * RegexGetPatternMethodInfo Regex signature Source # | |
| ((~) * signature (m Int32), MonadIO m) => MethodInfo * RegexGetMaxLookbehindMethodInfo Regex signature Source # | |
| ((~) * signature (m Int32), MonadIO m) => MethodInfo * RegexGetMaxBackrefMethodInfo Regex signature Source # | |
| ((~) * signature (m [RegexMatchFlags]), MonadIO m) => MethodInfo * RegexGetMatchFlagsMethodInfo Regex signature Source # | |
| ((~) * signature (m Bool), MonadIO m) => MethodInfo * RegexGetHasCrOrLfMethodInfo Regex signature Source # | |
| ((~) * signature (m [RegexCompileFlags]), MonadIO m) => MethodInfo * RegexGetCompileFlagsMethodInfo Regex signature Source # | |
| ((~) * signature (m Int32), MonadIO m) => MethodInfo * RegexGetCaptureCountMethodInfo Regex signature Source # | |
| type AttributeList Regex Source # | |
Methods
checkReplacement
regexCheckReplacement :: MonadIO m => Text -> m Bool Source #
errorQuark
regexErrorQuark :: MonadIO m => m Word32 Source #
escapeNul
regexEscapeNul :: MonadIO m => Text -> Int32 -> m Text Source #
escapeString
regexEscapeString :: MonadIO m => [Text] -> m Text Source #
getCaptureCount
getCompileFlags
data RegexGetCompileFlagsMethodInfo Source #
Instances
| ((~) * signature (m [RegexCompileFlags]), MonadIO m) => MethodInfo * RegexGetCompileFlagsMethodInfo Regex signature Source # | |
regexGetCompileFlags :: MonadIO m => Regex -> m [RegexCompileFlags] Source #
getHasCrOrLf
getMatchFlags
data RegexGetMatchFlagsMethodInfo Source #
Instances
| ((~) * signature (m [RegexMatchFlags]), MonadIO m) => MethodInfo * RegexGetMatchFlagsMethodInfo Regex signature Source # | |
regexGetMatchFlags :: MonadIO m => Regex -> m [RegexMatchFlags] Source #
getMaxBackref
getMaxLookbehind
getPattern
regexGetPattern :: MonadIO m => Regex -> m Text Source #
getStringNumber
match
data RegexMatchMethodInfo Source #
Instances
| ((~) * signature (Text -> [RegexMatchFlags] -> m (Bool, MatchInfo)), MonadIO m) => MethodInfo * RegexMatchMethodInfo Regex signature Source # | |
regexMatch :: MonadIO m => Regex -> Text -> [RegexMatchFlags] -> m (Bool, MatchInfo) Source #
matchAll
data RegexMatchAllMethodInfo Source #
Instances
| ((~) * signature (Text -> [RegexMatchFlags] -> m (Bool, MatchInfo)), MonadIO m) => MethodInfo * RegexMatchAllMethodInfo Regex signature Source # | |
regexMatchAll :: MonadIO m => Regex -> Text -> [RegexMatchFlags] -> m (Bool, MatchInfo) Source #
matchAllFull
data RegexMatchAllFullMethodInfo Source #
Instances
| ((~) * signature ([Text] -> Int32 -> [RegexMatchFlags] -> m MatchInfo), MonadIO m) => MethodInfo * RegexMatchAllFullMethodInfo Regex signature Source # | |
regexMatchAllFull :: MonadIO m => Regex -> [Text] -> Int32 -> [RegexMatchFlags] -> m MatchInfo Source #
matchFull
data RegexMatchFullMethodInfo Source #
Instances
| ((~) * signature ([Text] -> Int32 -> [RegexMatchFlags] -> m MatchInfo), MonadIO m) => MethodInfo * RegexMatchFullMethodInfo Regex signature Source # | |
regexMatchFull :: MonadIO m => Regex -> [Text] -> Int32 -> [RegexMatchFlags] -> m MatchInfo Source #
matchSimple
regexMatchSimple :: MonadIO m => Text -> Text -> [RegexCompileFlags] -> [RegexMatchFlags] -> m Bool Source #
new
regexNew :: MonadIO m => Text -> [RegexCompileFlags] -> [RegexMatchFlags] -> m (Maybe Regex) Source #
ref
data RegexRefMethodInfo Source #
replace
data RegexReplaceMethodInfo Source #
Instances
| ((~) * signature ([Text] -> Int32 -> Text -> [RegexMatchFlags] -> m Text), MonadIO m) => MethodInfo * RegexReplaceMethodInfo Regex signature Source # | |
regexReplace :: MonadIO m => Regex -> [Text] -> Int32 -> Text -> [RegexMatchFlags] -> m Text Source #
replaceLiteral
data RegexReplaceLiteralMethodInfo Source #
Instances
| ((~) * signature ([Text] -> Int32 -> Text -> [RegexMatchFlags] -> m Text), MonadIO m) => MethodInfo * RegexReplaceLiteralMethodInfo Regex signature Source # | |
regexReplaceLiteral :: MonadIO m => Regex -> [Text] -> Int32 -> Text -> [RegexMatchFlags] -> m Text Source #
split
data RegexSplitMethodInfo Source #
Instances
| ((~) * signature (Text -> [RegexMatchFlags] -> m [Text]), MonadIO m) => MethodInfo * RegexSplitMethodInfo Regex signature Source # | |
regexSplit :: MonadIO m => Regex -> Text -> [RegexMatchFlags] -> m [Text] Source #
splitFull
data RegexSplitFullMethodInfo Source #
Instances
| ((~) * signature ([Text] -> Int32 -> [RegexMatchFlags] -> Int32 -> m [Text]), MonadIO m) => MethodInfo * RegexSplitFullMethodInfo Regex signature Source # | |
regexSplitFull :: MonadIO m => Regex -> [Text] -> Int32 -> [RegexMatchFlags] -> Int32 -> m [Text] Source #
splitSimple
regexSplitSimple :: MonadIO m => Text -> Text -> [RegexCompileFlags] -> [RegexMatchFlags] -> m [Text] Source #
unref
data RegexUnrefMethodInfo Source #
regexUnref :: MonadIO m => Regex -> m () Source #