Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. k_required :: String

   hxt	Text.XML.HXT.DOM.XmlKeywords

   No documentation available.

2. v_seq :: String

   hxt	Text.XML.HXT.DOM.XmlKeywords

   No documentation available.

3. RE_SEQ :: RE a -> RE a -> RE a

   hxt	Text.XML.HXT.DTDValidation.RE

   No documentation available.

4. re_seq :: RE a -> RE a -> RE a

   hxt	Text.XML.HXT.DTDValidation.RE

   Constructs a sequence (,) of two regular expressions

   • 1.parameter re_a : first regular expression in sequence
   • 2.parameter re_b : second regular expression in sequence
   • returns : new regular expression

5. isRequiredAttrKind :: ArrowDTD a => a XmlTree XmlTree

   hxt	Text.XML.HXT.DTDValidation.TypeDefs

   No documentation available.

6. re_seq :: RE a -> RE a -> RE a

   hxt	Text.XML.HXT.DTDValidation.XmlRE

   Constructs a sequence (,) of two regular expressions

   • 1.parameter re_a : first regular expression in sequence
   • 2.parameter re_b : second regular expression in sequence
   • returns : new regular expression

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

8. isEquivalence :: (a -> a -> Bool) -> a -> a -> a -> Bool

   leancheck	Test.LeanCheck.Utils.Operators

   Is the given binary relation an equivalence? In other words, is the given relation reflexive, symmetric and transitive?

   > check (isEquivalence (==) :: Int -> Int -> Int -> Bool)
   +++ OK, passed 200 tests.
   

   > check (isEquivalence (<=) :: Int -> Int -> Int -> Bool)
   *** Failed! Falsifiable (after 3 tests):
   0 1 0
   

   Or, using Test.LeanCheck.Utils.TypeBinding:

   > check $ isEquivalence (<=) -:> int
   *** Failed! Falsifiable (after 3 tests):
   0 1 0
   

9. okEq :: Eq a => a -> a -> a -> Bool

   leancheck	Test.LeanCheck.Utils.Operators

   Is this Eq instance valid? This is useful for testing your custom Eq instances against required properties. In particular, this function tests that == is an equivalence and that /= is the negation of ==.

   > check $ (okEq :: Int -> Int -> Int -> Bool)
   +++ OK, passed 200 tests.
   

   > check $ (okEq :: Bool -> Bool -> Bool -> Bool)
   +++ OK, passed 8 tests (exhausted).
   

10. okEqOrd :: (Eq a, Ord a) => a -> a -> a -> Bool

    leancheck	Test.LeanCheck.Utils.Operators

    Is this Eq and Ord instance valid and consistent? This is useful for testing your custom Eq and Ord instances against required properties.

    > check $ (okEqOrd :: Int -> Int -> Int -> Bool)
    +++ OK, passed 200 tests.
    

    > check $ (okEqOrd :: Bool -> Bool -> Bool -> Bool)
    +++ OK, passed 8 tests (exhausted).
    

Page 290 of many | Previous | Next