Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

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

Exact lookup

1. sbvQuickCheck :: Symbolic SBool -> IO Bool

   sbv	Data.SBV

   Quick check an SBV property. Note that a regular quickCheck call will work just as well. Use this variant if you want to receive the boolean result.

2. svQuickCheck :: Symbolic SVal -> IO Bool

   sbv	Data.SBV.Dynamic

   Dynamic variant of quick-check

3. sbvQuickCheck :: Symbolic SBool -> IO Bool

   sbv	Data.SBV.Trans

   Quick check an SBV property. Note that a regular quickCheck call will work just as well. Use this variant if you want to receive the boolean result.

4. package sandwich-quickcheck

   Sandwich integration with QuickCheck Please see the documentation.

5. type HasQuickCheckContext context = HasLabel context "quickCheckContext" QuickCheckContext

   sandwich-quickcheck	Test.Sandwich.QuickCheck

   No documentation available.

6. introduceQuickCheck :: forall (m :: Type -> Type) context . MonadIO m => SpecFree (LabelValue "quickCheckContext" QuickCheckContext :> context) m () -> SpecFree context m ()

   sandwich-quickcheck	Test.Sandwich.QuickCheck

   Same as introduceQuickCheck' but with default args.

7. introduceQuickCheck' :: forall (m :: Type -> Type) context . MonadIO m => Args -> SpecFree (LabelValue "quickCheckContext" QuickCheckContext :> context) m () -> SpecFree context m ()

   sandwich-quickcheck	Test.Sandwich.QuickCheck

   Same as introduceQuickCheck'' but with a default message.

8. introduceQuickCheck'' :: forall (m :: Type -> Type) context . MonadIO m => String -> Args -> SpecFree (LabelValue "quickCheckContext" QuickCheckContext :> context) m () -> SpecFree context m ()

   sandwich-quickcheck	Test.Sandwich.QuickCheck

   Introduce QuickCheck args with configurable message.

9. introduceQuickCheckCommandLineOptions :: forall a (m :: Type -> Type) context . (MonadIO m, HasLabel context "commandLineOptions" (CommandLineOptions a)) => SpecFree (LabelValue "quickCheckContext" QuickCheckContext :> context) m () -> SpecFree context m ()

   sandwich-quickcheck	Test.Sandwich.QuickCheck

   Same as introduceQuickCheckCommandLineOptions' but with default args.

10. introduceQuickCheckCommandLineOptions' :: forall a (m :: Type -> Type) context . (MonadIO m, HasLabel context "commandLineOptions" (CommandLineOptions a)) => Args -> SpecFree (LabelValue "quickCheckContext" QuickCheckContext :> context) m () -> SpecFree context m ()

    sandwich-quickcheck	Test.Sandwich.QuickCheck

    Same as introduceQuickCheckCommandLineOptions'' but with a default message.

Page 12 of many | Previous | Next