Hoogle Search
Within LTS Haskell 24.45 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
transform :: XmlTree -> XmlArrowhxt Text.XML.HXT.DTDValidation.DocTransformation filter for transforming the document.
- 1.parameter dtdPart : the DTD subset (Node DOCTYPE) of the XmlTree
- 2.parameter doc : the document subset of the XmlTree
- returns : a list of errors
-
hxt Text.XML.HXT.DTDValidation.Validation filter for transforming a document with respect to the given DTD. Validating parsers are expected to normalize attribute values and add default values. This function should be called after a successful validation.
- returns : a function which expects a complete XML document tree and returns the transformed XmlTree
checkFor :: Testable a => Int -> a -> IO ()leancheck Test.LeanCheck Check a property for a given number of tests printing results on stdout
> checkFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int]) +++ OK, passed 1000 tests.
Test exhaustion is reported when the configured number of tests is larger than the number of available test values:> checkFor 3 $ \p -> p == not (not p) +++ OK, passed 2 tests (exhausted).
checkResultFor :: Testable a => Int -> a -> IO Boolleancheck Test.LeanCheck Check a property for a given number of tests printing results on stdout and returning True on success.
> checkResultFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int]) +++ OK, passed 1000 tests. True
There is no option to silence this function: for silence, you should use holds.checkFor :: Testable a => Int -> a -> IO ()leancheck Test.LeanCheck.Error Check a property for a given number of tests printing results on stdout
> checkFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int]) +++ OK, passed 1000 tests.
Test exhaustion is reported when the configured number of tests is larger than the number of available test values:> checkFor 3 $ \p -> p == not (not p) +++ OK, passed 2 tests (exhausted).
checkResultFor :: Testable a => Int -> a -> IO Boolleancheck Test.LeanCheck.Error Check a property for a given number of tests printing results on stdout and returning True on success.
> checkResultFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int]) +++ OK, passed 1000 tests. True
There is no option to silence this function: for silence, you should use holds.areEqualFor :: (Listable a, Eq b) => Int -> (a -> b) -> (a -> b) -> Boolleancheck Test.LeanCheck.Function.List This function can be used to define an Eq instance for functions based on testing and equality of returned values, like so:
instance (Listable a, Eq b) => Eq (a -> b) where (==) = areEqualFor 12
This catches errors and undefined values and treats them as equal.compareFor :: (Listable a, Ord b) => Int -> (a -> b) -> (a -> b) -> Orderingleancheck Test.LeanCheck.Function.List This function can be used to define an Ord instance for functions based on testing and ordering of returned values, like so:
instance (Listable a, Ord b) => Ord (a -> b) where compare = compareFor 12
This catches errors and undefined values and treats them as equal.checkFor :: Testable a => Int -> a -> IO ()leancheck Test.LeanCheck.IO Check a property for a given number of tests printing results on stdout
> checkFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int]) +++ OK, passed 1000 tests.
Test exhaustion is reported when the configured number of tests is larger than the number of available test values:> checkFor 3 $ \p -> p == not (not p) +++ OK, passed 2 tests (exhausted).
checkResultFor :: Testable a => Int -> a -> IO Boolleancheck Test.LeanCheck.IO Check a property for a given number of tests printing results on stdout and returning True on success.
> checkResultFor 1000 $ \xs -> sort (sort xs) == sort (xs::[Int]) +++ OK, passed 1000 tests. True
There is no option to silence this function: for silence, you should use holds.