Hoogle Search

Within LTS Haskell 24.0 (ghc-9.10.2)

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. 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 8 of many | Previous | Next