exports helper functions for the integration of new datatype-libraries
- 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
- errorMsgParam :: LocalName -> 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 Control.Arrow
- module Text.XML.HXT.DOM.Util
- module Text.XML.HXT.RelaxNG.Utils
- module Text.XML.HXT.RelaxNG.DataTypes
- type FunctionTable = [(String, String -> String -> Bool)]
- stringValidFT :: FunctionTable -> DatatypeName -> Integer -> Integer -> ParamList -> CheckString
- fctTableString :: FunctionTable
- fctTableList :: FunctionTable
- stringValid :: DatatypeName -> Integer -> Integer -> ParamList -> CheckString
- numberValid :: DatatypeName -> Integer -> Integer -> ParamList -> CheckString
- numParamValid :: (Integer -> Integer -> Bool) -> String -> String -> Bool
- data CheckA a b
- type CheckString = CheckA String String
- type CheckInteger = CheckA Integer Integer
- performCheck :: CheckA a b -> a -> Maybe String
- ok :: CheckA a a
- failure :: (a -> String) -> CheckA a b
- assert :: (a -> Bool) -> (a -> String) -> CheckA a a
- assertMaybe :: (a -> Maybe b) -> (a -> String) -> CheckA a b
- checkWith :: (a -> b) -> CheckA b c -> CheckA a a
Documentation
errorMsgEqual :: DatatypeName -> String -> String -> StringSource
errorMsgParam :: LocalName -> String -> String -> StringSource
Error Message for the equality test of two datatype values
- 1.parameter : datatype
- 2.parameter : datatype value
- 3.parameter : datatype value
example:
errorMsgEqual "Int" "21" "42" -> "Datatype Int with value = 21 expected, but value = 42 found"
module Control.Arrow
module Text.XML.HXT.DOM.Util
module Text.XML.HXT.RelaxNG.Utils
stringValidFT :: FunctionTable -> DatatypeName -> Integer -> Integer -> ParamList -> CheckStringSource
fctTableString :: FunctionTableSource
Function table for string tests, XML document value is first operand, schema value second
fctTableList :: FunctionTableSource
Function table for list tests, XML document value is first operand, schema value second
stringValid :: DatatypeName -> Integer -> Integer -> ParamList -> CheckStringSource
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.
- 1.parameter : datatype
- 2.parameter : lower bound of the datatype range
- 3.parameter : upper bound of the datatype range (-1 = no upper bound)
- 4.parameter : list of parameters
- 5.parameter : datatype value to be checked
- return : Just "Errormessage" in case of an error, else Nothing
numberValid :: DatatypeName -> Integer -> Integer -> ParamList -> CheckStringSource
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.
- 1.parameter : datatype
- 2.parameter : lower bound of the datatype range
- 3.parameter : upper bound of the datatype range (-1 = no upper bound)
- 4.parameter : list of parameters
- 5.parameter : datatype value to be checked
- return : Just "Errormessage" in case of an error, else Nothing
numParamValid :: (Integer -> Integer -> Bool) -> String -> String -> BoolSource
tests whether a string value matches a numeric param
valid example:
<data type="CHAR"> <param name="maxLength">5</param> </data>
invalid example:
<data type="CHAR"> <param name="minLength">foo</param> </data>
type CheckString = CheckA String StringSource
type CheckInteger = CheckA Integer IntegerSource
performCheck :: CheckA a b -> a -> Maybe StringSource
run a check and deliver Just an error message or Nothing
assert :: (a -> Bool) -> (a -> String) -> CheckA a aSource
perform a simple check with a predicate p, when the predicate holds, assert acts as identity, else an error message is generated
assertMaybe :: (a -> Maybe b) -> (a -> String) -> CheckA a bSource
perform a simple check with a Maybe function, Nothing indicates error