testing-feat-0.3: Functional Enumeration of Abstract Types  Safe
HaskellSafe-Infered     This module contains a (hopefully)
manageable subset of the functionality of Feat. The rest resides
only in the Test.Feat.* modules.    data Enumerate a Source  A
functional enumeration of type t is a partition of t into finite
numbered sets called Parts. Each parts contains values of a
certain cost (typically the size of the value).   Functor
Enumerate  Only use fmap with bijective functions (e.g. data
constructors)  Typeable1 Enumerate  Applicative Enumerate  Pure
is singleton and <*> corresponds to cartesian product (as with
lists)  Monoid (Enumerate a)  The mappend is (disjoint) union
The type class  class Typeable a => Enumerable a whereSource  A
class of functionally enumerable types   enumerate :: Enumerate
aSource  This is the interface for defining an instance. When
combining enumerations use shared instead and when accessing the
data of enumerations use optimal.  shared :: Enumerable a =>
Enumerate aSource  Ver