| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.GenValidity.Criterion
Description
Benchmarks for generators
Synopsis
- genValidBench :: forall a. (Typeable a, NFData a, GenValid a) => Benchmark
- genBench :: NFData a => String -> Gen a -> Benchmark
- genBenchSized :: NFData a => String -> Int -> Gen a -> Benchmark
- shrinkValidBench :: forall a. (Typeable a, NFData a, GenValid a) => Benchmark
- shrinkBench :: (GenValid a, NFData a) => String -> (a -> [a]) -> Benchmark
- shrinkBenchN :: forall a. (GenValid a, NFData a) => Int -> String -> (a -> [a]) -> Benchmark
- shrinkBenchVector :: forall a. NFData a => Vector a -> String -> (a -> [a]) -> Benchmark
Documentation
genValidBench :: forall a. (Typeable a, NFData a, GenValid a) => Benchmark Source #
Benchmarks for both genValid
genBench :: NFData a => String -> Gen a -> Benchmark Source #
Benchmarks a generator with some default sizes
genBenchSized :: NFData a => String -> Int -> Gen a -> Benchmark Source #
Benchmarks a generator with a given name and size
shrinkValidBench :: forall a. (Typeable a, NFData a, GenValid a) => Benchmark Source #
Benchmark for the time it takes to shrink to the first ten shrunk versions using shrinkValid and a vector of 100 deterministically generated values.
shrinkBench :: (GenValid a, NFData a) => String -> (a -> [a]) -> Benchmark Source #
Benchmark for the time it takes to shrink to the first ten shrunk versions using a given shrinking function and a vector of 100 deterministically generated values.