gencheck-0.1: Test/GenCheck/Base/Base.lhs

The fundamental definitions for GenCheck.

Throughout GenCheck, structured types are indexed with a (Rank,Count) pair.
These types are used everywhere so are in Base.

\begin{code}
module Test.GenCheck.Base.Base
  ( Rank
  , Count
  , Property
  ) where

type Rank = Int
type Count = Integer

\end{code}

The property type is a function from the test domain to a Boolean, i.e. a
univariate proposition.  If the specification property has multiple arguments,
it must first be uncurried to make the test domain the product of the
arguments.

\begin{code}
type Property a = a -> Bool
\end{code}