qc-oi-testgenerator-1.2.0.1: Compile time generation of operation invariance tests for QuickCheck

Safe HaskellNone

Test.OITestGenerator.HasGens

Description

This file should not be imported directly. Import Test.OITestGenerator instead.

Documentation

class HasGens a whereSource

Methods

withGens :: a -> [Name] -> aSource

Use to specify custom generators for the given operation or axiom. The i-th element of the list corresponds to the i-th argument. All generators must be specified. Not using a custom generator for specific arguments can be achieved by passing arbitrary.

Instances