Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data RegexType
- data WithCaptures
- data MacroDescriptor = MacroDescriptor {
- _md_source :: !RegexSource
- _md_samples :: ![String]
- _md_counter_samples :: ![String]
- _md_test_results :: ![TestResult]
- _md_parser :: !(Maybe FunctionID)
- _md_description :: !String
- newtype RegexSource = RegexSource {}
- data PreludeMacro
- presentPreludeMacro :: PreludeMacro -> String
- preludeMacros :: (Monad m, Functor m) => (String -> m r) -> RegexType -> WithCaptures -> m (Macros r)
- preludeMacroTable :: RegexType -> String
- preludeMacroSummary :: RegexType -> PreludeMacro -> String
- preludeMacroSources :: RegexType -> String
- preludeMacroSource :: RegexType -> PreludeMacro -> String
- preludeMacroEnv :: RegexType -> MacroEnv
- preludeMacroDescriptor :: RegexType -> MacroEnv -> PreludeMacro -> Maybe MacroDescriptor
Documentation
what kind of back end will be compiling the RE, and its match function
data WithCaptures Source #
do we need the captures in the RE or whould they be stripped out where possible
data MacroDescriptor Source #
describes a macro, giving the text of the RE and a si=ummary description
MacroDescriptor | |
|
newtype RegexSource Source #
a RE that should work for POSIX and PCRE with open brackets ('(') represented as follows: ( mere symbol (?: used for grouping only, not for captures (}: used for captures only, not for grouping (]: used for captures and grouping ( do not modify
data PreludeMacro Source #
an enumeration of all of the prelude macros
presentPreludeMacro :: PreludeMacro -> String Source #
naming the macros
preludeMacros :: (Monad m, Functor m) => (String -> m r) -> RegexType -> WithCaptures -> m (Macros r) Source #
preludeMacroTable :: RegexType -> String Source #
preludeMacroSummary :: RegexType -> PreludeMacro -> String Source #
preludeMacroSource :: RegexType -> PreludeMacro -> String Source #
preludeMacroEnv :: RegexType -> MacroEnv Source #