Sophie

Sophie

distrib > Mandriva > 2010.1 > x86_64 > media > contrib-release > by-pkgid > 51057bcd013d992f61ce4c2b0a4565e3 > files > 194

haskell-hxt-8.3.2-1mdv2010.1.x86_64.rpm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--Rendered using the Haskell Html Library v0.2-->
<HTML
><HEAD
><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8"
><TITLE
>Text.XML.HXT.DTDValidation.RE</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
></SCRIPT
><SCRIPT TYPE="text/javascript"
>window.onload = function () {setSynopsis("mini_Text-XML-HXT-DTDValidation-RE.html")};</SCRIPT
></HEAD
><BODY
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topbar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" "
></TD
><TD CLASS="title"
>hxt-8.3.2: A collection of tools for processing XML with Haskell.</TD
><TD CLASS="topbut"
><A HREF="index.html"
>Contents</A
></TD
><TD CLASS="topbut"
><A HREF="doc-index.html"
>Index</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="modulebar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><FONT SIZE="6"
>Text.XML.HXT.DTDValidation.RE</FONT
></TD
><TD ALIGN="right"
><TABLE CLASS="narrow" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="infohead"
>Portability</TD
><TD CLASS="infoval"
>portable</TD
></TR
><TR
><TD CLASS="infohead"
>Stability</TD
><TD CLASS="infoval"
>experimental</TD
></TR
><TR
><TD CLASS="infohead"
>Maintainer</TD
><TD CLASS="infoval"
>Uwe Schmidt (uwe@fh-wedel.de)</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
><P
>A module for regular expression matching based on derivatives of regular expressions.
</P
><P
>The code was taken from Joe English (<A HREF="http://www.flightlab.com/~joe/sgml/validate.html"
>http://www.flightlab.com/~joe/sgml/validate.html</A
>).
   Tested and extended by Martin Schmidt.
</P
><P
>Further references for the algorithm:
</P
><P
>Janusz A. Brzozowski.
</P
><P
>Derivatives of Regular Expressions. Journal of the ACM, Volume 11, Issue 4, 1964. 
</P
><P
>Mark Hopkins.
</P
><P
>Regular Expression Package. Posted to comp.compilers, 1994.
        Available per FTP at <A HREF="ftp://iecc.com/pub/file/regex.tar.gz"
>ftp://iecc.com/pub/file/regex.tar.gz</A
>.
</P
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Synopsis</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ARE"
>RE</A
> a </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3ARE_ZERO"
>RE_ZERO</A
> <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARE_UNIT"
>RE_UNIT</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARE_SYM"
>RE_SYM</A
> a</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARE_DOT"
>RE_DOT</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARE_REP"
>RE_REP</A
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARE_PLUS"
>RE_PLUS</A
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARE_OPT"
>RE_OPT</A
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARE_SEQ"
>RE_SEQ</A
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a) (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARE_ALT"
>RE_ALT</A
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a) (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Are_unit"
>re_unit</A
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Are_zero"
>re_zero</A
> ::  <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Are_sym"
>re_sym</A
> ::  a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Are_rep"
>re_rep</A
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Are_plus"
>re_plus</A
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Are_opt"
>re_opt</A
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Are_seq"
>re_seq</A
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Are_alt"
>re_alt</A
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Are_dot"
>re_dot</A
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcheckRE"
>checkRE</A
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> a =&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Amatches"
>matches</A
> :: (<A HREF="/usr/share/doc/ghc/libraries/base/Data-Eq.html#t%3AEq"
>Eq</A
> a, <A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> a) =&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; [a] -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Anullable"
>nullable</A
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> a =&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="/usr/share/doc/ghc/libraries/ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AprintRE"
>printRE</A
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> a =&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Documentation</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:RE"
><A NAME="t%3ARE"
></A
></A
><B
>RE</B
> a </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Data type for regular expressions.
</TD
></TR
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:RE_ZERO"
><A NAME="v%3ARE_ZERO"
></A
></A
><B
>RE_ZERO</B
> <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RE_UNIT"
><A NAME="v%3ARE_UNIT"
></A
></A
><B
>RE_UNIT</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RE_SYM"
><A NAME="v%3ARE_SYM"
></A
></A
><B
>RE_SYM</B
> a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RE_DOT"
><A NAME="v%3ARE_DOT"
></A
></A
><B
>RE_DOT</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RE_REP"
><A NAME="v%3ARE_REP"
></A
></A
><B
>RE_REP</B
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RE_PLUS"
><A NAME="v%3ARE_PLUS"
></A
></A
><B
>RE_PLUS</B
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RE_OPT"
><A NAME="v%3ARE_OPT"
></A
></A
><B
>RE_OPT</B
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RE_SEQ"
><A NAME="v%3ARE_SEQ"
></A
></A
><B
>RE_SEQ</B
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a) (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RE_ALT"
><A NAME="v%3ARE_ALT"
></A
></A
><B
>RE_ALT</B
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a) (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:RE')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:RE" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/libraries/base/Data-Eq.html#t%3AEq"
>Eq</A
> a =&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Eq.html#t%3AEq"
>Eq</A
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> a =&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> (<A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a)</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:re_unit"
><A NAME="v%3Are_unit"
></A
></A
><B
>re_unit</B
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs a regular expression for an empty sequence.
</P
><UL
><LI
> returns : regular expression for an empty sequence
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:re_zero"
><A NAME="v%3Are_zero"
></A
></A
><B
>re_zero</B
> ::  <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs a regular expression for an empty set.
</P
><UL
><LI
> 1.parameter errMsg :  error message
</LI
><LI
> returns : regular expression for an empty set
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:re_sym"
><A NAME="v%3Are_sym"
></A
></A
><B
>re_sym</B
> ::  a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs a regular expression for accepting a symbol
</P
><UL
><LI
> 1.parameter sym :  the symbol to be accepted
</LI
><LI
> returns : regular expression for accepting a symbol
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:re_rep"
><A NAME="v%3Are_rep"
></A
></A
><B
>re_rep</B
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs an optional repetition (*) of a regular expression
</P
><UL
><LI
> 1.parameter re_a :  regular expression to be repeted
</LI
><LI
> returns : new regular expression
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:re_plus"
><A NAME="v%3Are_plus"
></A
></A
><B
>re_plus</B
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs a repetition (+) of a regular expression
</P
><UL
><LI
> 1.parameter re_a :  regular expression to be repeted
</LI
><LI
> returns : new regular expression
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:re_opt"
><A NAME="v%3Are_opt"
></A
></A
><B
>re_opt</B
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs an option (?) of a regular expression
</P
><UL
><LI
> 1.parameter re_a :  regular expression to be optional
</LI
><LI
> returns : new regular expression
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:re_seq"
><A NAME="v%3Are_seq"
></A
></A
><B
>re_seq</B
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs a sequence (,) of two regular expressions
</P
><UL
><LI
> 1.parameter re_a :  first regular expression in sequence
</LI
><LI
> 2.parameter re_b :  second regular expression in sequence
</LI
><LI
> returns : new regular expression
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:re_alt"
><A NAME="v%3Are_alt"
></A
></A
><B
>re_alt</B
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs an alternative (|) of two regular expressions
</P
><UL
><LI
> 1.parameter re_a :  first regular expression of alternative
</LI
><LI
> 2.parameter re_b :  second regular expression of alternative
</LI
><LI
> returns : new regular expression
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:re_dot"
><A NAME="v%3Are_dot"
></A
></A
><B
>re_dot</B
> ::  <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs a regular expression for accepting any singel symbol
</P
><UL
><LI
> returns : regular expression for accepting any singel symbol
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:checkRE"
><A NAME="v%3AcheckRE"
></A
></A
><B
>checkRE</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> a =&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="doc"
><P
>Checks if an input matched a regular expression. The function should be
 called after matches.
</P
><P
>Was the sentence used in <TT
>matches</TT
> in the language of the regular expression?
 -&gt; matches e s == s `in` L(e)?
</P
><UL
><LI
> 1.parameter re :  the derived regular expression
</LI
><LI
> returns : empty String if input matched the regular expression, otherwise
               an error message is returned
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:matches"
><A NAME="v%3Amatches"
></A
></A
><B
>matches</B
> :: (<A HREF="/usr/share/doc/ghc/libraries/base/Data-Eq.html#t%3AEq"
>Eq</A
> a, <A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> a) =&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; [a] -&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a</TD
></TR
><TR
><TD CLASS="doc"
><P
>Derives a regular expression with respect to a sentence.
</P
><UL
><LI
> 1.parameter re :  regular expression
</LI
><LI
> 2.parameter s :  sentence to which the regular expression is applied
</LI
><LI
> returns : the derived regular expression
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:nullable"
><A NAME="v%3Anullable"
></A
></A
><B
>nullable</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> a =&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="/usr/share/doc/ghc/libraries/ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="doc"
><P
>Checks if a regular expression matches the empty sequence.
</P
><P
>nullable e == [] `in` L(e)
</P
><P
>This check indicates if a regular expression fits to a sentence or not.
</P
><UL
><LI
> 1.parameter re :  regular expression to be checked
</LI
><LI
> returns : true if regular expression matches the empty sequence,
                otherwise false
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:printRE"
><A NAME="v%3AprintRE"
></A
></A
><B
>printRE</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Text-Show.html#t%3AShow"
>Show</A
> a =&gt; <A HREF="Text-XML-HXT-DTDValidation-RE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="doc"
><P
>Constructs a string representation of a regular expression.
</P
><UL
><LI
> 1.parameter re :  a regular expression
</LI
><LI
> returns : the string representation of the regular expression
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="botbar"
>Produced by <A HREF="http://www.haskell.org/haddock/"
>Haddock</A
> version 2.5.0</TD
></TR
></TABLE
></BODY
></HTML
>