leancheck-0.6.6: Cholesterol-free property-based testing

Test.LeanCheck.Function

Description

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

This module exports Listable and Show function typeclass instances. These can be useful for testing higher-order properties --- properties that take functions as arguments.

LeanCheck provides several alternative definitions of Listable functions:

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.