Hoogle Search
Within LTS Haskell 24.49 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
forkWith :: Scope -> ThreadOptions -> IO a -> IO (Thread a)ki Ki Variant of fork that takes an additional options argument.
forkWith_ :: Scope -> ThreadOptions -> IO Void -> IO ()ki Ki Variant of forkWith for threads that never return.
fork_ :: Scope -> IO Void -> IO ()ki Ki Variant of fork for threads that never return.
forAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> Propertymassiv-test Test.Massiv.Utils Explicit universal quantification: uses an explicitly given test case generator.
forAllBlind :: Testable prop => Gen a -> (a -> prop) -> Propertymassiv-test Test.Massiv.Utils Like forAll, but without printing the generated value.
-
massiv-test Test.Massiv.Utils Quantification in monadic properties to pick, with a notation similar to forAll. Note: values generated by forAllM do not shrink.
-
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.