| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
Description | |||||||||||||||||||||||||
A module for regular expression matching, adapted for XML DTDs. This module is based on the module RE. Author .\artin Schmidt | |||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||
data RE a | |||||||||||||||||||||||||
| |||||||||||||||||||||||||
checkRE :: Show a => RE a -> String | |||||||||||||||||||||||||
Checks if an input matched a regular expression. The function should be called after matches. Was the sentence used in matches in the language of the regular expression? -> matches e s == s `in` L(e)?
| |||||||||||||||||||||||||
matches :: RE String -> XmlTrees -> RE String | |||||||||||||||||||||||||
Derives a regular expression with respect to a list of elements.
| |||||||||||||||||||||||||
printRE :: Show a => RE a -> String | |||||||||||||||||||||||||
Constructs a string representation of a regular expression.
| |||||||||||||||||||||||||
re_unit :: RE a | |||||||||||||||||||||||||
Constructs a regular expression for an empty sequence.
| |||||||||||||||||||||||||
re_zero :: String -> RE a | |||||||||||||||||||||||||
Constructs a regular expression for an empty set.
| |||||||||||||||||||||||||
re_sym :: a -> RE a | |||||||||||||||||||||||||
Constructs a regular expression for accepting a symbol
| |||||||||||||||||||||||||
re_rep :: RE a -> RE a | |||||||||||||||||||||||||
Constructs an optional repetition (*) of a regular expression
| |||||||||||||||||||||||||
re_plus :: RE a -> RE a | |||||||||||||||||||||||||
Constructs a repetition (+) of a regular expression
| |||||||||||||||||||||||||
re_opt :: RE a -> RE a | |||||||||||||||||||||||||
Constructs an option (?) of a regular expression
| |||||||||||||||||||||||||
re_seq :: RE a -> RE a -> RE a | |||||||||||||||||||||||||
Constructs a sequence (,) of two regular expressions
| |||||||||||||||||||||||||
re_alt :: RE a -> RE a -> RE a | |||||||||||||||||||||||||
Constructs an alternative (|) of two regular expressions
| |||||||||||||||||||||||||
re_dot :: RE a | |||||||||||||||||||||||||
Constructs a regular expression for accepting any singel symbol
| |||||||||||||||||||||||||
Produced by Haddock version 0.8 |