leancheck-0.9.10: Enumerative property-based testing
Copyright(c) 2015-2020 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellNone



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) Source # 
Instance details


tiers :: [[a -> b]] Source #

list :: [a -> b] Source #