| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Foundation.Check
Contents
Documentation
Generator monad
Instances
| Monad Gen # | |
| Functor Gen # | |
| Applicative Gen # | |
| IsProperty prop => IsProperty (Gen prop) # | |
How to generate an arbitrary value for a
Minimal complete definition
Instances
| Arbitrary Bool # | |
| Arbitrary Char # | |
| Arbitrary Int # | |
| Arbitrary Int8 # | |
| Arbitrary Int16 # | |
| Arbitrary Int32 # | |
| Arbitrary Int64 # | |
| Arbitrary Integer # | |
| Arbitrary Word # | |
| Arbitrary Word8 # | |
| Arbitrary Word16 # | |
| Arbitrary Word32 # | |
| Arbitrary Word64 # | |
| Arbitrary Natural # | |
| Arbitrary String # | |
| Arbitrary a => Arbitrary (Maybe a) # | |
| (Arbitrary l, Arbitrary r) => Arbitrary (Either l r) # | |
| (Arbitrary a, Arbitrary b) => Arbitrary (a, b) # | |
| (Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (a, b, c) # | |
| (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (a, b, c, d) # | |
| (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (a, b, c, d, e) # | |
| (Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => Arbitrary (a, b, c, d, e, f) # | |
Property
class IsProperty p where #
Minimal complete definition
Instances
| IsProperty Bool # | |
| IsProperty Property # | |
| IsProperty prop => IsProperty (Gen prop) # | |
| (Arbitrary a, IsProperty prop) => IsProperty (a -> prop) # | |
As Program
defaultMain :: Test -> IO () #
Run tests