RegExDot.DSL

AUTHOR

Dr. Alistair Ward

DESCRIPTION

• Defines binary operators, to form a Domain-specific Language, by which to compose Concatenations from Patterns.
• Each operator quantifies the specified Pattern, & prepends it to the specified Concatenation.

TODO

Could [] & Meta be instances of a type-class which has methods (-:) etc., allowing the former to prepend captureGroup & the latter Require ?

Functions

Operators

(-:) :: Pattern a -> Concatenation a -> Concatenation a infixr 5

Prepend an unrepeated Pattern, to the specified Concatenation.

(?:) :: Pattern a -> Concatenation a -> Concatenation a infixr 5

Prepend an optional Pattern, to the specified Concatenation.

(??:) :: Pattern a -> Concatenation a -> Concatenation a infixr 5

A non-greedy version of ?:.

(*:) :: Pattern a -> Concatenation a -> Concatenation a infixr 5

Prepend a Pattern, repeatable zero or more times, to the specified Concatenation.

(*?:) :: Pattern a -> Concatenation a -> Concatenation a infixr 5

A non-greedy version of *:.

(+:) :: Pattern a -> Concatenation a -> Concatenation a infixr 5

Prepend a Pattern, repeatable one or more times, to the specified Concatenation.

(+?:) :: Pattern a -> Concatenation a -> Concatenation a infixr 5

A non-greedy version of +:.

(#->#:) :: (Pattern a, RepetitionBounds) -> Concatenation a -> Concatenation a infixr 5

Prepend a Pattern, repeated a range of times, to the specified Concatenation.

(#->#?:) :: (Pattern a, RepetitionBounds) -> Concatenation a -> Concatenation a infixr 5

A non-greedy version of #->#:.

(#->:) :: (Pattern a, Repetitions) -> Concatenation a -> Concatenation a infixr 5

Prepend a Pattern, repeated at least a specified number of times, to the specified Concatenation.

(#->?:) :: (Pattern a, Repetitions) -> Concatenation a -> Concatenation a infixr 5

A non-greedy version of #->:.

(#:) :: (Pattern a, Repetitions) -> Concatenation a -> Concatenation a infixr 5

Prepend a Pattern, repeated a precise number of times, to the specified Concatenation.

(<~>) infixr 5

Arguments

:: AnchorSpecification

A specification for the anchors required around the expression.

-> Concatenation a

The bare list of repeatable patterns to anchor.

-> ExtendedRegEx a

The completed regex.

• Sandwiches a Concatenation between optional Anchors to construct a ExtendedRegEx.
• Accounts for the unusual requirement to place an Stern at the start of the Concatenation, or an Bow at the end.