A functional enumeration of type t is a partition of t into finite numbered sets. Each part contains values of a certain cost (typically the size of the value).

Instances6Functor, Applicative, Alternative, Sized, Semigroup, Monoid

Functor EnumerateDefined in testing-feat-1.1.1.1 · Test.Feat.Enumerate
Only use fmap with bijective functions (e.g. data constructors)
Applicative EnumerateDefined in testing-feat-1.1.1.1 · Test.Feat.Enumerate
Pure is singleton and <*> corresponds to cartesian product (as with lists)
Alternative EnumerateDefined in testing-feat-1.1.1.1 · Test.Feat.Enumerate
Sized EnumerateDefined in testing-feat-1.1.1.1 · Test.Feat.Enumerate
Semigroup (Enumerate a)Defined in testing-feat-1.1.1.1 · Test.Feat.Enumerate
Monoid (Enumerate a)Defined in testing-feat-1.1.1.1 · Test.Feat.Enumerate
The mappend is (disjoint) union

classclass Typeable a => Enumerable a where

Methods

enumerate :: (Typeable f, Sized f) => Shared f a

Instances30Enumerable, …

Enumerable IntegerDefined in size-based-0.1.3.3 · Control.Enumerable
Enumerable Int16Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable Int32Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable Int64Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable Int8Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable BoolDefined in size-based-0.1.3.3 · Control.Enumerable
Enumerable CharDefined in size-based-0.1.3.3 · Control.Enumerable
ASCII characters
Enumerable DoubleDefined in size-based-0.1.3.3 · Control.Enumerable
Not a proper injection
Enumerable FloatDefined in size-based-0.1.3.3 · Control.Enumerable
Not a proper injection
Enumerable IntDefined in size-based-0.1.3.3 · Control.Enumerable
Enumerable OrderingDefined in size-based-0.1.3.3 · Control.Enumerable
Enumerable WordDefined in size-based-0.1.3.3 · Control.Enumerable
Enumerable Word16Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable Word32Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable Word64Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable Word8Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable PrintableDefined in size-based-0.1.3.3 · Control.Enumerable
Enumerable UnicodeDefined in size-based-0.1.3.3 · Control.Enumerable
Enumerable ()Defined in size-based-0.1.3.3 · Control.Enumerable
The unit constructor is free
Enumerable a => Enumerable (Maybe a)Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable a => Enumerable (NonEmpty a)Defined in size-based-0.1.3.3 · Control.Enumerable
Enumerable a => Enumerable [a]Defined in size-based-0.1.3.3 · Control.Enumerable
Infinite a => Enumerable (Ratio a)Defined in size-based-0.1.3.3 · Control.Enumerable
Infinite integer => Enumerable (Nat integer)Defined in size-based-0.1.3.3 · Control.Enumerable
(CoEnumerable a, Enumerable b) => Enumerable (a -> b)Defined in size-based-0.1.3.3 · Control.Enumerable
(Enumerable a, Enumerable b) => Enumerable (Either a b)Defined in size-based-0.1.3.3 · Control.Enumerable
(Enumerable a, Enumerable b) => Enumerable (a, b)Defined in size-based-0.1.3.3 · Control.Enumerable
(Enumerable a, Enumerable b, Enumerable c) => Enumerable (a, b, c)Defined in size-based-0.1.3.3 · Control.Enumerable
(Enumerable a, Enumerable b, Enumerable c, Enumerable d) => Enumerable (a, b, c, d)Defined in size-based-0.1.3.3 · Control.Enumerable
(Enumerable a, Enumerable b, Enumerable c, Enumerable d, Enumerable e) => Enumerable (a, b, c, d, e)Defined in size-based-0.1.3.3 · Control.Enumerable

valuedatatype

:: (Typeable a, Sized f, Typeable f)
=> [Shareable f a]
-> Shared f a

Source#

Builds an enumeration of a data type from a list of constructors (see c0-c7)

valuec0 :: Sized f => a -> Shareable f a

Source#

Takes a constructor with arity 0 (a pure value)

valuec1 :: (Enumerable a, Sized f, Typeable f) => (a -> x) -> Shareable f x

Source#

Takes a constructor of arity 1

valuec2

:: (Enumerable a, Enumerable b, Sized f, Typeable f)
=> a -> b -> x
-> Shareable f x

valuec3

:: (Enumerable a, Enumerable b, Enumerable c, Sized f, Typeable f)
=> a -> b -> c -> x
-> Shareable f x

valuec4

:: (Enumerable a, Enumerable b, Enumerable c, Enumerable d, Sized f, Typeable f)
=> a -> b -> c -> d -> x
-> Shareable f x

valuec5

:: (Enumerable a, Enumerable b, Enumerable c, Enumerable d, Enumerable e, Sized f, Typeable f)
=> a -> b -> c -> d -> e -> x
-> Shareable f x

valuec6

:: (Enumerable a, Enumerable b, Enumerable c, Enumerable d, Enumerable e, Enumerable g, Sized f, Typeable f)
=> a -> b -> c -> d -> e -> g -> x
-> Shareable f x

valuec7

:: (Enumerable a, Enumerable b, Enumerable c, Enumerable d, Enumerable e, Enumerable g, Enumerable h, Sized f, Typeable f)
=> a -> b -> c -> d -> e -> g -> h -> x
-> Shareable f x

Automatic derivation

valuederiveEnumerable :: Name -> Q [Dec]

Accessing data

valueoptimal :: Enumerable a => Enumerate a

Source#

Memoised enumeration. Note that all cardinalities are kept in memory until your program terminates.

valueindex :: Enumerable a => Integer -> a

Source#

Index into an enumeration. Mainly used for party tricks (give it a really large number), since usually you want to distinguish values by size.

valueselect :: Enumerable a => Int -> Index -> a

Source#

A more fine grained version of index that takes a size and an index into the values of that size. select p i is only defined for i within bounds (meaning i < fst (values !! p)).

valuevalues :: Enumerable a => [(Integer, [a])]

Source#

All values of the enumeration by increasing cost (which is the number of constructors for most types). Also contains the length of each list.

valueuniform :: Enumerable a => Int -> Gen a

Source#

Compatibility with QuickCheck. Distribution is uniform generator over values bounded by the given size. Typical use: sized uniform.