Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

Exact lookup

1. theNoEmptyElemFor :: Selector XIOSysState [String]

   hxt	Text.XML.HXT.Arrow.XmlState.TypeDefs

   No documentation available.

2. xioNoEmptyElemFor :: XIOOutputConfig -> ![String]

   hxt	Text.XML.HXT.Arrow.XmlState.TypeDefs

   No documentation available.

3. isWellformedNSDecl :: QName -> Bool

   hxt	Text.XML.HXT.DOM.QualifiedName

   test whether an attribute name is a namesapce declaration name. If this is not the case True is the result, else the name must be a well formed namespace name: All namespace prefixes starting with "xml" are reserved for XML related definitions. predicate is used in filter valdateNamespaces.

4. isWellformedNameSpaceName :: QName -> Bool

   hxt	Text.XML.HXT.DOM.QualifiedName

   test for a namespace name to be well formed

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

6. isWellformedQualifiedName :: String -> Bool

   hxt	Text.XML.HXT.DOM.QualifiedName

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

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

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

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

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

Page 442 of many | Previous | Next