Documentation
class FunArbitrary a whereSource
funArbitrary :: Arbitrary c => Gen (a :-> c)Source
FunArbitrary Bool | |
FunArbitrary Char | |
FunArbitrary Int | |
FunArbitrary Integer | |
FunArbitrary Word8 | |
FunArbitrary () | |
FunArbitrary OrdC | |
FunArbitrary OrdB | |
FunArbitrary OrdA | |
FunArbitrary C | |
FunArbitrary B | |
FunArbitrary A | |
FunArbitrary a => FunArbitrary [a] | |
FunArbitrary a => FunArbitrary (Maybe a) | |
(FunArbitrary a, FunArbitrary b) => FunArbitrary (Either a b) | |
(FunArbitrary a, FunArbitrary b) => FunArbitrary (a, b) |
funArbitraryMap :: (FunArbitrary a, Arbitrary c) => (b -> a) -> (a -> b) -> Gen (b :-> c)Source