QuickCheck-2.1.0.2: Automatic testing of Haskell programsSource codeContentsIndex
Test.QuickCheck.Function
Documentation
data Fun a b Source
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 -> bSource
data a :-> c Source
show/hide Instances
Functor (:-> a)
(Show a, Show b) => Show (a :-> b)
(FunArbitrary a, Arbitrary c) => Arbitrary (a :-> c)
class FunArbitrary a whereSource
Methods
funArbitrary :: Arbitrary c => Gen (a :-> c)Source
show/hide Instances
funArbitraryMap :: (FunArbitrary a, Arbitrary c) => (b -> a) -> (a -> b) -> Gen (b :-> c)Source
funArbitraryShow :: (Show a, Read a, Arbitrary c) => Gen (a :-> c)Source
Produced by Haddock version 2.4.2