Sophie

Sophie

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

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.RelaxNG.DataTypeLibUtils</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-RelaxNG-DataTypeLibUtils.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.RelaxNG.DataTypeLibUtils</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
>exports helper functions for the integration of new datatype-libraries
</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"
><A HREF="#v%3AerrorMsgEqual"
>errorMsgEqual</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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%3AerrorMsgDataTypeNotAllowed"
>errorMsgDataTypeNotAllowed</A
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; [(<A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>, <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>)] -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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%3AerrorMsgDataTypeNotAllowed0"
>errorMsgDataTypeNotAllowed0</A
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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%3AerrorMsgDataTypeNotAllowed2"
>errorMsgDataTypeNotAllowed2</A
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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%3AerrorMsgDataLibQName"
>errorMsgDataLibQName</A
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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%3AerrorMsgParam"
>errorMsgParam</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ALocalName"
>LocalName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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%3Arng_length"
>rng_length</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%3Arng_maxLength"
>rng_maxLength</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%3Arng_minLength"
>rng_minLength</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%3Arng_maxExclusive"
>rng_maxExclusive</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%3Arng_minExclusive"
>rng_minExclusive</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%3Arng_maxInclusive"
>rng_maxInclusive</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%3Arng_minInclusive"
>rng_minInclusive</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"
>module <A HREF="/usr/share/doc/ghc/libraries/base/Control-Arrow.html"
>Control.Arrow</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
>module <A HREF="Text-XML-HXT-DOM-Util.html"
>Text.XML.HXT.DOM.Util</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
>module <A HREF="Text-XML-HXT-RelaxNG-Utils.html"
>Text.XML.HXT.RelaxNG.Utils</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
>module <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html"
>Text.XML.HXT.RelaxNG.DataTypes</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AFunctionTable"
>FunctionTable</A
> = [(<A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>, <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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%3AstringValidFT"
>stringValidFT</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3AFunctionTable"
>FunctionTable</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckString"
>CheckString</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfctTableString"
>fctTableString</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3AFunctionTable"
>FunctionTable</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfctTableList"
>fctTableList</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3AFunctionTable"
>FunctionTable</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AstringValid"
>stringValid</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckString"
>CheckString</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnumberValid"
>numberValid</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckString"
>CheckString</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AnumParamValid"
>numParamValid</A
> :: (<A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
>) -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ACheckA"
>CheckA</A
> a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ACheckString"
>CheckString</A
> = <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ACheckInteger"
>CheckInteger</A
> = <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AperformCheck"
>performCheck</A
> ::  <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a b -&gt; a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Maybe.html#t%3AMaybe"
>Maybe</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%3Aok"
>ok</A
> ::  <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Afailure"
>failure</A
> ::  (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>) -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aassert"
>assert</A
> ::  (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
>) -&gt; (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>) -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AassertMaybe"
>assertMaybe</A
> ::  (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> b) -&gt; (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>) -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a b</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcheckWith"
>checkWith</A
> ::  (a -&gt; b) -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> b c -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> 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"
><A NAME="v:errorMsgEqual"
><A NAME="v%3AerrorMsgEqual"
></A
></A
><B
>errorMsgEqual</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:errorMsgDataTypeNotAllowed"
><A NAME="v%3AerrorMsgDataTypeNotAllowed"
></A
></A
><B
>errorMsgDataTypeNotAllowed</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; [(<A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>, <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>)] -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:errorMsgDataTypeNotAllowed0"
><A NAME="v%3AerrorMsgDataTypeNotAllowed0"
></A
></A
><B
>errorMsgDataTypeNotAllowed0</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:errorMsgDataTypeNotAllowed2"
><A NAME="v%3AerrorMsgDataTypeNotAllowed2"
></A
></A
><B
>errorMsgDataTypeNotAllowed2</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:errorMsgDataLibQName"
><A NAME="v%3AerrorMsgDataLibQName"
></A
></A
><B
>errorMsgDataLibQName</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:errorMsgParam"
><A NAME="v%3AerrorMsgParam"
></A
></A
><B
>errorMsgParam</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ALocalName"
>LocalName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="doc"
><P
>Error Message for the equality test of two datatype values
</P
><UL
><LI
> 1.parameter  :  datatype
</LI
><LI
> 2.parameter  :  datatype value
</LI
><LI
> 3.parameter  :  datatype value
</LI
></UL
><P
>example:
</P
><PRE
> errorMsgEqual &quot;Int&quot; &quot;21&quot; &quot;42&quot; -&gt; &quot;Datatype Int with value = 21 expected, but value = 42 found&quot;
</PRE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rng_length"
><A NAME="v%3Arng_length"
></A
></A
><B
>rng_length</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rng_maxLength"
><A NAME="v%3Arng_maxLength"
></A
></A
><B
>rng_maxLength</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rng_minLength"
><A NAME="v%3Arng_minLength"
></A
></A
><B
>rng_minLength</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rng_maxExclusive"
><A NAME="v%3Arng_maxExclusive"
></A
></A
><B
>rng_maxExclusive</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rng_minExclusive"
><A NAME="v%3Arng_minExclusive"
></A
></A
><B
>rng_minExclusive</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rng_maxInclusive"
><A NAME="v%3Arng_maxInclusive"
></A
></A
><B
>rng_maxInclusive</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:rng_minInclusive"
><A NAME="v%3Arng_minInclusive"
></A
></A
><B
>rng_minInclusive</B
> :: <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
>module <A HREF="/usr/share/doc/ghc/libraries/base/Control-Arrow.html"
>Control.Arrow</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
>module <A HREF="Text-XML-HXT-DOM-Util.html"
>Text.XML.HXT.DOM.Util</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
>module <A HREF="Text-XML-HXT-RelaxNG-Utils.html"
>Text.XML.HXT.RelaxNG.Utils</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
>module <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html"
>Text.XML.HXT.RelaxNG.DataTypes</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:FunctionTable"
><A NAME="t%3AFunctionTable"
></A
></A
><B
>FunctionTable</B
> = [(<A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>, <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
>)]</TD
></TR
><TR
><TD CLASS="doc"
>Function table type
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:stringValidFT"
><A NAME="v%3AstringValidFT"
></A
></A
><B
>stringValidFT</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3AFunctionTable"
>FunctionTable</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckString"
>CheckString</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:fctTableString"
><A NAME="v%3AfctTableString"
></A
></A
><B
>fctTableString</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3AFunctionTable"
>FunctionTable</A
></TD
></TR
><TR
><TD CLASS="doc"
>Function table for string tests,
 XML document value is first operand, schema value second
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:fctTableList"
><A NAME="v%3AfctTableList"
></A
></A
><B
>fctTableList</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3AFunctionTable"
>FunctionTable</A
></TD
></TR
><TR
><TD CLASS="doc"
>Function table for list tests,
 XML document value is first operand, schema value second
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:stringValid"
><A NAME="v%3AstringValid"
></A
></A
><B
>stringValid</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckString"
>CheckString</A
></TD
></TR
><TR
><TD CLASS="doc"
><P
>Tests whether a &quot;string&quot; datatype value is between the lower and 
upper bound of the datatype and matches all parameters.
</P
><P
>All tests are performed on the string value.
</P
><UL
><LI
> 1.parameter  :  datatype
</LI
><LI
> 2.parameter  :  lower bound of the datatype range
</LI
><LI
> 3.parameter  :  upper bound of the datatype range (-1 = no upper bound) 
</LI
><LI
> 4.parameter  :  list of parameters
</LI
><LI
> 5.parameter  :  datatype value to be checked
</LI
><LI
> return : Just &quot;Errormessage&quot; in case of an error, else Nothing
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:numberValid"
><A NAME="v%3AnumberValid"
></A
></A
><B
>numberValid</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckString"
>CheckString</A
></TD
></TR
><TR
><TD CLASS="doc"
><P
>Tests whether a &quot;numeric&quot; datatype value is between the lower and upper 
bound of the datatype and matches all parameters.
</P
><P
>First, the string value is parsed into a numeric representation.
If no error occur, all following tests are performed on the numeric value.
</P
><UL
><LI
> 1.parameter  :  datatype
</LI
><LI
> 2.parameter  :  lower bound of the datatype range
</LI
><LI
> 3.parameter  :  upper bound of the datatype range (-1 = no upper bound) 
</LI
><LI
> 4.parameter  :  list of parameters
</LI
><LI
> 5.parameter  :  datatype value to be checked
</LI
><LI
> return : Just &quot;Errormessage&quot; in case of an error, else Nothing
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:numParamValid"
><A NAME="v%3AnumParamValid"
></A
></A
><B
>numParamValid</B
> :: (<A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
>) -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</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
>tests whether a string value matches a numeric param
</P
><P
>valid example:
</P
><PRE
> &lt;data type=&quot;CHAR&quot;&gt; &lt;param name=&quot;maxLength&quot;&gt;5&lt;/param&gt; &lt;/data&gt;
</PRE
><P
>invalid example:
</P
><PRE
> &lt;data type=&quot;CHAR&quot;&gt; &lt;param name=&quot;minLength&quot;&gt;foo&lt;/param&gt; &lt;/data&gt;
</PRE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:CheckA"
><A NAME="t%3ACheckA"
></A
></A
><B
>CheckA</B
> a b </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:CheckA')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:CheckA" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/libraries/base/Control-Arrow.html#t%3AArrow"
>Arrow</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/libraries/base/Control-Arrow.html#t%3AArrowZero"
>ArrowZero</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/libraries/base/Control-Arrow.html#t%3AArrowPlus"
>ArrowPlus</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/libraries/base/Control-Category.html#t%3ACategory"
>Category</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:CheckString"
><A NAME="t%3ACheckString"
></A
></A
><B
>CheckString</B
> = <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
> <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:CheckInteger"
><A NAME="t%3ACheckInteger"
></A
></A
><B
>CheckInteger</B
> = <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
> <A HREF="/usr/share/doc/ghc/libraries/integer/GHC-Integer.html#t%3AInteger"
>Integer</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:performCheck"
><A NAME="v%3AperformCheck"
></A
></A
><B
>performCheck</B
> ::  <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a b -&gt; a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
></TD
></TR
><TR
><TD CLASS="doc"
>run a check and deliver Just an error message or Nothing
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:ok"
><A NAME="v%3Aok"
></A
></A
><B
>ok</B
> ::  <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a a</TD
></TR
><TR
><TD CLASS="doc"
>every thing is fine
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:failure"
><A NAME="v%3Afailure"
></A
></A
><B
>failure</B
> ::  (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>) -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a b</TD
></TR
><TR
><TD CLASS="doc"
>always failure
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:assert"
><A NAME="v%3Aassert"
></A
></A
><B
>assert</B
> ::  (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
>) -&gt; (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>) -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a a</TD
></TR
><TR
><TD CLASS="doc"
>perform a simple check with a predicate p,
   when the predicate holds, assert acts as identity,
   else an error message is generated
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:assertMaybe"
><A NAME="v%3AassertMaybe"
></A
></A
><B
>assertMaybe</B
> ::  (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> b) -&gt; (a -&gt; <A HREF="/usr/share/doc/ghc/libraries/base/Data-Char.html#t%3AString"
>String</A
>) -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a b</TD
></TR
><TR
><TD CLASS="doc"
>perform a simple check with a Maybe function, Nothing indicates error
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:checkWith"
><A NAME="v%3AcheckWith"
></A
></A
><B
>checkWith</B
> ::  (a -&gt; b) -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> b c -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypeLibUtils.html#t%3ACheckA"
>CheckA</A
> a a</TD
></TR
><TR
><TD CLASS="doc"
>perform a check, but convert the value before checking
</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
>