leancheck-1.0.2: Enumerative property-based testing
Copyright(c) 2015-2024 Rudy Matela
License3-Clause BSD (see the file LICENSE)
MaintainerRudy Matela <rudy@matela.com.br>
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.LeanCheck.Function.Listable

Description

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.