| |||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||
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.Utils | |||||||||||||||||||||||||||||||||||||||||||
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 |