Test.FuzzCheck

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

Applicative Fuzz

data FuzzException

Constructors

FuzzException String

Instances

Eq FuzzException

Show FuzzException

Exception FuzzException

Typeable * 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 ()