QuickCheck-2.1.0.3: Automatic testing of Haskell programs

Test.QuickCheck.Function

Documentation

data Fun a b Source

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 -> bSource

data a :-> c Source

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

Instances

FunArbitrary Bool

FunArbitrary Char

FunArbitrary Int

FunArbitrary Integer

FunArbitrary Word8

FunArbitrary ()

FunArbitrary OrdC

FunArbitrary OrdB

FunArbitrary OrdA

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

funArbitraryShow :: (Show a, Read a, Arbitrary c) => Gen (a :-> c)Source