Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. isWellformedQName :: QName -> Bool

   hxt	Text.XML.HXT.DOM.QualifiedName

   test for wellformed QName values. A QName is wellformed, if the local part is a NCName, the namePrefix, if not empty, is also a NCName. predicate is used in filter valdateNamespaces.

2. isWellformedQualifiedName :: String -> Bool

   hxt	Text.XML.HXT.DOM.QualifiedName

   test for wellformed QName, rule [6] XML Namespaces predicate is used in filter valdateNamespaces.

3. module Text.XML.HXT.DTDValidation.DocTransformation

   This module provides functions for transforming XML documents represented as XmlTree with respect to its DTD. Transforming an XML document with respect to its DTD means:

   • add all attributes with default values
   • normalize all attribute values
   • sort all attributes in lexical order
   Note: Transformation should be started after validation. Before the document is validated, a lookup-table is build on the basis of the DTD which maps element names to their transformation functions. After this initialization phase the whole document is traversed in preorder and every element is transformed by the XmlFilter from the lookup-table.

4. transform :: XmlTree -> XmlArrow

   hxt	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

5. transform :: XmlArrow

   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

6. 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).
   

7. checkResultFor :: Testable a => Int -> a -> IO Bool

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

8. 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).
   

9. checkResultFor :: Testable a => Int -> a -> IO Bool

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

10. areEqualFor :: (Listable a, Eq b) => Int -> (a -> b) -> (a -> b) -> Bool

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

Page 560 of many | Previous | Next