Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. okNum :: (Eq a, Num a) => a -> a -> a -> Bool

   leancheck	Test.LeanCheck.Utils.Operators

   Is this Num instance valid? This is useful for testing your custom Num instances against required properties.

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

   Double is mostly valid, but not entirely valid:

   > check (okNum :: Double -> Double -> Double -> Bool)
   *** Failed! Falsifiable (after 6 tests):
   

   1. 0 0.0 Infinity

2. okNumNonNegative :: (Eq a, Num a) => a -> a -> a -> Bool

   leancheck	Test.LeanCheck.Utils.Operators

   Like okNum but restricted to zero and positives.

   > check (okNumNonNegative :: Natural -> Natural -> Natural -> Bool)
   +++ OK, passed 200 tests.
   

3. newtype AlphaNum

   leancheck	Test.LeanCheck.Utils.Types

   Alphanumeric characters.

   list :: [AlphaNum]  =  "0a1A2b3B4c..."
   

   > check $ \(AlphaNum c) -> isAlphaNum c
   +++ OK, passed 62 tests (exhausted).
   

4. AlphaNum :: Char -> AlphaNum

   leancheck	Test.LeanCheck.Utils.Types

   No documentation available.

5. newtype AlphaNums

   leancheck	Test.LeanCheck.Utils.Types

   Strings of alphanumeric characters

6. AlphaNums :: String -> AlphaNums

   leancheck	Test.LeanCheck.Utils.Types

   No documentation available.

7. unAlphaNum :: AlphaNum -> Char

   leancheck	Test.LeanCheck.Utils.Types

   No documentation available.

8. unAlphaNums :: AlphaNums -> String

   leancheck	Test.LeanCheck.Utils.Types

   No documentation available.

9. enumSequenceFrom :: Num a => a -> Sequence a

   math-functions	Numeric.Series

   enumSequenceFrom x generate sequence: <math>

10. enumSequenceFromStep :: Num a => a -> a -> Sequence a

    math-functions	Numeric.Series

    enumSequenceFromStep x d generate sequence: <math>

Page 195 of many | Previous | Next