-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A simple checker for stress testing monadic code
--   
--   A simple checker for stress testing monadic code
@package fuzzcheck
@version 0.1.1


-- | Please see the README at:
--   
--   <a>https://github.com/jwiegley/fuzzcheck/blob/master/README.md</a>
module Test.FuzzCheck
newtype Fuzz a
Fuzz :: Compose Gen (Product (Const [String]) Identity) a -> Fuzz a
data FuzzException
FuzzException :: String -> FuzzException
arg :: Show a => a -> Fuzz a
gen :: Show a => Gen a -> Fuzz a
rand :: (Arbitrary a, Show a) => Fuzz a
branch :: (MonadIO m, MonadBaseControl IO m) => [m a] -> m a
jumble :: (MonadIO m, MonadBaseControl IO m) => [m a] -> m [a]
(?>) :: (MonadIO m, MonadBaseControl IO m) => String -> Fuzz (m a) -> m a
infixr 1 ?>
fuzzCheck' :: (MonadIO m, MonadBaseControl IO m) => m a -> Int -> m () -> m ()
fuzzCheck :: (MonadIO m, MonadBaseControl IO m) => m a -> m ()
instance GHC.Show.Show Test.FuzzCheck.FuzzException
instance GHC.Classes.Eq Test.FuzzCheck.FuzzException
instance GHC.Base.Functor Test.FuzzCheck.Fuzz
instance GHC.Exception.Type.Exception Test.FuzzCheck.FuzzException
instance GHC.Base.Applicative Test.FuzzCheck.Fuzz
