| |||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||||||||||||||||
exports helper functions for the integration of new datatype-libraries | |||||||||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||||||||||||||||||
errorMsgEqual :: DatatypeName -> String -> String -> String | |||||||||||||||||||||||||||||||||||||||||
errorMsgDataTypeNotAllowed :: String -> [(String, String)] -> String -> String -> String | |||||||||||||||||||||||||||||||||||||||||
errorMsgDataTypeNotAllowed0 :: String -> String -> String | |||||||||||||||||||||||||||||||||||||||||
errorMsgDataTypeNotAllowed2 :: String -> String -> String -> String -> String | |||||||||||||||||||||||||||||||||||||||||
errorMsgDataLibQName :: String -> String -> String -> String | |||||||||||||||||||||||||||||||||||||||||
rng_length :: String | |||||||||||||||||||||||||||||||||||||||||
rng_maxLength :: String | |||||||||||||||||||||||||||||||||||||||||
rng_minLength :: String | |||||||||||||||||||||||||||||||||||||||||
rng_maxExclusive :: String | |||||||||||||||||||||||||||||||||||||||||
rng_minExclusive :: String | |||||||||||||||||||||||||||||||||||||||||
rng_maxInclusive :: String | |||||||||||||||||||||||||||||||||||||||||
rng_minInclusive :: String | |||||||||||||||||||||||||||||||||||||||||
module Text.XML.HXT.DOM.Util | |||||||||||||||||||||||||||||||||||||||||
module Text.XML.HXT.RelaxNG.DataTypes | |||||||||||||||||||||||||||||||||||||||||
alwaysOK :: Check a | |||||||||||||||||||||||||||||||||||||||||
Unit for checks | |||||||||||||||||||||||||||||||||||||||||
alwaysErr :: (a -> String) -> Check a | |||||||||||||||||||||||||||||||||||||||||
Zero for checks: Create an error message for an illegal value | |||||||||||||||||||||||||||||||||||||||||
orErr :: (a -> Bool) -> (a -> String) -> Check a | |||||||||||||||||||||||||||||||||||||||||
Perform check and generate error message on failure | |||||||||||||||||||||||||||||||||||||||||
andCheck :: Check a -> Check a -> Check a | |||||||||||||||||||||||||||||||||||||||||
Combine two checks | |||||||||||||||||||||||||||||||||||||||||
withVal :: Check a -> (b -> a) -> Check b | |||||||||||||||||||||||||||||||||||||||||
stringValid :: DatatypeName -> Integer -> Integer -> ParamList -> Check String | |||||||||||||||||||||||||||||||||||||||||
Tests whether a "string" datatype value is between the lower and upper bound of the datatype and matches all parameters. All tests are performed on the string value.
| |||||||||||||||||||||||||||||||||||||||||
numberValid :: DatatypeName -> Integer -> Integer -> ParamList -> Check String | |||||||||||||||||||||||||||||||||||||||||
Tests whether a "numeric" datatype value is between the lower and upper bound of the datatype and matches all parameters. First, the string value is parsed into a numeric representation. If no error occur, all following tests are performed on the numeric value.
| |||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 0.8 |