úÎZÝV5      !"#$%&'()*+,-./01234non-portable (MPTC+FD) experimental>libraries@haskell.org, textregexlazy@personal.mightyreason.com Safe-Inferred*Used in results of RegexContext instances *Used in results of RegexContext instances *Used in results of RegexContext instances *Used in results of RegexContext instances @Extract allows for indexing operations on String or ByteString. before is a renamed take after is a renamed drop CFor when there is no match, this can construct an empty data value 5extract takes an offset and length and has a default  implementation of -extract (off,len) source = before len (after  off source) ARegexContext is the polymorphic interface to do matching. Since  target: is polymorphic you may need to suply the type explicitly * in contexts where it cannot be inferred.  The monadic  version uses 5 to report when the regex  has no match in source. Two examples: Here the contest 6 is inferred:  \ [ c | let notVowel = makeRegex "[^aeiou]" :: Regex, c <- ['a'..'z'], match notVowel [c] ]   "bcdfghjklmnpqrstvwxyz" Here the context '[String]' must be supplied: 1 let notVowel = (makeRegex "[^aeiou]" :: Regex ) = in do { c <- ['a'..'z'] ; matchM notVowel [c] } :: [String]  W ["b","c","d","f","g","h","j","k","l","m","n","p","q","r","s","t","v","w","x","y","z"] =RegexLike is parametrized on a regular expression type and a % source type to run the matching on. CThere are default implementations: matchTest and matchOnceText use E matchOnce; matchCount and matchAllText use matchAll. matchOnce uses E matchOnceText and matchAll uses matchAllText. So a minimal complete D instance need to provide at least (matchOnce or matchOnceText) and ? (matchAll or matchAllText). Additional definitions are often / provided where they will increase efficiency.  ` [ c | let notVowel = makeRegex "[^aeiou]" :: Regex, c <- ['a'..'z'], matchTest notVowel [c] ]   "bcdfghjklmnpqrstvwxyz" 9The strictness of these functions is instance dependent. @This returns the first match in the source (it checks the whole : source, not just at the start). This returns an array of 8 (offset,length) index pairs for the match and captured C substrings. The offset is 0-based. A (-1) for an offset means a C failure to match. The lower bound of the array is 0, and the 0th 5 element is the (offset,length) for the whole match. >matchAll returns a list of matches. The matches are in order A and do not overlap. If any match succeeds but has 0 length then * this will be the last match in the list. 9matchCount returns the number of non-overlapping matches  returned by matchAll. ;matchTest return True if there is a match somewhere in the < source (it checks the whole source not just at the start). ;This is matchAll with the actual subsections of the source 2 instead of just the (offset,length) information. >This can return a tuple of three items: the source before the B match, an array of the match and captured substrings (with their + indices), and the source after the match. 9RegexMaker captures the creation of the compiled regular 4 expression from a source type and an option type.  and   report parse error using  MonadError, usually (Either  String regex). The 4 function has a default implementation that depends  on makeRegexOpts and used # and $.  Similarly for  and . *There are also default implementaions for  and  0 in terms of each other. So a minimal instance 9 definition needs to only define one of these, hopefully  . 1make using the defaultCompOpt and defaultExecOpt Specify your own options Mmake using the defaultCompOpt and defaultExecOpt, reporting errors with fail 5Specify your own options, reporting errors with fail ARather than carry them around spearately, the options for how to E execute a regex are kept as part of the regex. There are two types C of options. Those that can only be specified at compilation time E and never changed are CompOpt. Those that can be changed later and C affect how matching is performed are ExecOpt. The actually types " for these depend on the backend. %"forget old flags and use new ones &retrieve the current flags '*This is the same as the type from JRegex. /A0 based array, with 0th index indicating the full match. If the ; full match location is not available, represent as (0,0). 0non-negative length of a match 170 based index from start of source, or (-1) for unused 6  !%no options set at all in the backend "%no options set at all in the backend #<reasonable options (extended,caseSensitive,multiline regex) $<reasonable options (extended,caseSensitive,multiline regex) %&'()*+,-./01789:2  !"#$%&'()*+,-./01210/.'()*+,- !"#$%&      !"#$%&'()*+,-./01789:non-portable (MPTC+FD) experimental>libraries@haskell.org, textregexlazy@personal.mightyreason.com Safe-Inferred ;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ ;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZnon-portable (MPTC+FD) experimental>libraries@haskell.org, textregexlazy@personal.mightyreason.com Safe-Inferred23  !"#$%&'()*+,-./01222,non-portable (Text.Regex.Base needs MPTC+FD) experimental>libraries@haskell.org, textregexlazy@personal.mightyreason.com Safe-Inferred[\343434[\34]        !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_DE`regex-base-0.93.2Text.Regex.Base.RegexLikeText.Regex.BaseText.Regex.Base.ImplText.Regex.Base.ContextAllTextMatchesgetAllTextMatches AllMatches getAllMatchesAllTextSubmatchesgetAllTextSubmatches AllSubmatchesgetAllSubmatchesExtractbeforeafteremptyextract RegexContextmatchmatchM RegexLike matchOncematchAll matchCount matchTest matchAllText matchOnceText RegexMaker makeRegex makeRegexOpts makeRegexMmakeRegexOptsM RegexOptions blankCompOpt blankExecOptdefaultCompOptdefaultExecOpt setExecOpts getExecOpts MatchResultMRmrBeforemrMatchmrAfter mrSubListmrSubs MatchText MatchArray MatchLength MatchOffsetgetVersion_Text_Regex_Base polymatch polymatchMbaseGHC.Basefailghc-prim GHC.TypesBool $fExtractSeq$fExtractByteString$fExtractByteString0 $fExtract[] nullArraynullFail nullFailText nullFail' regexFailedactOn$fRegexContextabAllTextMatches$fRegexContextabAllTextMatches0$fRegexContextabAllTextMatches1$fRegexContextab[]$fRegexContextabAllTextMatches2$fRegexContextabAllTextMatches3$fRegexContextabAllTextMatches4$fRegexContextab[]0$fRegexContextabAllMatches$fRegexContextab[]1$fRegexContextabAllMatches0$fRegexContextabAllMatches1!$fRegexContextabAllTextSubmatches"$fRegexContextabAllTextSubmatches0"$fRegexContextabAllTextSubmatches1"$fRegexContextabAllTextSubmatches2$fRegexContextabAllSubmatches$fRegexContextabArray$fRegexContextab(,,,)$fRegexContextab(,,)$fRegexContextab(,,)0$fRegexContextabMatchResult$fRegexContextab(,)$fRegexContextabInt$fRegexContextab()$fRegexContextabBool