Test.LeanCheck.Function.Listable

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

This module exports a Listable instance for functions.

LeanCheck provides one definition of Listable functions:

• Test.LeanCheck.Function.Listable.ListsOfPairs: considers functions as a finite list of exceptional input-output cases to a default value (list of pairs of arguments and results). This is the LeanCheck default, and is the one exported by this module.

In the future, alternative instances could be provided in sub-modules.

Warning: this is only intended to be used in testing modules. Avoid importing this on modules that are used as libraries.