Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
data type of the regular expresions
resToRE :: [RE] -> RE Source #
function resToRE
sums up a list of regular expressions with the choice operation.
partDeriv :: RE -> Char -> [RE] Source #
function partDeriv
implements the partial derivative operations for regular expressions. We don't pay attention to the greediness flag here.
sigmaREsub :: RE -> [Char] Source #