Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

  1. svQuickCheck :: Symbolic SVal -> IO Bool

    sbv Data.SBV.Dynamic

    Dynamic variant of quick-check

  2. 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.

  3. package sandwich-quickcheck

    Sandwich integration with QuickCheck Please see the documentation.

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

    sandwich-quickcheck Test.Sandwich.QuickCheck

    No documentation available.

  5. 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.

  6. 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.

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

  8. 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.

  9. 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.

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

    sandwich-quickcheck Test.Sandwich.QuickCheck

    Introduce QuickCheck args with configurable message, overriding those args with any command line options passed.

Page 12 of many | Previous | Next