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. quickCheckWith' :: Testable' prop => Args -> prop -> IO ()

    quickcheck-higherorder Test.QuickCheck.HigherOrder

    Variant of quickCheckWith using the alternative Testable'.

  2. quickChecks :: [(String, Property)] -> IO Bool

    quickcheck-higherorder Test.QuickCheck.HigherOrder

    Execute a list of named properties.

  3. quickCheck' :: Testable' prop => prop -> IO ()

    quickcheck-higherorder Test.QuickCheck.HigherOrder.Internal.Testable

    Variant of quickCheck using the alternative Testable'.

  4. quickCheckWith' :: Testable' prop => Args -> prop -> IO ()

    quickcheck-higherorder Test.QuickCheck.HigherOrder.Internal.Testable

    Variant of quickCheckWith using the alternative Testable'.

  5. quickChecks :: [(String, Property)] -> IO Bool

    quickcheck-higherorder Test.QuickCheck.HigherOrder.Internal.Testable

    Execute a list of named properties.

  6. polyQuickCheck :: Name -> ExpQ

    QuickCheck Test.QuickCheck

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

  7. polyQuickCheck :: Name -> ExpQ

    QuickCheck Test.QuickCheck.All

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

  8. polyQuickCheck :: Name -> ExpQ

    tasty-quickcheck Test.Tasty.QuickCheck

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

  9. makeQuickCheckArgs :: TestRunSettings -> Args

    sydtest Test.Syd.Run

    No documentation available.

  10. configQuickCheckMaxDiscardRatio :: Config -> Maybe Int

    hspec-core Test.Hspec.Core.Extension.Config

    No documentation available.

Page 5 of many | Previous | Next