Safe Haskell	None
Language	Haskell2010

Test.FuzzCheck

Description

Please see the README at:

Documentation

newtype Fuzz a #

Constructors

Instances

Functor Fuzz #
Instance details Defined in Test.FuzzCheck Methods fmap :: (a -> b) -> Fuzz a -> Fuzz b # (<$) :: a -> Fuzz b -> Fuzz a #
Applicative Fuzz #
Instance details Defined in Test.FuzzCheck Methods pure :: a -> Fuzz a # (<>) :: Fuzz (a -> b) -> Fuzz a -> Fuzz b # liftA2 :: (a -> b -> c) -> Fuzz a -> Fuzz b -> Fuzz c # (>) :: Fuzz a -> Fuzz b -> Fuzz b # (<*) :: Fuzz a -> Fuzz b -> Fuzz a #

Constructors

Instances

Eq FuzzException #
Instance details Defined in Test.FuzzCheck Methods (==) :: FuzzException -> FuzzException -> Bool # (/=) :: FuzzException -> FuzzException -> Bool #
Show FuzzException #
Instance details Defined in Test.FuzzCheck Methods showsPrec :: Int -> FuzzException -> ShowS # show :: FuzzException -> String # showList :: [FuzzException] -> ShowS #
Exception FuzzException #
Instance details Defined in Test.FuzzCheck Methods toException :: FuzzException -> SomeException # fromException :: SomeException -> Maybe FuzzException # displayException :: FuzzException -> String #

arg :: Show a => a -> Fuzz a #

gen :: Show a => Gen a -> Fuzz 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 () #