Moduletesting-feat-1.1.1.1Haskell2010

Test.Feat

This module contains a (hopefully) manageable subset of the functionality of Feat. The rest resides only in the Test.Feat.* modules.

2 types
1 class
18 values

Packagetesting-feat-1.1.1.1
Exports21
LanguageHaskell2010
LicenceBSD-3-Clause
SourceFeat.hs

Testing driver

4 declarations

valuetest :: Enumerable a => (a -> Bool) -> IO [a]

Test with default options (defOptions). Returns a list of counterexamples

valuetestOptions :: Enumerable a => Options -> (a -> Bool) -> IO [a]

Test with basic options. Returns a list of counterexamples.

datadata Options

Basic options for executing a test. Unlike FlexibleOptions this type has Show/Read instances.

Constructors

Options
- oTimeoutSec :: Maybe Int
- oSizeFromTo :: Maybe (Int, Int)
  (first size, last size)
- oMaxCounter :: Maybe Int
  Maximum number of counterexamples
- oSilent :: Bool
- oSkipping :: Maybe (Index, Integer)
  (start-index, steps to skip)
- oBounded :: Maybe Integer
  Maximum number of tests per size

Instances2Read, Show

Read OptionsDefined in testing-feat-1.1.1.1 · Test.Feat.Driver
Show OptionsDefined in testing-feat-1.1.1.1 · Test.Feat.Driver

valuedefOptions :: Options

60 seconds timeout, maximum size of 100, bound of 100000 tests per size

The type class

11 declarations

datadata Enumerate a

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

valuedatatype

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

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

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

Takes a constructor with arity 0 (a pure value)

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

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

5 declarations

valueoptimal :: Enumerable a => Enumerate a

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

valueindex :: Enumerable a => Integer -> a

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

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])]

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

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