Hoogle Search

Within LTS Haskell 23.24 (ghc-9.8.4)

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

  1. makeQuickCheckTest :: TestID -> Location -> Assertion -> Test

    HTF Test.Framework

    Construct a test where the given Assertion checks a quick check property. Mainly used internally by the htfpp preprocessor.

  2. makeQuickCheckTest :: TestID -> Location -> Assertion -> Test

    HTF Test.Framework.TestManager

    Construct a test where the given Assertion checks a quick check property. Mainly used internally by the htfpp preprocessor.

  3. polyQuickCheck :: Name -> ExpQ

    massiv-test Test.Massiv.Utils

    Test a polymorphic property, defaulting all type variables to Integer. Invoke as $(polyQuickCheck 'prop), where prop is a property. Note that just evaluating quickCheck prop in GHCi will seem to work, but will silently default all type variables to ()! $(polyQuickCheck 'prop) means the same as quickCheck $(monomorphic 'prop). If you want to supply custom arguments to polyQuickCheck, you will have to combine quickCheckWith and monomorphic yourself. If you want to use polyQuickCheck in the same file where you defined the property, the same scoping problems pop up as in quickCheckAll: see the note there about return [].

  4. introduceQuickCheck :: forall (m :: Type -> Type) context . (MonadIO m, MonadBaseControl IO m) => SpecFree (LabelValue "quickCheckContext" QuickCheckContext :> context) m () -> SpecFree context m ()

    sandwich-quickcheck Test.Sandwich.QuickCheck

    Same as introduceQuickCheck' but with default args.

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

    sandwich-quickcheck Test.Sandwich.QuickCheck

    Same as introduceQuickCheck'' but with a default message.

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

    sandwich-quickcheck Test.Sandwich.QuickCheck

    Introduce QuickCheck args with configurable message.

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

    sandwich-quickcheck Test.Sandwich.QuickCheck

    Same as introduceQuickCheckCommandLineOptions' but with default args.

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

    sandwich-quickcheck Test.Sandwich.QuickCheck

    Same as introduceQuickCheckCommandLineOptions'' but with a default message.

  9. introduceQuickCheckCommandLineOptions'' :: forall a (m :: Type -> Type) context . (MonadIO m, MonadBaseControl IO m, HasLabel context "commandLineOptions" (CommandLineOptions a), MonadReader context m) => 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 8 of many | Previous | Next