| |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||
Text.Regex.TDFA.TDFA converts the QNFA from TNFA into the DFA. A DFA state corresponds to a Set of QNFA states, repesented as list of Index which are used to lookup the DFA state in a lazy Trie which holds all possible subsets of QNFA states. | |||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||||
patternToRegex :: (Pattern, (GroupIndex, DoPa)) -> CompOption -> ExecOption -> Regex | |||||||||||||||||||||||||||
data DFA | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
data DT | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
examineDFA :: Regex -> String | |||||||||||||||||||||||||||
nfaToDFA :: ((Index, Array Index QNFA), Array Tag OP, Array GroupIndex [GroupInfo]) -> CompOption -> ExecOption -> Regex | |||||||||||||||||||||||||||
dfaMap :: DFA -> Map SetIndex DFA | |||||||||||||||||||||||||||
Produced by Haddock version 2.3.0 |