Test.LeanCheck.Function.ListsOfPairs

This module is part of LeanCheck, a simple enumerative property-based testing library.

This module exports means to enumerate functions via lists of pairs.

This module considers functions as a finite list of exceptional input-output cases to a default value (list of pairs of arguments and results).

Documentation

(-->>) :: Eq a => [[a]] -> [[b]] -> [[a -> b]]

Given tiers of argument and result values, return tiers of functional values.

exceptionPairs :: [[a]] -> [[b]] -> [[[(a, b)]]]

Given tiers of input values and tiers of output values, return tiers with all possible lists of input-output pairs. These represent functional relations. In the implementation of -->>, they represent exceptions to a constant function, hence the name exceptionPairs.