Text.Regex.DFA.Wrap

regex-dfa-0.91: Replaces/Enhances Text.Regex

Text.Regex.DFA.Wrap

Description

The Text.Regex.Lib.WrapDFAEngine provides the backend for Text.Regex.DFA. This provides the Regex type and RegexOptions instance for them, and RegexMaker instances for String and ByteString.

Details on the DFA engine can be found in Text.Regex.DFA and license information in Text.Regex.Lazy.DFAEngine.

Synopsis

data Regex = Regex {

asPattern :: Pattern

asLexer :: Lexer

compOptions :: CompOption

execOptions :: ExecOption

}

data CompOption = CompOption {

caseSensitive :: Bool

multiline :: Bool

}

data ExecOption = ExecOption

(=~) :: (RegexMaker Regex CompOption ExecOption source, RegexContext Regex source1 target) => source1 -> source -> target

(=~~) :: (RegexMaker Regex CompOption ExecOption source, RegexContext Regex source1 target, Monad m) => source1 -> source -> m target

makeCompat :: CompOption -> Pattern -> Regexp

Documentation

data Regex

The DFA backend specific Regex type, used by this module's =~ and =~~ operators.

Constructors

Regex

asPattern :: Pattern
asLexer :: Lexer
compOptions :: CompOption
execOptions :: ExecOption

Instances

RegexLike Regex ByteString

RegexLike Regex String

RegexContext Regex ByteString ByteString

RegexContext Regex String String

RegexOptions Regex CompOption ExecOption

RegexMaker Regex CompOption ExecOption ByteString

RegexMaker Regex CompOption ExecOption String

RegexMaker Regex CompOption ExecOption (Seq Char)

RegexLike Regex (Seq Char)

RegexContext Regex (Seq Char) (Seq Char)

data CompOption

RegexOption control whether the pattern is multiline or case-sensitive like Text.Regex and whether to capture the subgroups (1, 2, etc).

Constructors

CompOption

caseSensitive :: Bool
multiline :: Bool

Instances

RegexOptions Regex CompOption ExecOption

RegexMaker Regex CompOption ExecOption ByteString

RegexMaker Regex CompOption ExecOption String

RegexMaker Regex CompOption ExecOption (Seq Char)

data ExecOption

Constructors

ExecOption

Instances

RegexOptions Regex CompOption ExecOption

RegexMaker Regex CompOption ExecOption ByteString

RegexMaker Regex CompOption ExecOption String

RegexMaker Regex CompOption ExecOption (Seq Char)

(=~) :: (RegexMaker Regex CompOption ExecOption source, RegexContext Regex source1 target) => source1 -> source -> target

This is the pure functional matching operator. If the target cannot be produced then some empty result will be returned. If there is an error in processing, then error will be called.

(=~~) :: (RegexMaker Regex CompOption ExecOption source, RegexContext Regex source1 target, Monad m) => source1 -> source -> m target

This is the monadic matching operator. If a single match fails, then fail will be called.

makeCompat :: CompOption -> Pattern -> Regexp

If (dfaClean pat) is True then (makeCompat pat) should not throw an error. This translates a Pattern into a DFA Regex

Produced by Haddock version 0.8