Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

  1. validate :: XmlArrow

    hxt Text.XML.HXT.DTDValidation.Validation

    Main validation filter. Check if the DTD and the document are valid.

    • returns : a function which expects a complete document as XmlTree input and returns a list of all errors found.

  2. validateDTD :: XmlArrow

    hxt Text.XML.HXT.DTDValidation.Validation

    Check if the DTD is valid.

    • returns : a function which expects an XmlTree from the parser as input and returns a list of all errors found in the DTD.

  3. validateDoc :: XmlArrow

    hxt Text.XML.HXT.DTDValidation.Validation

    Check if the document corresponds to the given DTD.

    • returns : a function which expects a complete document as XmlTree input and returns a list of all errors found in the content part.

  4. pubidLiteral :: XParser s String

    hxt Text.XML.HXT.Parser.XmlTokenParser

    No documentation available.

  5. xsd_ID :: String

    hxt Text.XML.HXT.XMLSchema.DataTypeLibW3CNames

    No documentation available.

  6. xsd_IDREF :: String

    hxt Text.XML.HXT.XMLSchema.DataTypeLibW3CNames

    No documentation available.

  7. xsd_IDREFS :: String

    hxt Text.XML.HXT.XMLSchema.DataTypeLibW3CNames

    No documentation available.

  8. isIdempotent :: Eq a => (a -> a) -> a -> Bool

    leancheck Test.LeanCheck.Utils.Operators

    Is the given function idempotent? f (f x) == x

    > check $ isIdempotent abs
    +++ OK, passed 200 tests.
    
    > check $ isIdempotent sort
    +++ OK, passed 200 tests.
    
    > check $ isIdempotent negate
    *** Failed! Falsifiable (after 2 tests):
    1
    

  9. isIdentity :: Eq a => (a -> a) -> a -> Bool

    leancheck Test.LeanCheck.Utils.Operators

    Is the given function an identity? f x == x

    > check $ isIdentity (+0)
    +++ OK, passed 200 tests.
    
    > check $ isIdentity (sort :: [()]->[()])
    +++ OK, passed 200 tests.
    
    > check $ isIdentity (not . not)
    +++ OK, passed 2 tests (exhausted).
    

  10. isNeverIdentity :: Eq a => (a -> a) -> a -> Bool

    leancheck Test.LeanCheck.Utils.Operators

    Is the given function never an identity? f x /= x

    > check $ neverIdentity not
    +++ OK, passed 2 tests (exhausted).
    
    > check $ neverIdentity negate
    *** Failed! Falsifiable (after 1 tests):
    0
    
    Note: this is not the same as not being an identity.

Page 734 of many | Previous | Next