<!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 > -> String -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext" >Context</A > -> String -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext" >Context</A > -> 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 > -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList" >ParamList</A > -> String -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext" >Context</A > -> 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 > -> String -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext" >Context</A > -> String -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext" >Context</A > -> 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 "errorMessage" 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 > -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AParamList" >ParamList</A > -> String -> <A HREF="Text-XML-HXT-RelaxNG-DataTypes.html#t%3AContext" >Context</A > -> 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 "errorMessage" 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 >