Test.QuickCheck.Function

| QuickCheck-2.1.1.1: Automatic testing of Haskell programs | Contents | Index
Test.QuickCheck.Function
Documentation
data Fun a b
Constructors
Fun (a :-> b) (a -> b) |
Instances
(Show a, Show b) => Show (Fun a b) |
(FunArbitrary a, Arbitrary b) => Arbitrary (Fun a b) |
apply :: Fun a b -> a -> b
data a :-> c
Instances
Functor (:-> a) |
(Show a, Show b) => Show (:-> a b) |
(FunArbitrary a, Arbitrary c) => Arbitrary (:-> a c) |
class FunArbitrary a where
Methods
funArbitrary :: Arbitrary c => Gen (a :-> c)
Instances
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)
funArbitraryShow :: (Show a, Read a, Arbitrary c) => Gen (a :-> c)
Produced by Haddock version 2.7.2