Text.Regex.Deriv.RE

Documentation

data RE

data type of the regular expresions

Constructors

Phi

Empty

an empty exp

L Char

a literal / a character

Choice [RE] GFlag

a choice exp 'r1 + r2'

ChoiceInt [RE]

internal choice used in the BitCode version

Seq RE RE

a pair exp '(r1,r2)'

Star RE GFlag

a kleene's star exp 'r*'

Any

.

Not [Char]

excluding characters e.g. [^abc]

Instances

Eq RE

the eq instance

Ord RE

Show RE

Hashable RE

Hashable RE

Key RE

IsGreedy RE

Simplifiable RE

IsPhi RE

IsEpsilon RE

function isEpsilon checks whether epsilon = r

PosEpsilon RE

RegexOptions Regex CompOption ExecOption

resToRE :: [RE] -> RE

function resToRE sums up a list of regular expressions with the choice operation.

partDeriv :: RE -> Char -> [RE]

function partDeriv implements the partial derivative operations for regular expressions. We don't pay attention to the greediness flag here.

partDerivSub :: RE -> Char -> [RE]

sigmaRE :: RE -> [Char]

function sigmaRE returns all characters appearing in a reg exp.

sigmaREsub :: RE -> [Char]