Test.QuickCheck.Function

Uses magic to show and shrink functions.

Magic functions

data Function a b

Functions from a to b which keep track of arguments that they are applied to. This allows showing function tables and shrinking functions.

Constructors

Function (FunctionTable a b) (a -> b)

Instances

(Show a, Show b) => Show (Function a b)

(Eq a, CoArbitrary a, Arbitrary b) => Arbitrary (Function a b)

function :: (a -> b) -> Function a b

Generating monotonic functions

newtype MonotonicFunction

Monotonic fun: guarantees that fun is monotonic.

Constructors

Monotonic (Function Int Int)

Instances

Show MonotonicFunction

Arbitrary MonotonicFunction

newtype StrictlyMonotonicFunction

StrictlyMonotonic fun: guarantees that fun is strictly monotonic.

Constructors

StrictlyMonotonic (Function Int Int)

Instances

Show StrictlyMonotonicFunction

Arbitrary StrictlyMonotonicFunction