fuzzcheck-0.1.1: A simple checker for stress testing monadic code

Safe HaskellNone
LanguageHaskell2010

Test.FuzzCheck

Description

Please see the README at:

https://github.com/jwiegley/fuzzcheck/blob/master/README.md

Documentation

newtype Fuzz a #

Constructors

Fuzz (Compose Gen (Product (Const [String]) Identity) a) 

Instances

Functor Fuzz # 

Methods

fmap :: (a -> b) -> Fuzz a -> Fuzz b #

(<$) :: a -> Fuzz b -> Fuzz a #

Applicative Fuzz # 

Methods

pure :: a -> Fuzz a #

(<*>) :: Fuzz (a -> b) -> Fuzz a -> Fuzz b #

(*>) :: Fuzz a -> Fuzz b -> Fuzz b #

(<*) :: Fuzz a -> Fuzz b -> Fuzz a #

data FuzzException #

Constructors

FuzzException String 

Instances

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 () #