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)