Text.Regex.PDeriv.RE

Documentation

data RE

data type of the regular expresions

Constructors

Phi

Empty

an empty exp

L Char

a literal / a character

Choice RE RE GFlag

a choice exp 'r1 + r2'

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

Methods

(==) :: RE -> RE -> Bool

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

Show RE

A pretty printing function for regular expression

Methods

showsPrec :: Int -> RE -> ShowS

show :: RE -> String

showList :: [RE] -> ShowS

Key RE

Methods

hash :: RE -> [Int]

IsGreedy RE

Methods

isGreedy :: RE -> Bool

Simplifiable RE

Methods

simplify :: RE -> RE

IsPhi RE

Methods

isPhi :: RE -> Bool

IsEpsilon RE

function isEpsilon checks whether epsilon = r

Methods

isEpsilon :: RE -> Bool

PosEpsilon RE

Methods

posEpsilon :: RE -> Bool

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]