Test.LeanCheck.Function.Listable.ListsOfPairs

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

This module 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).

Orphan instances

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

Methods

tiers :: [[a -> b]]

list :: [a -> b]