Test.LeanCheck.Function.ListsOfPairs

This module is part of LeanCheck. It exports a Listable instance for function enumeration 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

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

Given tiers of input values and tiers of output values, return tiers with all possible lists of input-output pairs. Those represent functional relations.

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

Given a list of domain values, and tiers of codomain values, return tiers of lists of ordered pairs of domain and codomain values.

Technically: tiers of left-total functional relations.

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

Returns a partial function given by a list of input-output pairs.

NOTE: This function *will* return undefined values for unbound inputs.

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

Orphan instances

(Eq a, Listable a, Listable b) => Listable (a -> b)

Methods

tiers :: [[a -> b]]

list :: [a -> b]