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. shrinkValidPreservesValid :: (Show a, GenValid a) => Gen a -> Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking.Property

   shrinkValidPreservesValid (pure 5 :: Gen Rational)
   

2. shrinkingStaysValid :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking.Property

   shrinkingStaysValid (pure 5 :: Gen Double) (\d -> [d - 1, d - 2])
   

3. shrinkingStaysValidWithLimit :: (Show a, Validity a) => Gen a -> (a -> [a]) -> Int -> Property

   genvalidity-sydtest	Test.Syd.Validity.Shrinking.Property

   shrinkingStaysValidWithLimit (pure 5 :: Gen Double) (\d -> [d - 1, read "NaN"]) 1
   

4. shouldBeInvalid :: (Show a, Validity a) => a -> Expectation

   genvalidity-sydtest	Test.Syd.Validity.Utils

   No documentation available.

5. shouldBeValid :: (Show a, Validity a) => a -> Expectation

   genvalidity-sydtest	Test.Syd.Validity.Utils

   No documentation available.

6. RiddersBisect :: Double -> Double -> RiddersStep

   math-functions	Numeric.RootFinding

   Bisection step. It's fallback which is taken when Ridders update takes us out of bracket

7. RiddersNoBracket :: RiddersStep

   math-functions	Numeric.RootFinding

   Root is not bracketed

8. data RiddersParam

   math-functions	Numeric.RootFinding

   Parameters for ridders root finding

9. RiddersParam :: Int -> Tolerance -> RiddersParam

   math-functions	Numeric.RootFinding

   No documentation available.

10. RiddersRoot :: Double -> RiddersStep

    math-functions	Numeric.RootFinding

    Root found

Page 489 of many | Previous | Next