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