Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

1. data Callback (input :: Type -> Type -> Type) output (state :: Type -> Type -> Type)

   hedgehog	Hedgehog

   Optional command configuration.

2. data Parallel (m :: Type -> Type) (state :: Type -> Type -> Type)

   hedgehog	Hedgehog

   A sequential prefix of actions to execute, with two branches to execute in parallel.

3. Parallel :: [Action m state] -> [Action m state] -> [Action m state] -> Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type)

   hedgehog	Hedgehog

   No documentation available.

4. checkParallel :: MonadIO m => Group -> m Bool

   hedgehog	Hedgehog

   Check a group of properties in parallel. Warning: although this check function runs tests faster than checkSequential, it should be noted that it may cause problems with properties that are not self-contained. For example, if you have a group of tests which all use the same database table, you may find that they interfere with each other when being run in parallel. Using Template Haskell for property discovery:

   tests :: IO Bool
   tests =
   checkParallel $$(discover)
   

   With manually specified properties:

   tests :: IO Bool
   tests =
   checkParallel $ Group "Test.Example" [
   ("prop_reverse", prop_reverse)
   ]
   

5. commandCallbacks :: Command (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> [Callback input output state]

   hedgehog	Hedgehog

   A set of callbacks which provide optional command configuration such as pre-condtions, post-conditions and state updates.

6. executeParallel :: (MonadTest m, MonadCatch m, MonadBaseControl IO m, HasCallStack) => (forall (v :: Type -> Type) . () => state v) -> Parallel m state -> m ()

   hedgehog	Hedgehog

   Executes the prefix actions sequentially, then executes the two branches in parallel, verifying that no exceptions are thrown and that there is at least one sequential interleaving where all the post-conditions are met. To generate parallel actions to execute, see the parallel combinator in the Hedgehog.Gen module.

7. forAll :: forall (m :: Type -> Type) a . (Monad m, Show a, HasCallStack) => Gen a -> PropertyT m a

   hedgehog	Hedgehog

   Generates a random input for the test by running the provided generator.

8. forAllWith :: forall (m :: Type -> Type) a . (Monad m, HasCallStack) => (a -> String) -> Gen a -> PropertyT m a

   hedgehog	Hedgehog

   Generates a random input for the test by running the provided generator. This is a the same as forAll but allows the user to provide a custom rendering function. This is useful for values which don't have a Show instance.

9. parallelBranch1 :: Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]

   hedgehog	Hedgehog

   The first branch.

10. parallelBranch2 :: Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type) -> [Action m state]

    hedgehog	Hedgehog

    The second branch.

Page 221 of many | Previous | Next