Text.RE.ZeInternals.TestBench.Parsers

The Test Bench

type MacroEnv = HashMap MacroID MacroDescriptor

each macro can reference others, the whole environment being required for each macro, so we use a Lazy HashMap

data MacroDescriptor

describes a macro, giving the text of the RE and a si=ummary description

Constructors

MacroDescriptor

Fields

• macroSource :: !RegexSource

  the RE

• macroSamples :: ![String]

  some sample matches

• macroCounterSamples :: ![String]

  some sample non-matches

• macroTestResults :: ![TestResult]

  validation test results

• macroParser :: !(Maybe FunctionID)

  WA, the parser function

• macroDescription :: !String

  summary comment

Instances

Show MacroDescriptor

Methods

showsPrec :: Int -> MacroDescriptor -> ShowS

show :: MacroDescriptor -> String

showList :: [MacroDescriptor] -> ShowS

newtype RegexSource

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

• _RegexSource :: String

Instances

Show RegexSource

Methods

showsPrec :: Int -> RegexSource -> ShowS

show :: RegexSource -> String

showList :: [RegexSource] -> ShowS

IsString RegexSource

Methods

fromString :: String -> RegexSource

data WithCaptures

do we need the captures in the RE or whould they be stripped out where possible

Constructors

InclCaptures

include all captures

ExclCaptures

remove captures where possible

Instances

Eq WithCaptures

Methods

(==) :: WithCaptures -> WithCaptures -> Bool

(/=) :: WithCaptures -> WithCaptures -> Bool

Ord WithCaptures

Methods

compare :: WithCaptures -> WithCaptures -> Ordering

(<) :: WithCaptures -> WithCaptures -> Bool

(<=) :: WithCaptures -> WithCaptures -> Bool

(>) :: WithCaptures -> WithCaptures -> Bool

(>=) :: WithCaptures -> WithCaptures -> Bool

max :: WithCaptures -> WithCaptures -> WithCaptures

min :: WithCaptures -> WithCaptures -> WithCaptures

Show WithCaptures

Methods

showsPrec :: Int -> WithCaptures -> ShowS

show :: WithCaptures -> String

showList :: [WithCaptures] -> ShowS

data RegexType

what flavour of regex are we dealing with

Instances

Show RegexType

Methods

showsPrec :: Int -> RegexType -> ShowS

show :: RegexType -> String

showList :: [RegexType] -> ShowS

isTDFA :: RegexType -> Bool

test RegexType for TDFA/PCREness

isPCRE :: RegexType -> Bool

test RegexType for TDFA/PCREness

presentRegexType :: RegexType -> String

Constructing a MacrosEnv

mkMacros :: (Monad m, Functor m) => (String -> m r) -> RegexType -> WithCaptures -> MacroEnv -> m (Macros r)

construct a macro table suitable for use with the RE compilers

Formatting Macros

formatMacroTable :: RegexType -> MacroEnv -> String

format a macros table as a markdown table

formatMacroSummary :: RegexType -> MacroEnv -> MacroID -> String

generate a plain text summary of a macro

formatMacroSources :: RegexType -> WithCaptures -> MacroEnv -> String

list the source REs for each macro in plain text

formatMacroSource :: RegexType -> WithCaptures -> MacroEnv -> MacroID -> String

list the source of a single macro in plain text

Formatting Macros

testMacroEnv :: String -> RegexType -> MacroEnv -> IO Bool

test that a MacroEnv is passing all of its built-in tests

runTests :: (Eq a, Show a) => RegexType -> (String -> Maybe a) -> [(String, a)] -> MacroEnv -> MacroID -> MacroDescriptor -> MacroDescriptor

runTests' :: (Eq a, Show a) => RegexType -> (Match String -> Maybe a) -> [(String, a)] -> MacroEnv -> MacroID -> MacroDescriptor -> MacroDescriptor

Parsing

parseInteger :: Replace a => a -> Maybe Int

parseHex :: Replace a => a -> Maybe Int

parseDouble :: Replace a => a -> Maybe Double

parseString :: Replace a => a -> Maybe Text

parseSimpleString :: Replace a => a -> Maybe Text

parseDate :: Replace a => a -> Maybe Day

parseSlashesDate :: Replace a => a -> Maybe Day

parseTimeOfDay :: Replace a => a -> Maybe TimeOfDay

parseTimeZone :: Replace a => a -> Maybe TimeZone

parseDateTime :: Replace a => a -> Maybe UTCTime

parseDateTime8601 :: Replace a => a -> Maybe UTCTime

parseDateTimeCLF :: Replace a => a -> Maybe UTCTime

parseShortMonth :: Replace a => a -> Maybe Int

shortMonthArray :: Array Int Text

type IPV4Address = (Word8, Word8, Word8, Word8)

parseIPv4Address :: Replace a => a -> Maybe IPV4Address

data Severity

Constructors

Emerg

Alert

Crit

Err

Warning

Notice

Info

Debug

Instances

Bounded Severity

Methods

minBound :: Severity

maxBound :: Severity

Enum Severity

Methods

succ :: Severity -> Severity

pred :: Severity -> Severity

toEnum :: Int -> Severity

fromEnum :: Severity -> Int

enumFrom :: Severity -> [Severity]

enumFromThen :: Severity -> Severity -> [Severity]

enumFromTo :: Severity -> Severity -> [Severity]

enumFromThenTo :: Severity -> Severity -> Severity -> [Severity]

Eq Severity

Methods

(==) :: Severity -> Severity -> Bool

(/=) :: Severity -> Severity -> Bool

Ord Severity

Methods

compare :: Severity -> Severity -> Ordering

(<) :: Severity -> Severity -> Bool

(<=) :: Severity -> Severity -> Bool

(>) :: Severity -> Severity -> Bool

(>=) :: Severity -> Severity -> Bool

max :: Severity -> Severity -> Severity

min :: Severity -> Severity -> Severity

Show Severity

Methods

showsPrec :: Int -> Severity -> ShowS

show :: Severity -> String

showList :: [Severity] -> ShowS

parseSeverity :: Replace a => a -> Maybe Severity

severityKeywords :: Severity -> (Text, [Text])