Agata-0.2.1.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
piles :: (Integral a, Integral a1, Random a) => a1 -> a -> Gen [a]Source
permute :: [a] -> Gen [a]Source