hxt-7.4: doc/hdoc_arrow/Text-XML-HXT-RelaxNG-DataTypeLibUtils.html
<!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
></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"
>Haskell Xml Toolbox 7.4: The Arrow API</TD
><TD CLASS="topbut"
><A HREF="http://darcs.fh-wedel.de/hxt/src/./Text/XML/HXT/RelaxNG/DataTypeLibUtils.hs"
>Source code</A
></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
> -> String -> String -> String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AerrorMsgDataTypeNotAllowed"
>errorMsgDataTypeNotAllowed</A
> :: String -> [(String, String)] -> String -> String -> String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AerrorMsgDataTypeNotAllowed0"
>errorMsgDataTypeNotAllowed0</A
> :: String -> String -> String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AerrorMsgDataTypeNotAllowed2"
>errorMsgDataTypeNotAllowed2</A
> :: String -> String -> String -> String -> String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AerrorMsgDataLibQName"
>errorMsgDataLibQName</A
> :: String -> String -> String -> String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arng_length"
>rng_length</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arng_maxLength"
>rng_maxLength</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arng_minLength"
>rng_minLength</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arng_maxExclusive"
>rng_maxExclusive</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arng_minExclusive"
>rng_minExclusive</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arng_maxInclusive"
>rng_maxInclusive</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Arng_minInclusive"
>rng_minInclusive</A
> :: String</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-DataTypes.html"
>Text.XML.HXT.RelaxNG.DataTypes</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AalwaysOK"
>alwaysOK</A
> :: Check a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AalwaysErr"
>alwaysErr</A
> :: (a -> String) -> Check a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AorErr"
>orErr</A
> :: (a -> Bool) -> (a -> String) -> Check a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AandCheck"
>andCheck</A
> :: Check a -> Check a -> Check a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AwithVal"
>withVal</A
> :: Check a -> (b -> a) -> Check b</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
> -> Integer -> Integer -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -> Check String</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
> -> Integer -> Integer -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -> Check String</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%3AerrorMsgEqual"
></A
><B
>errorMsgEqual</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -> String -> String -> String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AerrorMsgDataTypeNotAllowed"
></A
><B
>errorMsgDataTypeNotAllowed</B
> :: String -> [(String, String)] -> String -> String -> String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AerrorMsgDataTypeNotAllowed0"
></A
><B
>errorMsgDataTypeNotAllowed0</B
> :: String -> String -> String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AerrorMsgDataTypeNotAllowed2"
></A
><B
>errorMsgDataTypeNotAllowed2</B
> :: String -> String -> String -> String -> String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AerrorMsgDataLibQName"
></A
><B
>errorMsgDataLibQName</B
> :: String -> String -> String -> String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3Arng_length"
></A
><B
>rng_length</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3Arng_maxLength"
></A
><B
>rng_maxLength</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3Arng_minLength"
></A
><B
>rng_minLength</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3Arng_maxExclusive"
></A
><B
>rng_maxExclusive</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3Arng_minExclusive"
></A
><B
>rng_minExclusive</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3Arng_maxInclusive"
></A
><B
>rng_maxInclusive</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3Arng_minInclusive"
></A
><B
>rng_minInclusive</B
> :: String</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-DataTypes.html"
>Text.XML.HXT.RelaxNG.DataTypes</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AalwaysOK"
></A
><B
>alwaysOK</B
> :: Check a</TD
></TR
><TR
><TD CLASS="doc"
>Unit for checks
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AalwaysErr"
></A
><B
>alwaysErr</B
> :: (a -> String) -> Check a</TD
></TR
><TR
><TD CLASS="doc"
>Zero for checks: Create an error message for an illegal value
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AorErr"
></A
><B
>orErr</B
> :: (a -> Bool) -> (a -> String) -> Check a</TD
></TR
><TR
><TD CLASS="doc"
>Perform check and generate error message on failure
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AandCheck"
></A
><B
>andCheck</B
> :: Check a -> Check a -> Check a</TD
></TR
><TR
><TD CLASS="doc"
>Combine two checks
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AwithVal"
></A
><B
>withVal</B
> :: Check a -> (b -> a) -> Check b</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AstringValid"
></A
><B
>stringValid</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -> Integer -> Integer -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -> Check String</TD
></TR
><TR
><TD CLASS="doc"
><P
>Tests whether a "string" 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 "Errormessage" in case of an error, else Nothing
</LI
></UL
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AnumberValid"
></A
><B
>numberValid</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -> Integer -> Integer -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -> Check String</TD
></TR
><TR
><TD CLASS="doc"
><P
>Tests whether a "numeric" 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 "Errormessage" in case of an error, else Nothing
</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 0.8</TD
></TR
></TABLE
></BODY
></HTML
>