Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
massiv-test Test.Massiv.Utils Test all properties in the current module, using a custom quickCheck function. The same caveats as with quickCheckAll apply. $forAllProperties has type (Property -> IO Result) -> IO Bool. An example invocation is $forAllProperties quickCheckResult, which does the same thing as $quickCheckAll. forAllProperties has the same issue with scoping as quickCheckAll: see the note there about return [].
forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> Propertymassiv-test Test.Massiv.Utils Like forAll, but with an explicitly given show function.
forAllShrink :: (Show a, Testable prop) => Gen a -> (a -> [a]) -> (a -> prop) -> Propertymassiv-test Test.Massiv.Utils Like forAll, but tries to shrink the argument for failing test cases.
forAllShrinkBlind :: Testable prop => Gen a -> (a -> [a]) -> (a -> prop) -> Propertymassiv-test Test.Massiv.Utils Like forAllShrink, but without printing the generated value.
forAllShrinkShow :: Testable prop => Gen a -> (a -> [a]) -> (a -> String) -> (a -> prop) -> Propertymassiv-test Test.Massiv.Utils Like forAllShrink, but with an explicitly given show function.
forM :: (Context a, Context b, Monad m) => Matrix a -> (a -> m b) -> m (Matrix b)matrices Data.Matrix No documentation available.
forM_ :: (Context a, Monad m) => Matrix a -> (a -> m b) -> m ()matrices Data.Matrix No documentation available.
force :: Context a => Matrix a -> Matrix amatrices Data.Matrix No documentation available.
-
matrices Data.Matrix.Generic No documentation available.
-
matrices Data.Matrix.Generic No documentation available.