| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Text.RE.Internal.PreludeMacros
- 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
Constructors
| InclCaptures | |
| ExclCaptures |
Instances
data MacroDescriptor Source
describes a macro, giving the text of the RE and a si=ummary description
Constructors
| MacroDescriptor | |
Fields
| |
Instances
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
Constructors
| RegexSource | |
Fields | |
Instances
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
preludeMacroSummary :: RegexType -> PreludeMacro -> String Source
preludeMacroSource :: RegexType -> PreludeMacro -> String Source