Agata-0.2.1: Generator-generator for QuickCheck
Test.Agata.Common
type Dimension a = Tagged a IntSource
taggedWith :: Tagged b a -> b -> Tagged b aSource
type Improving a = StateT (Int, Int, [Int]) Gen aSource
currentDimension :: Improving (Dimension a)Source
request :: Improving ()Source
acquire :: Improving IntSource
permute :: [a] -> Gen [a]Source