Sophie: haskell-hxt-8.3.2-1mdv2010.1 x86

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.XmlRE</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-XmlRE.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.XmlRE</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, adapted for XML DTDs.
</P
><P
>This module is based on the module RE.
</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"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#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-XmlRE.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="Text-XML-HXT-DTDValidation-XmlRE.html#t%3ARE"
>RE</A
> <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="Text-XML-HXT-DOM-TypeDefs.html#t%3AXmlTrees"
>XmlTrees</A
> -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.html#t%3ARE"
>RE</A
> <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%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-XmlRE.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%3Are_unit"
>re_unit</A
> ::  <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.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-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> 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"
><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-XmlRE.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-XmlRE.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: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-XmlRE.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="Text-XML-HXT-DTDValidation-XmlRE.html#t%3ARE"
>RE</A
> <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="Text-XML-HXT-DOM-TypeDefs.html#t%3AXmlTrees"
>XmlTrees</A
> -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.html#t%3ARE"
>RE</A
> <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="doc"
><P
>Derives a regular expression with respect to a list of elements.
</P
><UL
><LI
> 1.parameter re :  regular expression
</LI
><LI
> 2.parameter list :  list of elements 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: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-XmlRE.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="decl"
><A NAME="v:re_unit"
><A NAME="v%3Are_unit"
></A
></A
><B
>re_unit</B
> ::  <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.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-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.html#t%3ARE"
>RE</A
> a -&gt; <A HREF="Text-XML-HXT-DTDValidation-XmlRE.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-XmlRE.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="botbar"
>Produced by <A HREF="http://www.haskell.org/haddock/"
>Haddock</A
> version 2.5.0</TD
></TR
></TABLE
></BODY
></HTML
>