Test.LeanCheck.Generic

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

This is an experimental module for deriving Listable instances through GHC's generic.

If you rather do this through Template Haskell please see: Test.LeanCheck.Derive.

Documentation

genericList :: (Generic a, Listable' (Rep a)) => [a]

A generic implementation of list for instances of Generic.

Use it to define your Listable instances like so:

instance Listable MyType where
  list = genericList

Consider using genericTiers instead of this (unless you know what you're doing).

genericTiers :: (Generic a, Listable' (Rep a)) => [[a]]

A generic implementation of tiers for instances of Generic.

Use it to define your Listable instances like so:

instance Listable MyType where
  tiers = genericTiers