Test.Feat.Enumerate

Basic combinators fo building enumerations most users will want to use the type class based combinators in Test.Feat.Class instead.

Documentation

type Part = Int

type Index = Integer

data Enumerate a

A functional enumeration of type t is a partition of t into finite numbered sets called Parts. The number that identifies each part is called the cost of the values in that part.

Constructors

Enumerate

Fields

card :: Part -> Index

Computes the cardinality of a given part.

select :: Part -> Index -> a

Selects a value from the enumeration For select e p i, i should be less than card e p

optimal :: Sharing Tag (Enumerate a)

A self-optimising function.

Instances

Functor Enumerate

Only use fmap with bijective functions (e.g. data constructors)

Typeable1 Enumerate

Applicative Enumerate

* corresponds to product (as with lists)

Monoid (Enumerate a)

mappend = union

Combinators for building enumerations

module Control.Applicative

module Data.Monoid

pay :: Enumerate a -> Enumerate a

Increases the cost of all values in an enumeration by one.

Memoisation

mem :: Enumerate a -> Enumerate a

mempay :: Enumerate a -> Enumerate a

A conventient combination of memoisation and guarded recursion.

Polymorphic memoisation

module Data.Typeable

data Tag

Constructors

Source String String Int Int

Instances

Eq Tag

Ord Tag

Show Tag

tag :: Q Exp

tagShare :: Typeable a => Tag -> Enumerate a -> Enumerate a

optimise :: Enumerate a -> Enumerate a