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 several alternative definitions 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.
• Test.LeanCheck.Function.Listable.CoListable: declares a CoListable typeclass similar to SmallCheck's CoSerial. Currently a stub.
• Test.LeanCheck.Function.Listable.Periodic: similar to ListsOfPairs, but instead of having a default value, functions are periodic.

Take care: all the above Listable instances are experimental. Only one of the above can be imported at a time.

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