Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. liftCallCC' :: CallCC m (a, s) (b, s) -> CallCC (StateT s m) a b

   transformers	Control.Monad.Trans.State.Strict

   In-situ lifting of a callCC operation to the new monad. This version uses the current state on entering the continuation. It does not satisfy the uniformity property (see Control.Monad.Signatures).

2. liftCallCC :: CallCC m (a, w) (b, w) -> CallCC (WriterT w m) a b

   transformers	Control.Monad.Trans.Writer.CPS

   Uniform lifting of a callCC operation to the new monad. This version rolls back to the original state on entering the continuation.

3. liftCallCC :: Monoid w => CallCC m (a, w) (b, w) -> CallCC (WriterT w m) a b

   transformers	Control.Monad.Trans.Writer.Lazy

   Lift a callCC operation to the new monad.

4. liftCallCC :: Monoid w => CallCC m (a, w) (b, w) -> CallCC (WriterT w m) a b

   transformers	Control.Monad.Trans.Writer.Strict

   Lift a callCC operation to the new monad.

5. newtype Small a

   QuickCheck	Test.QuickCheck

   Small x: generates values of x drawn from a small range. The opposite of Large.

6. Small :: a -> Small a

   QuickCheck	Test.QuickCheck

   No documentation available.

7. forAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> Property

   QuickCheck	Test.QuickCheck

   Explicit universal quantification: uses an explicitly given test case generator.

8. forAllBlind :: Testable prop => Gen a -> (a -> prop) -> Property

   QuickCheck	Test.QuickCheck

   Like forAll, but without printing the generated value.

9. forAllProperties :: Q Exp

   QuickCheck	Test.QuickCheck

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

10. forAllShow :: Testable prop => Gen a -> (a -> String) -> (a -> prop) -> Property

    QuickCheck	Test.QuickCheck

    Like forAll, but with an explicitly given show function.

Page 196 of many | Previous | Next