-
Gen Result -> Property
-
Property.Prop
-
Maybe Bool -> [String] -> [String] -> Result
-
Result.Result
-
String -> Int -> [[String]] -> IO ()
-
done
-
Config -> (-> Int ([String]->String)->Int->[String]->String) -> Config
-
Config.chg$configEvery
-
Config -> (-> Int Int->Int->Int) -> Config
-
Config.chg$configSize
-
Config -> (Int->[String]->String) -> Config
-
Config.upd$configEvery
-
Config -> (Int->Int) -> Config
-
Config.chg$configMaxTest, Config.chg$configMaxFail, Config.upd$configSize
-
Config -> Gen Result -> StdGen -> Int -> Int -> [[String]] -> IO Bool
-
tests
-
Config -> Int -> [String] -> String
-
Config.configEvery
-
Config -> Int -> Config
-
Config.upd$configMaxTest, Config.upd$configMaxFail
-
Config -> Int -> Int
-
Config.configSize
-
Config -> Int
-
Config.configMaxTest, Config.configMaxFail
-
Property -> Property
-
Testable_Property.property
-
Result -> (Maybe Bool->Maybe Bool) -> Result
-
Result.chg$ok
-
Result -> ([String]->[String]) -> Result
-
Result.chg$arguments, Result.chg$stamp
-
Result -> Maybe Bool -> Result
-
Result.upd$ok
-
Result -> [String] -> Result
-
Result.upd$arguments, Result.upd$stamp
-
Result -> Maybe Bool
-
Result.ok
-
Result -> [String]
-
Result.arguments, Result.stamp
-
Result -> Property
-
result, Testable_Result.property
-
() -> Property
-
Testable_().property
-
Bool -> Property
-
Testable_Bool.property
-
Int -> Int -> (Int -> Int) -> (Int -> [String] -> String) -> Config
-
Config.Config
-
Int -> String
-
backN
-
Gen String
-
Arbitrary_String.arbitrary
-
Gen StdGen
-
rand
-
Gen ()
-
Arbitrary_().arbitrary
-
Gen Bool
-
Arbitrary_Bool.arbitrary
-
Gen Char
-
Arbitrary_Char.arbitrary
-
Gen Double
-
Arbitrary_Double.arbitrary
-
Gen Float
-
Arbitrary_Float.arbitrary
-
Gen Int
-
Arbitrary_Int.arbitrary
-
Gen Integer
-
Arbitrary_Integer.arbitrary
-
Gen Long
-
Arbitrary_Long.arbitrary
-
String
-
lnsep
-
[Char]
-
backspaces
-
Config
-
defaultConfig, quick, verbose
-
Result
-
nothing
-
(Int->StdGen->a) -> Gen a
-
Gen.Gen
-
(Int->Gen a) -> Gen a
-
sized
-
Gen (Gen α) -> Gen α
-
Monad_Gen.join
-
String -> Gen α -> Gen α
-
Arbitrary_String.coarbitrary
-
[(Int, Gen a)] -> Gen a
-
frequency
-
[Gen a] -> Gen a
-
oneof
-
[a] -> Gen a
-
elements
-
() -> Gen α -> Gen α
-
Arbitrary_().coarbitrary
-
Bool -> Gen α -> Gen α
-
Arbitrary_Bool.coarbitrary
-
Char -> Gen α -> Gen α
-
Arbitrary_Char.coarbitrary
-
Double -> Gen α -> Gen α
-
Arbitrary_Double.coarbitrary
-
Float -> Gen α -> Gen α
-
Arbitrary_Float.coarbitrary
-
Int -> Gen a -> Gen a
-
resize, variant
-
Int -> Gen α -> Gen α
-
Arbitrary_Int.coarbitrary
-
Int -> StdGen -> Gen a -> a
-
generate
-
Integer -> Gen α -> Gen α
-
Arbitrary_Integer.coarbitrary
-
Long -> Gen α -> Gen α
-
Arbitrary_Long.coarbitrary
-
α -> Gen α
-
Monad_Gen.return
-
α -> Bool
-
Config.has$configMaxTest, Config.has$configEvery, Config.has$configMaxFail, Config.has$configSize, Result.has$ok, Result.has$arguments, Result.has$stamp
-
Arbitrary a => Int -> Gen [a]
-
vector
-
Testable a => String -> a -> Property
-
label
-
Testable a => Config -> a -> IO Bool
-
check
-
Testable a => Bool -> String -> a -> Property
-
classify
-
Testable a => Bool -> a -> Property
-
==>, trivial
-
Testable a => a -> IO Bool
-
quickCheck, test, verboseCheck
-
Testable a => a -> Gen Result
-
evaluate
-
Testable a => a -> Property
-
Testable.property
-
Random a => (a, a) -> Gen a
-
choose
-
Real f => Int -> Int -> Int -> f
-
fraction
-
Arbitrary a => Gen a
-
Arbitrary.arbitrary
-
Arbitrary α => Gen (Maybe α)
-
Arbitrary_Maybe.arbitrary
-
Arbitrary α => Gen [α]
-
Arbitrary_[].arbitrary
-
(a->Gen b) -> Gen (a->b)
-
promote
-
(α->β) -> Gen α -> Gen β
-
Functor_Gen.fmap
-
Gen (α->β) -> Gen α -> Gen β
-
Monad_Gen.<*>
-
Gen α -> (α->Gen β) -> Gen β
-
Monad_Gen.>>=
-
Gen α -> Gen β -> Gen α
-
Monad_Gen.<*
-
Gen α -> Gen β -> Gen β
-
Monad_Gen.*>, Monad_Gen.>>
-
Arbitrary a => a -> Gen b -> Gen b
-
Arbitrary.coarbitrary
-
Arbitrary α => Maybe α -> Gen β -> Gen β
-
Arbitrary_Maybe.coarbitrary
-
Arbitrary α => [α] -> Gen β -> Gen β
-
Arbitrary_[].coarbitrary
-
(Arbitrary α, Show α, Testable β) => (α->β) -> Property
-
Testable_->.property
-
Monad m => m a -> m (a, a, a, a)
-
four
-
Monad m => m a -> m (a, a, a)
-
three
-
Monad m => m a -> m (a, a)
-
two
-
(Show a, Testable b) => Gen a -> (a->b) -> Property
-
forAll
-
(Show a, Testable b) => a -> b -> Property
-
collect
-
(Arbitrary α, Arbitrary β) => Gen (α, β)
-
Arbitrary_(,).arbitrary
-
(Arbitrary α, Arbitrary β) => Gen (α->β)
-
Arbitrary_->.arbitrary
-
(Arbitrary α, Arbitrary β) => Gen (Either α β)
-
Arbitrary_Either.arbitrary
-
(Arbitrary β, Arbitrary α) => (β, α) -> Gen γ -> Gen γ
-
Arbitrary_(,).coarbitrary
-
(Arbitrary β, Arbitrary α) => (β->α) -> Gen γ -> Gen γ
-
Arbitrary_->.coarbitrary
-
(Arbitrary β, Arbitrary α) => Either β α -> Gen γ -> Gen γ
-
Arbitrary_Either.coarbitrary
-
(Arbitrary α, Arbitrary β, Arbitrary γ) => Gen (α, β, γ)
-
Arbitrary_(,,).arbitrary
-
(Arbitrary α, Arbitrary β, Arbitrary γ) => (α, β, γ) -> Gen δ -> Gen δ
-
Arbitrary_(,,).coarbitrary
-
(Arbitrary α, Arbitrary β, Arbitrary γ, Arbitrary δ) => Gen (α, β, γ, δ)
-
Arbitrary_(,,,).arbitrary
-
(Arbitrary α, Arbitrary β, Arbitrary δ, Arbitrary γ) => (α, β, δ, γ) -> Gen ε -> Gen ε
-
Arbitrary_(,,,).coarbitrary