QuickCheck-2.1.1.1: Automatic testing of Haskell programsContentsIndex
Test.QuickCheck.Function
Documentation
data Fun a b
Constructors
Fun (a :-> b) (a -> b)
show/hide 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
show/hide 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)
show/hide Instances
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.6.1