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.
-
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.
-
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.
-
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.
pubidLiteral :: XParser s Stringhxt Text.XML.HXT.Parser.XmlTokenParser No documentation available.
-
hxt Text.XML.HXT.XMLSchema.DataTypeLibW3CNames No documentation available.
-
hxt Text.XML.HXT.XMLSchema.DataTypeLibW3CNames No documentation available.
-
hxt Text.XML.HXT.XMLSchema.DataTypeLibW3CNames No documentation available.
isIdempotent :: Eq a => (a -> a) -> a -> Boolleancheck 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
isIdentity :: Eq a => (a -> a) -> a -> Boolleancheck 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).
isNeverIdentity :: Eq a => (a -> a) -> a -> Boolleancheck 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.