Agata-0.2.1.1: Generator-generator for QuickCheck

Safe HaskellSafe-Infered

Test.Agata.Common

Documentation

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