Sophie

Sophie

distrib > Mandriva > 2007.1 > i586 > by-pkgid > 09cecd41fd5510f1b4c6358078b3faaf > files > 222

haskell-HXT-7.1-2mdv2007.1.i586.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.DataTypes</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock.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"
>hxt-7.1: </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.DataTypes</FONT
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></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%3ArelaxSchemaFile"
>relaxSchemaFile</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ArelaxSchemaGrammarFile"
>relaxSchemaGrammarFile</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aa_numberOfErrors"
>a_numberOfErrors</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3Aa_relaxSimplificationChanges"
>a_relaxSimplificationChanges</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AdefineOrigName"
>defineOrigName</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AEnv"
>Env</A
> = [(String, <A HREF="Text-XML-HXT-DOM-TypeDefs.html#t%3AXmlTree"
>XmlTree</A
>)]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcontextAttributes"
>contextAttributes</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcontextBaseAttr"
>contextBaseAttr</A
> :: String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AOldName"
>OldName</A
> = String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ANewName"
>NewName</A
> = String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ANamePair"
>NamePair</A
> = (<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AOldName"
>OldName</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANewName"
>NewName</A
>)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ARefList"
>RefList</A
> = [<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANamePair"
>NamePair</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ADatatypeEqual"
>DatatypeEqual</A
> = <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; String -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext"
>Context</A
> -&gt; String -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext"
>Context</A
> -&gt; Maybe String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ADatatypeAllows"
>DatatypeAllows</A
> = <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -&gt; String -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext"
>Context</A
> -&gt; Maybe String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ADatatypeLibraries"
>DatatypeLibraries</A
> = [<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeLibrary"
>DatatypeLibrary</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ADatatypeLibrary"
>DatatypeLibrary</A
> = (<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeCheck"
>DatatypeCheck</A
>)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ADatatypeName"
>DatatypeName</A
> = String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AParamName"
>ParamName</A
> = String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AAllowedParams"
>AllowedParams</A
> = [<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamName"
>ParamName</A
>]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AAllowedDatatypes"
>AllowedDatatypes</A
> = [(<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AAllowedParams"
>AllowedParams</A
>)]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3ADatatypeCheck"
>DatatypeCheck</A
>  = <A HREF="#v%3ADTC"
>DTC</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3AdtAllowsFct"
>dtAllowsFct</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeAllows"
>DatatypeAllows</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AdtEqualFct"
>dtEqualFct</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeEqual"
>DatatypeEqual</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AdtAllowedTypes"
>dtAllowedTypes</A
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AAllowedDatatypes"
>AllowedDatatypes</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AUri"
>Uri</A
> = String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ALocalName"
>LocalName</A
> = String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AParamList"
>ParamList</A
> = [(<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ALocalName"
>LocalName</A
>, String)]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3APrefix"
>Prefix</A
> = String</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3AContext"
>Context</A
> = (<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
>, [(<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APrefix"
>Prefix</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
>)])</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ADatatype"
>Datatype</A
> = (<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ALocalName"
>LocalName</A
>)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3ANameClass"
>NameClass</A
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AAnyName"
>AnyName</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AAnyNameExcept"
>AnyNameExcept</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AName"
>Name</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ALocalName"
>LocalName</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ANsName"
>NsName</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ANsNameExcept"
>NsNameExcept</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ANameClassChoice"
>NameClassChoice</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ANCError"
>NCError</A
> String</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3APattern"
>Pattern</A
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AEmpty"
>Empty</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ANotAllowed"
>NotAllowed</A
> String</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AText"
>Text</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AChoice"
>Choice</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AInterleave"
>Interleave</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AGroup"
>Group</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AOneOrMore"
>OneOrMore</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AList"
>List</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AData"
>Data</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatype"
>Datatype</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ADataExcept"
>DataExcept</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatype"
>Datatype</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AValue"
>Value</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatype"
>Datatype</A
> String <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext"
>Context</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AAttribute"
>Attribute</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AElement"
>Element</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AAfter"
>After</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A HREF="#t%3AContentType"
>ContentType</A
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3ACTEmpty"
>CTEmpty</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ACTComplex"
>CTComplex</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ACTSimple"
>CTSimple</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ACTNone"
>CTNone</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></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%3ArelaxSchemaFile"
></A
><B
>relaxSchemaFile</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3ArelaxSchemaGrammarFile"
></A
><B
>relaxSchemaGrammarFile</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3Aa_numberOfErrors"
></A
><B
>a_numberOfErrors</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3Aa_relaxSimplificationChanges"
></A
><B
>a_relaxSimplificationChanges</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AdefineOrigName"
></A
><B
>defineOrigName</B
> :: String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3AEnv"
></A
><B
>Env</B
> = [(String, <A HREF="Text-XML-HXT-DOM-TypeDefs.html#t%3AXmlTree"
>XmlTree</A
>)]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AcontextAttributes"
></A
><B
>contextAttributes</B
> :: String</TD
></TR
><TR
><TD CLASS="doc"
><P
>Start of a context attribute value 
 (see also: <TT
><A HREF="Text-XML-HXT-RelaxNG-Simplification.html#v%3AsimplificationStep1"
>simplificationStep1</A
></TT
>)
</P
><P
>The value is always followed by the original attribute name and value
</P
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v%3AcontextBaseAttr"
></A
><B
>contextBaseAttr</B
> :: String</TD
></TR
><TR
><TD CLASS="doc"
>Start of base uri attribute value 
 (see also: simplificationStep1 in <A HREF="Text-XML-HXT-RelaxNG-Simplification.html"
>Text.XML.HXT.RelaxNG.Simplification</A
>)
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3AOldName"
></A
><B
>OldName</B
> = String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ANewName"
></A
><B
>NewName</B
> = String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ANamePair"
></A
><B
>NamePair</B
> = (<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AOldName"
>OldName</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANewName"
>NewName</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ARefList"
></A
><B
>RefList</B
> = [<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANamePair"
>NamePair</A
>]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ADatatypeEqual"
></A
><B
>DatatypeEqual</B
> = <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; String -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext"
>Context</A
> -&gt; String -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext"
>Context</A
> -&gt; Maybe String</TD
></TR
><TR
><TD CLASS="doc"
><P
>Type of all datatype libraries functions that tests whether 
 a XML instance value matches a value-pattern.
</P
><P
>Returns Just &quot;errorMessage&quot; in case of an error else Nothing.
</P
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ADatatypeAllows"
></A
><B
>DatatypeAllows</B
> = <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
> -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> -&gt; String -&gt; <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext"
>Context</A
> -&gt; Maybe String</TD
></TR
><TR
><TD CLASS="doc"
><P
>Type of all datatype libraries functions that tests whether 
 a XML instance value matches a data-pattern.
</P
><P
>Returns Just &quot;errorMessage&quot; in case of an error else Nothing.
</P
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ADatatypeLibraries"
></A
><B
>DatatypeLibraries</B
> = [<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeLibrary"
>DatatypeLibrary</A
>]</TD
></TR
><TR
><TD CLASS="doc"
>List of all supported datatype libraries
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ADatatypeLibrary"
></A
><B
>DatatypeLibrary</B
> = (<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeCheck"
>DatatypeCheck</A
>)</TD
></TR
><TR
><TD CLASS="doc"
>Each datatype library is identified by a URI.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ADatatypeName"
></A
><B
>DatatypeName</B
> = String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3AParamName"
></A
><B
>ParamName</B
> = String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3AAllowedParams"
></A
><B
>AllowedParams</B
> = [<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamName"
>ParamName</A
>]</TD
></TR
><TR
><TD CLASS="doc"
>List of all supported params for a datatype
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3AAllowedDatatypes"
></A
><B
>AllowedDatatypes</B
> = [(<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeName"
>DatatypeName</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AAllowedParams"
>AllowedParams</A
>)]</TD
></TR
><TR
><TD CLASS="doc"
>List of all supported datatypes and there allowed params
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t%3ADatatypeCheck"
></A
><B
>DatatypeCheck</B
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>The Constructor exports the list of supported datatypes for a library.
 It also exports the specialized datatype library functions to validate 
 a XML instance value with respect to a datatype.
</TD
></TR
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v%3ADTC"
></A
><B
>DTC</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v%3AdtAllowsFct"
></A
><B
>dtAllowsFct</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeAllows"
>DatatypeAllows</A
></TD
><TD CLASS="rdoc"
>function to test whether a value matches a data-pattern
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AdtEqualFct"
></A
><B
>dtEqualFct</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatypeEqual"
>DatatypeEqual</A
></TD
><TD CLASS="rdoc"
>function to test whether a value matches a value-pattern
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AdtAllowedTypes"
></A
><B
>dtAllowedTypes</B
> :: <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AAllowedDatatypes"
>AllowedDatatypes</A
></TD
><TD CLASS="rdoc"
>list of all supported params for a datatype
</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3AUri"
></A
><B
>Uri</B
> = String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ALocalName"
></A
><B
>LocalName</B
> = String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3AParamList"
></A
><B
>ParamList</B
> = [(<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ALocalName"
>LocalName</A
>, String)]</TD
></TR
><TR
><TD CLASS="doc"
>List of parameters; each parameter is a pair consisting of a local name and a value.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3APrefix"
></A
><B
>Prefix</B
> = String</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3AContext"
></A
><B
>Context</B
> = (<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
>, [(<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APrefix"
>Prefix</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
>)])</TD
></TR
><TR
><TD CLASS="doc"
>A Context represents the context of an XML element. 
 It consists of a base URI and a mapping from prefixes to namespace URIs.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t%3ADatatype"
></A
><B
>Datatype</B
> = (<A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
>, <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ALocalName"
>LocalName</A
>)</TD
></TR
><TR
><TD CLASS="doc"
>A Datatype identifies a datatype by a datatype library name and a local name.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t%3ANameClass"
></A
><B
>NameClass</B
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Represents a name class
</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%3AAnyName"
></A
><B
>AnyName</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AAnyNameExcept"
></A
><B
>AnyNameExcept</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AName"
></A
><B
>Name</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ALocalName"
>LocalName</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3ANsName"
></A
><B
>NsName</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3ANsNameExcept"
></A
><B
>NsNameExcept</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AUri"
>Uri</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3ANameClassChoice"
></A
><B
>NameClassChoice</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3ANCError"
></A
><B
>NCError</B
> String</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:NameClass')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:NameClass" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>Eq <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
></TD
></TR
><TR
><TD CLASS="decl"
>Show <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t%3APattern"
></A
><B
>Pattern</B
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Represents a pattern after simplification
</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%3AEmpty"
></A
><B
>Empty</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3ANotAllowed"
></A
><B
>NotAllowed</B
> String</TD
><TD CLASS="rdoc"
>String represents the error message
</TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AText"
></A
><B
>Text</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AChoice"
></A
><B
>Choice</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AInterleave"
></A
><B
>Interleave</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AGroup"
></A
><B
>Group</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AOneOrMore"
></A
><B
>OneOrMore</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AList"
></A
><B
>List</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AData"
></A
><B
>Data</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatype"
>Datatype</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3ADataExcept"
></A
><B
>DataExcept</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatype"
>Datatype</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList"
>ParamList</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AValue"
></A
><B
>Value</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ADatatype"
>Datatype</A
> String <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext"
>Context</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AAttribute"
></A
><B
>Attribute</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AElement"
></A
><B
>Element</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3ANameClass"
>NameClass</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3AAfter"
></A
><B
>After</B
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Pattern')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:Pattern" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>Show <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3APattern"
>Pattern</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
> <A NAME="t%3AContentType"
></A
><B
>ContentType</B
> </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Possible content types of a Relax NG pattern.
 (see also chapter 7.2 in Relax NG specification)
</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%3ACTEmpty"
></A
><B
>CTEmpty</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3ACTComplex"
></A
><B
>CTComplex</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3ACTSimple"
></A
><B
>CTSimple</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v%3ACTNone"
></A
><B
>CTNone</B
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:ContentType')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:ContentType" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
>Eq <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContentType"
>ContentType</A
></TD
></TR
><TR
><TD CLASS="decl"
>Ord <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContentType"
>ContentType</A
></TD
></TR
><TR
><TD CLASS="decl"
>Show <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContentType"
>ContentType</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></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
>